Aengus Lynch(@aengus_lynch1):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.

Aengus Lynch

@aengus_lynch1

verifying software @theoremlabs. quirks my own

参加 February 2016

1.5K フォロー中 2.2K ファン

Aengus Lynch@aengus_lynch1

2026.10.22 22:13

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.

198

コミュニティへ転送

人気のあるユーザー