4 ms·

> I'd love to have that level confidence in software Well, I mean, if you spend years mathematically validating your programs...