3 ms·
The cool kids write invariants that they prove correct via equational reasoning.
by DanWaterworth 15y ago
The cool kids write invariants that they prove correct via equational reasoning.
- ericbb 15y agoThere's also the Woz method of thinking about the problem so intently that you can simulate the whole system in your head without even looking at any code. Being unable to write your program bug-free would be like not being able to recognize your mother.