Programmer Humor

27389 readers

1886 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

354

submitted 22 hours ago by genfood@feddit.org to c/programmer_humor@programming.dev

86 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 13 hours ago (3 children)

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

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

The White House?

load more comments (2 replies)