3 ms·
good luck formally verifying everything
by drdrey 6mo ago
good luck formally verifying everything
- ares623 6mo agoI declare ~bankruptcy~ formal verification
- DerSaidin 6mo agoIf the alternative is "burn more tokens on finding issues than the attackers do", formal verification starts to look comparatively feasible cost. Think of it as setting an upper bound on cost, vs just burning more and more tokens. AI assistants would reduce effort of verification too.