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
Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
3 points by matt_d 31 days ago | past
Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
3 points by alpaylan 32 days ago | past
Agentic Proof-Oriented Programming (risemsr.github.io)
1 point by PaulHoule 37 days ago | past
How to train your program verifier (risemsr.github.io)
80 points by matt_d 51 days ago | past | 16 comments
Agentic Proof-Oriented Programming (risemsr.github.io)
1 point by nextos 64 days ago | past
Agentic Proof-Oriented Programming (risemsr.github.io)
2 points by matt_d 64 days ago | past

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

Search:

HN For You