How to Write Software with Mathematical Perfection
Lesil lamport revloutionized how computer talk to eache other. Now he’s working on how engineers talk. To be fair, I didn’t plan for much on this Iceland vacation, never mind hiking, so I’d packed light for my five days in…