Hacker Newsnew | past | comments | ask | show | jobs | submit | hnipps's submissionslogin
1.
Formally Verifying the Easy Part (brainflow.substack.com)
3 points by hnipps 31 days ago | past | 5 comments
2.
I formally verified AI-generated code. All 4 bugs were in the integration layer (brainflow.substack.com)
1 point by hnipps 37 days ago | past | 1 comment

Consider applying for YC's Summer 2026 batch! Applications are open till May 4

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

Search: