The Two Worlds of Programming
HotGarbage
13 points
3 comments
March 19, 2026
Related Discussions
Found 5 related stories in 89.5ms across 8,303 title embeddings via pgvector HNSW
- Read Programming as Theory Building birdculture · 80 pts · May 09, 2026 · 60% similar
- Can Programming Be Liberated from the von Neumann Style? (1977) [pdf] tosh · 21 pts · March 22, 2026 · 56% similar
- Programming as Theory Building (1985) [pdf] birdculture · 26 pts · May 19, 2026 · 54% similar
- Methods in Languages for Systems Programming (2023) surprisetalk · 17 pts · March 16, 2026 · 53% similar
- Music for Programming merusame · 144 pts · April 05, 2026 · 51% 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.