3 ms·
Linters and tests help of course, but they cannot "fix" the problem since tests cannot prove the absence of bugs.
by adamddev1 3mo ago
Linters and tests help of course, but they cannot "fix" the problem since tests cannot prove the absence of bugs.
- marcus_holmes 3mo agoagree, and I think we'll see more use of formal methods with LLMs for this reason
- ryukoposting 3mo agoAt a certain point it just feels like we're reinventing the concept of programming languages from first principles.
- ncruces 3mo agoI'm using this new programming language: it's called LLM prompting, and everything is undefined behavior.
- marcus_holmes 3mo agoHardly the first time we've done this - we had to do it with compilers too