this post was submitted on 16 Mar 2026
134 points (95.3% liked)

Programmer Humor

30409 readers
2867 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
134
Based Haskell bluesky account (gregtech.eu)
submitted 1 day ago by lena@gregtech.eu to c/programmer_humor@programming.dev
11 comments fedilink hide all child comments
 

source

top 11 comments
sorted by: hot top controversial new old
[–] abbadon420@sh.itjust.works 17 points 1 day ago (1 children)

What?

[–] msfroh@lemmy.ca 34 points 1 day 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 35 points 23 hours ago (1 children)

Holy fuck this is some top tier niche humor

[–] lambalicious 3 points 19 hours ago

This and ich_iel are why I like the Fediverse!

~~in as much as reaching into BS can be considered "Fediverse"~~

[–] abbadon420@sh.itjust.works 7 points 23 hours ago

Thanks <3

[–] yetAnotherUser@discuss.tchncs.de 11 points 23 hours 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 4 points 18 hours 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 13 points 1 day 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 5 points 23 hours ago* (last edited 23 hours ago)

"As a treat" :3

[–] PotatoesFall@discuss.tchncs.de 3 points 1 day ago (1 children)

help what is a Nat or a peano

[–] abbadon420@sh.itjust.works 3 points 23 hours ago

See msfroh's comment