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

커뮤니티로 전달

인기 있는 사용자