3 ms·
> You should require positive proof that code does what you want. That's just saying you should only ever solve simple problems with your computer.
by Attrecomet 3y ago
> You should require positive proof that code does what you want.
That's just saying you should only ever solve simple problems with your computer.
- eru 3y agoWhy? People have eg written proven-correct C compilers. And those things ain't 'simple'.