447

submitted 4 months ago by genfood@feddit.org to c/programmer_humor@programming.dev

117 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 4 months ago

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

[-] entwine@programming.dev 17 points 4 months ago

The White House?

[-] edinbruh@feddit.it 6 points 4 months ago

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

[-] massive_bereavement@fedia.io 2 points 4 months ago

That sounds harder.

[-] Miaou@jlai.lu 2 points 4 months ago

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

this post was submitted on 19 Nov 2025

447 points (92.9% liked)

Programmer Humor

30816 readers

867 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