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 ...

Spoiler alert: there's nothing in there. There’s even a technological counterattack, as companies roll out technology designed to detect software-composed writing. But the bottom line is that ChatGPT ...

The original version of this story appeared in Quanta Magazine. Imagine a town with two widget merchants. Customers prefer cheaper widgets, so the merchants must compete to set the lowest price.