Hacker News Reader

Linters and tests help of course, but they cannot "fix" the problem since tests cannot prove the absence of bugs.

agree, and I think we'll see more use of formal methods with LLMs for this reason

At a certain point it just feels like we're reinventing the concept of programming languages from first principles.

I'm using this new programming language: it's called LLM prompting, and everything is undefined behavior.

Hardly the first time we've done this - we had to do it with compilers too