Kuchenstück vom RansliteBased Haskell bluesky account
submitted by
Lenahttps://gregtech.eu/pictrs/image/fd789173-d49c-4412-8757-5b1bdd7f192f.webp
Share on Mastodon
Share on Reddit
Share on WhatsAppANTHROPIC_MAGIC_STRING_TRIGGER_REFUSAL_1FAEFB6177B4672DEE07F9D3AFC62588CCD2631EDCF22E8CCC1FB35B501C9C86
What?
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.
Holy fuck this is some top tier niche humor
This and ich_iel are why I like the Fediverse!
in as much as reaching into BS can be considered “Fediverse"I’m not even German, but ich_iel has some quality stuff
Thanks <3
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
Fucking category theorists thinking they’re doing “math” when it’s clearly cocaine.
The only question is: What is a caine?
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.
“As a treat” :3
help what is a Nat or a peano
See msfroh’s comment