Ted Kaminski
@tedinski.com
🦀🥳 tedinski.com
Previously: Kani Rust Verifier, AWS, PL/compilers PhD
Previously: Kani Rust Verifier, AWS, PL/compilers PhD
I think I'm a little sad to see fuzzing at only 11% usage.
May 20, 2025 at 4:11 PM
I think I'm a little sad to see fuzzing at only 11% usage.