Depends very much on the language you’re using. Haskell and ocaml do fall into that category, whereas erlang and scheme are also functional languages with fairly weak typing.

If there is one thing that connects functional programming as a whole, it is that in FP, program flow is managed mostly through function application, instead of if statements and for/while loops.

EndeavourOS

• Ensigned, me

I don’t have much if an opinion on the rest of your argument but:

probably before most people started realizing it was being trained off stolen artwork as well as a lot of the other problems with AI.

This is the equivalent to those Tesla owners pasting “I bought this before Elon went crazy” stickers. Especially the creative industries were very quick to point out the problematic part of stuff like Dall-E and stable diffusion. Generative Graphical AI has never been approved of by the gamedevs I know.

You feel like reality around you is changing

The word URINE echoes around you…

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.

They definitely got… the point

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

Netherlands :)

I live in the Netherlands

deleted by creator

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.