3 ms·
> 2. AI-generated code needs formal verification so that we can skip human review and still be sure that it works; hahahahaha
by justatdotin 10mo ago
> 2. AI-generated code needs formal verification so that we can skip human review and still be sure that it works;
hahahahaha