John RegehrMar 2

won't say I'm totally proud of myself here, but once I saw that the Claude C compiler was super buggy according to YARPGen and Csmith, I had a hard time preventing myself from doing something about it

https://john.regehr.org/writing/claude_c_compiler.html

claude_c_compiler

Show threadzwarichMar 2
@regehr My first reaction when seeing the Claude C Compiler was “John Regehr is going to be able to milk this so hard”.
Show threadsynlogic4242
@zwarich @regehr now he just needs to write a paper on it. "Reflections on Vibe Trusting Trust"
Mar 3 at 1:04amWeb