The Two Worlds of Programming
HotGarbage
13 points
3 comments
March 19, 2026
Related Discussions
Found 5 related stories in 828.5ms across 14,015 title embeddings via pgvector HNSW
- Read Programming as Theory Building birdculture · 80 pts · May 09, 2026 · 60% similar
- Programmers Aren't People elliotbnvl · 17 pts · June 06, 2026 · 57% similar
- Can Programming Be Liberated from the von Neumann Style? (1977) [pdf] tosh · 21 pts · March 22, 2026 · 56% similar
- Formal methods and the future of programming eatonphil · 233 pts · June 14, 2026 · 54% similar
- Programming as Theory Building (1985) [pdf] birdculture · 26 pts · May 19, 2026 · 54% similar
Discussion Highlights (2 comments)
kunley
Perhaps this submit deserves expanding a bit the title here on HN, as the current one doesn't tell much about quite interesting points the author is making
DaleBiagio
This tension is as old as programming itself. Dijkstra and Hoare spent decades arguing for rigor. Meanwhile C, JavaScript, and PHP, none of them designed for correctness, won the world. The languages that ship always beat the languages that are right. LLMs just accelerated the pattern.