What do you think there are more of: professional computer programmers or computer users who do a little programming? It’s the second group. There are millions of so-called end-user programmers.

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines. Leslie Lamport may not be a household name, but he’s behind a few of them for ...