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

Programmer Humor

30494 readers
3156 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
160
Based Haskell bluesky account (gregtech.eu)
submitted 5 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 5 days ago (1 children)

What?

[–] msfroh@lemmy.ca 43 points 5 days ago (2 children)

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 5 days ago (1 children)

Holy fuck this is some top tier niche humor

[–] lambalicious@lemmy.sdf.org 4 points 5 days ago (1 children)

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

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

[–] abbadon420@sh.itjust.works 8 points 5 days ago

Thanks <3

[–] StarvingMartist@sh.itjust.works 14 points 5 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

[–] yetAnotherUser@discuss.tchncs.de 12 points 5 days ago (1 children)

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 5 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.

[–] Jankatarch@lemmy.world 7 points 5 days ago* (last edited 5 days ago)

"As a treat" :3

[–] PotatoesFall@discuss.tchncs.de 4 points 5 days ago (1 children)

help what is a Nat or a peano

[–] abbadon420@sh.itjust.works 3 points 5 days ago

See msfroh's comment