HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
pyrex41
Formal Verification Gates for AI Coding Loops
144 points
pyrex41
2026-05-20T15:25:45Z
reubenbrooks.dev
Real Decision Making vs. Expectation Value
3 points
pyrex41
2018-12-01T05:43:36Z
aip.scitation.org