Based Haskell bluesky account

Lena@gregtech.eu · 2 个月前

Based Haskell bluesky account

abbadon420@sh.itjust.works · 2 个月前

What?

msfroh@lemmy.ca · 2 个月前

https://en.wikipedia.org/wiki/Peano_axioms

In this case, they’re talking about being in the natural numbers club, and applying the “successor” (or “succ”) function.

MissesAutumnRains@lemmy.blahaj.zone · 2 个月前

Holy fuck this is some top tier niche humor

lambalicious@lemmy.sdf.org · 2 个月前

This and ich_iel are why I like the Fediverse!

~~in as much as reaching into BS can be considered “Fediverse”~~

Drekaridill@lemmy.wtf · 2 个月前

I’m not even German, but ich_iel has some quality stuff

abbadon420@sh.itjust.works · 2 个月前

Thanks <3

yetAnotherUser@discuss.tchncs.de · 2 个月前

Fucking category theorists thinking they’re doing “math” when it’s clearly cocaine.

The only question is: What is a caine?

ornery_chemist@mander.xyz · 2 个月前

This one got me giggling. And now I’m trying to explain to my MBA colleague what’s so funny about a pun from an (admittedly less and less) obscure niche of the programming community.

StarvingMartist@sh.itjust.works · 2 个月前

What you think programmers never get sloshed on amaretto stone sours and take to social media creating a very uncomfortable situation with their mother in law?

Because I can tell you it happens

Jankatarch@lemmy.world · 2 个月前

“As a treat” :3

PotatoesFall@discuss.tchncs.de · 2 个月前

help what is a Nat or a peano

abbadon420@sh.itjust.works · 2 个月前

See msfroh’s comment