R reubenbrooks.dev Formal Verification Gates for AI Coding Loops 144 points pyrex41 5 months ago 34 comments
