Crazazy [hey hi! :D]

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

How do you find out?

I assume looking at reddit through an incognito window and seeing none of your posts appearing

Checked the build.zig file for ghostty, seems to be for manpage generation. Zig itself doesn’t use Haskell though

Yeah isn’t this like the thing that California required them to do?

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.

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)

Ayooo

As a nix user, guix looks legit nice but it took me until 2 days ago to actually find community projects made for guix(https://whereis.みんな/) . Sometimes I just wish they used the same store and daemon as nix so that nix packages can work as guix dependencies and vice versa.

(Also major thing stopping me from using guix is I don’t get service types at all, let alone how you’d define your own service :( )

Very cool!

That’s only if you’re working with the perspective of it being a polynomial. When you’re considering the polynomial as a vector however, that operation simply doesn’t exist

What are you on about? The open letter was specifically advocating against sponsorships and advertisements of the Military Industrial Complex. I.E. private companies who specifically try to turn a profit from countries going to war. Companies that literally earn money over people’s dead bodies. I think the people that wrote the open letter were very aware that being sponsored by the military was something that is hard to avoid. However there is a clear difference between being sponsored by a military and being sponsored by, like, literal death merchants

Hate to be that guy, but all those articles are 5 years or older. Have people had more recent complaints about systemd or did that movement that complains about it kinda move on?

Thunderbird has matrix support now? 🤯