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…
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
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…
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