

Time for me to turn into Rene Descartes


Time for me to turn into Rene Descartes
Idk after enough very hot peppers their taste buds are probably pretty fried
Also the mere concept of a front panel HDMI port
Oh yeah was a bit sleepy and thought you could just put arbitrary expressions in the numerator instead of just the type.
But consider this: heterogeneous propositional equality type of types x and b under equivalence relation a, which is bound somewhere else in the aether that we can’t see in the screenshot
Constructors of this equality type? No fucking clue but I’m sure there exist some to make the need for an equivalence relation make sense
quotient equivalence under an equivalence relation “a” https://en.wikipedia.org/wiki/Quotient_type


IIRC move 1 space in any diagonal but that might be even before then


That’s just the countries where it went not absolutely terribly. As someone who lives in the Netherlands I can absolutely tell you that we’re being ruled by a fascist, and people from Italy, Turkey, Serbia, Hungary and probably a bunch of other countries I missed can probably say the same about their country as well.


Um ackshually that’s a metro, not a train 🤓

No worries! 😁

Baltics -> Balkan. Baltics is Estonia, Latvia and Lithuania. They are also preparing for the worst though it’s just that Serbia isn’t part of it
Checked the build.zig file for ghostty, seems to be for manpage generation. Zig itself doesn’t use Haskell though
I live in the Netherlands
For me it’s not the time spent at the checkout that matters, it’s the time spent waiting at the checkout. Also over here cashiers don’t bag your items for you, so you have to do that anyway
Also also, they have these really handy hand scanners over here so I can already bag my items while I’m walking through the store, and then the only thing I have to do at self-checkout is hand in the scanner and pay for the groceries. That is genuinely a lot faster than normal cash register shenanigans.
I got taught that rule in my freshman year, but then my thesis advisor told me to stop doing that because “only old people write like that”
So I suppose academia is evolving (however you still aren’t allowed to use first person speech)


Spheres of Chaos is an old asteroids based game that really ups the ante on trippyness and cool sounds
I should warn you though that it is very flashy, so epilepsy warning is in order
You feel like reality around you is changing
The word URINE echoes around you…