4 ms·
I used to laugh at Dijkstra's idea that all code should be mathematically proven correct. I thought of it as a laughable idea from yet another out-of-touch math
by 256_ 2y ago
I used to laugh at Dijkstra's idea that all code should be mathematically proven correct. I thought of it as a laughable idea from yet another out-of-touch mathematician.
I suppose true genius is seldom understood within someone's lifetime.
- belter 2y ago> I used to laugh at Dijkstra's idea that all code should be mathematically proven correct. That would not help for this outage.