160
Based Haskell bluesky account (gregtech.eu)
submitted 4 days ago by lena@gregtech.eu to c/programmer_humor@programming.dev
12 comments fedilink hide all child comments

source

top 12 comments
sorted by: hot top controversial new old
[-] abbadon420@sh.itjust.works 21 points 4 days ago

What?

[-] msfroh@lemmy.ca 43 points 4 days ago

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 42 points 4 days ago

Holy fuck this is some top tier niche humor

[-] lambalicious@lemmy.sdf.org 4 points 3 days ago

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 points 3 days ago

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

[-] abbadon420@sh.itjust.works 8 points 4 days ago

Thanks <3

[-] yetAnotherUser@discuss.tchncs.de 12 points 4 days ago

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 3 points 3 days ago

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 14 points 4 days ago

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 7 points 4 days ago* (last edited 4 days ago)

"As a treat" :3

[-] PotatoesFall@discuss.tchncs.de 4 points 4 days ago

help what is a Nat or a peano

[-] abbadon420@sh.itjust.works 3 points 4 days ago

See msfroh's comment

this post was submitted on 16 Mar 2026
160 points (96.0% liked)

Programmer Humor

30474 readers
2612 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 2 years ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev