Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

Formalizing Data Structures and Algorithms with Agents (risemsr.github.io) 3 points by matt_d 7 days ago | past | discuss Formalizing Data Structures and Algorithms with Agents (risemsr.github.io) 3 points by alpaylan 8 days ago | past | discuss Agentic Proof-Oriented Programming (risemsr.github.io) 1 point by PaulHoule 13 days ago | past | discuss How to train your program verifier (risemsr.github.io) 80 points by matt_d 27 days ago | past | 16 comments Agentic Proof-Oriented Programming (risemsr.github.io) 1 point by nextos 39 days ago | past Agentic Proof-Oriented Programming (risemsr.github.io) 2 points by matt_d 40 days ago | past

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