Hacker Neus
Formal Verification Gates for AI Coding Loops
(reubenbrooks.dev)
97 points
by pyrex41
9 hours ago |
23 comments
