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?

load more comments (3 replies)

this post was submitted on 19 Nov 2025

447 points (92.9% liked)

Programmer Humor

30995 readers

1448 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