3 ms·
If anything I think discipline and rigor will go up. I think it will force us to adopt stronger type systems, formal methods, and more automated verification.
by theLiminator 3mo ago
If anything I think discipline and rigor will go up.
I think it will force us to adopt stronger type systems, formal methods, and more automated verification.