The headline and lede on the page are a bit better: > How to Write Software With Mathematical Perfection > Leslie Lamport revolutionized how computers talk to

The headline and lede on the page are a bit better: > How to Write Software With Mathematical Perfection > Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.