pyrex41 Karma 55 Created 7 years ago Recent Submissions 1. ▲ Formal Verification Gates for AI Coding Loops (reubenbrooks.dev) 114 points · 10 hours ago · 27 comments 2. ▲ Real Decision Making vs. Expectation Value (aip.scitation.org) 3 points · 7 years ago · 0 comments All submissions on HN · View profile on HN