For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
When AI Writes the Software, Who Verifies It? (leodemoura.github.io)
2 points by fagnerbrack 18 days ago | past
Signal Shot: Verifying the Signal Protocol and Rust Implementation with Lean (leodemoura.github.io)
5 points by birdculture 53 days ago | past
Signal Shot: verify the Signal protocol and its Rust implementation using Lean (leodemoura.github.io)
6 points by u1hcw9nx 54 days ago | past
The Lean Programming Language and Theorem Prover (leodemoura.github.io)
2 points by azhenley 63 days ago | past
Why Lean? (leodemoura.github.io)
2 points by kachnuv_ocasek 69 days ago | past
Why Lean? (leodemoura.github.io)
3 points by aozgaa 72 days ago | past
When AI Writes the Software, Who Verifies It? (leodemoura.github.io)
3 points by vinhnx 84 days ago | past | 1 comment
Who Watches the Provers? (leodemoura.github.io)
2 points by futurisold 88 days ago | past
When AI writes the software, who verifies it? (leodemoura.github.io)
305 points by todsacerdoti 3 months ago | past | 298 comments
Proof Assistants in the Age of AI (leodemoura.github.io)
1 point by matt_d 3 months ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You