Oh man oh man. I can’t be sure that this hyperbolic headline (“I have discovered programming’s final form”) *isn’t* true!
Replying to @zksecurityXYZ
What if the real bug isn’t in your code…
but in your compiler?
I tried removing the compiler entirely:
AI → assembly → Lean proofs
It feels like cheating.
Is this insane or inevitable?
read more: blog.zksecurity.xyz/posts/end-codi…
