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
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.
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
Well, it's a skeptical take on AI so it will be downvoted to oblivion and buried.
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.