News for hackers. Stuff that matters.
Re:When AI Writes the Software, Who Verifies It? by ddanv on Thursday March 05, 2026 @04:20PM (#47267450)
So you feed the LLM some C code like zlib and it rewrites and proves it.

The goal is to make the code write-only and replace it with spec declaration? ... math ppl still cant accept the "x = 1;" statement :)

There are no comments on this comment yet.