this post was submitted on 19 Nov 2025
336 points (92.9% liked)

Programmer Humor

27386 readers
1776 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
336
Lucky enough, I am C++ Developer (infosec.pub)
submitted 21 hours ago by genfood@feddit.org to c/programmer_humor@programming.dev
83 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] Miaou@jlai.lu 3 points 12 hours ago (2 children)

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

[–] entwine@programming.dev 13 points 12 hours ago

The White House?

[–] edinbruh@feddit.it 3 points 11 hours ago

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