this post was submitted on 19 Nov 2025
436 points (93.1% liked)

Programmer Humor

27422 readers
1608 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
436
Lucky enough, I am C++ Developer (feddit.org)
submitted 2 days ago by genfood@feddit.org to c/programmer_humor@programming.dev
112 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] Miaou@jlai.lu 4 points 2 days ago (2 children)

I started learning Coq recently. Where does that place me?

[–] entwine@programming.dev 17 points 2 days ago

The White House?

[–] edinbruh@feddit.it 6 points 2 days ago (2 children)

It places you one year ago before they rebranded in rocq (obviously to stop the puns)

[–] Miaou@jlai.lu 2 points 1 day ago

I know but I choose to ignore the rebranding, for exactly the same reason

[–] massive_bereavement@fedia.io 2 points 1 day ago

That sounds harder.