3 ms·
> formal methods are worth it, but they're not a substitute for being careful. Yes. Exactly this. I hereby dub this Tombert's law. :-)
by lisper 2y ago
> formal methods are worth it, but they're not a substitute for being careful.
Yes. Exactly this. I hereby dub this Tombert's law. :-)