glennfiedler

He saw everything

Give to Caesar what is Caesar’s, and to God what is God’s.

Yes. You are missing something. They are proving that for all possible inputs the program doesn't crash for a given size of potential inputs at the machine code level. The proof extends to an entire set of inputs and all the code it touches, not just the cases the fuzzer covers. In short, they have better coverage than any fuzzer.

When you are tapering down over MONTHS and you find yourself dividing the tiny tablets into 8ths, yeah that's a benzo.

I didn't expect to find myself aligned with the CCP on open source, but in 2026, here we are. Strange times (but good).

Shoulda coded it in C