3 comments
"""
we need to build:<p><pre><code> Formal specification layers that agents execute against, not just prompts</code></pre>
"""<p>It is probably easier to just write that program.
Talked with someone this morning who is using "formal methods" to validate their AI generated code.<p>They are using the same AI to generate the proofs.
Right, because to trust that those "formal specifications" are correct, you will have to write them by hand.
ah yes.<p>Lets indeed treat non-deterministic output exactly like we treat deterministic output.
this take is peak dunning-kruger:<p><a href="https://github.com/llvm/llvm-project/tree/main/llvm/test/CodeGen" rel="nofollow">https://github.com/llvm/llvm-project/tree/main/llvm/test/Cod...</a>