this post was submitted on 01 Nov 2023
113 points (91.2% liked)
Programmer Humor
19594 readers
2214 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
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
What
It's making fun of dynamic languages because rather than letting the compiler prove theorems about statically typed code, they... don't.
Turns out getting working code is a lot cheaper and more useful than formally proven code.
The technical debt is strong in this one
You call it tech debt, I call it last quarter’s profits.