johnbender

Karma: 2,746
Created: 17 years ago

About

github: https://github.com/johnbender

twitter: https://twitter.com/johnbender

writing: http://johnbender.us

Recent Submissions

1. ▲ LLMs are making formal software verification feasible at a much larger scale (anthropic.com) 473 points · 9 days ago · 312 comments

All submissions on HN · View profile on HN