this post was submitted on 19 Nov 2025
440 points (93.3% liked)

Programmer Humor

28070 readers
862 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
440
Lucky enough, I am C++ Developer (feddit.org)
submitted 1 month ago by genfood@feddit.org to c/programmer_humor@programming.dev
118 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 1 month ago (2 children)

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

[–] entwine@programming.dev 17 points 1 month ago

The White House?

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

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

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

That sounds harder.

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

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