Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.
Save highlights in Reader View or with our Chrome extension.
This your link? Claim it
Every day we pick 7 links from around the web that make you smarter, tailored to your interests.
Or sign in with Twitter or Google
Have an account? Sign in
Not on Refind yet? Sign up