Aengus Lynch
@aengus_lynch1
verifying software @theoremlabs. quirks my own
1.5K Following 2.2K Followers
These are scary times for the internet. I believe this is a beacon of hope.
I’m proud to have cowritten this with @AnthropicAI. We proved the absence of common bugs in production software, and I think this approach will scale.
One day, @theoremlabs will formally verify all critical software.
More in the thread, and the paper.
Show more
