this post was submitted on 20 Dec 2024
941 points (97.0% liked)
Programmer Humor
32710 readers
529 users here now
Post funny things about programming here! (Or just rant about your favourite programming language.)
Rules:
- Posts must be relevant to programming, programmers, or computer science.
- No NSFW content.
- Jokes must be in good taste. No hate speech, bigotry, etc.
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Javascript and not Coq?
There is also PHP
You Coqsucker.