Hacker News new | ask | show | jobs
by JabavuAdams 2153 days ago
We'll have AGI before we have usable formal verification. Just let the AGI write the code.