in college the exciting thing i thought about getting into was formal verification, then when i was working as a swe the exciting thing was getting clean sanitizer runs on a big, dirty codebase
as it turns out, what you really need to find bugs is a big llm and a bash script to run it in a loop
add a skeleton here at some point
8 days ago