Bend 2: Is formal verification the future of AI coding? [video]youtube.com2 points·tanaykarnik··0 commentsOpen articleSaveView on HN