Post

Laughing my ass off at one of the most conceited people in formal methods being shown that their work was full of soundness bugs and, given that they don't have any other defense, seeing them resort to publicly denouncing the audit/fixes as having "morally questionable elements" because it used AI