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

A Verified Generational GC for OCaml (risemsr.github.io) 2 points by matt_d 29 days ago | past Spotting Specification Gaps with Small Proof-Oriented Tests (risemsr.github.io) 3 points by matt_d 5 months ago | past Formalizing Data Structures and Algorithms with Agents (risemsr.github.io) 3 points by matt_d 6 months ago | past Formalizing Data Structures and Algorithms with Agents (risemsr.github.io) 3 points by alpaylan 6 months ago | past Agentic Proof-Oriented Programming (risemsr.github.io) 1 point by PaulHoule 6 months ago | past How to train your program verifier (risemsr.github.io) 80 points by matt_d 7 months ago | past | 16 comments Agentic Proof-Oriented Programming (risemsr.github.io) 1 point by nextos 7 months ago | past Agentic Proof-Oriented Programming (risemsr.github.io) 2 points by matt_d 7 months ago | past

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