7 ms·
Sadly I'm not. Either way, how LLMs work mean that traditional software analysis tools are every bit as important as they were in the before times. This is why
by inahga 1mo ago
Sadly I'm not. Either way, how LLMs work mean that traditional software analysis tools are every bit as important as they were in the before times. This is why we see a lot of hype around LLMs and formal verification.
- airstrike 1mo agoThe problem is that if everyone is 10x faster with LLMs then we're also wrong ~10x as frequently as we were before