Hacker Newsnew | past | comments | ask | show | jobs | submit | pyrex41's submissionslogin
1.
Formal Verification Gates for AI Coding Loops (reubenbrooks.dev)
144 points by pyrex41 5 months ago | past | 34 comments
2.
Real Decision Making vs. Expectation Value (scitation.org)
3 points by pyrex41 on Dec 1, 2018 | past

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

Search: