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.

"There are 2 kinds of programming languages : the ones that everyone complains about and the ones that no one uses"

haha, where is that quote from? Fantastic

Apparently Bjarne Stroustrup, the creator of C++ : https://bits-chips.com/article/challenging-c/

Appreciate you getting the source!