Computing Expert Says Programmers Need More Math | Quanta Magazine

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.

Computing Expert Says Programmers Need More Math | Quanta Magazine Home How to Write Software With Mathematical Perfection Read Later Share Copied! Comments Read Later Read Later Q&A How to Write Software With Mathematical Perfection By Sheon Han May 17, 2022 Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines. Read Later Modern computers can effectively coordinate with each other because of the work of the computer scientist Leslie Lamport. He’s since turned his attention to making programming itself more efficient. Talia He

related reading

• Leslie Lamport - Wikipediaen.wikipedia.org
• LLMs reward expertiseseangoedecke.com
• How Claude Shannon Invented the Future | Quanta Magazinequantamagazine.org
• An Applied Mathematician Strengthens AI With Pure Math | Quanta Magazinequantamagazine.org
• Computer Scientists Figure Out How To Prove Lies | Quanta Magazinequantamagazine.org
• The Cryptographer Who Ensures We Can Trust Our Computers | Quanta Magazinequantamagazine.org
• Will Computers Redefine the Roots of Math? | Quanta Magazinequantamagazine.org
• Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
• Formalizing Fermat's Last Theoremanthropic.com
• When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
• The Computer Scientist Who Parlays Failures Into Breakthroughs | Quanta Magazinequantamagazine.org
• To Teach Computers Math, Researchers Merge AI Approaches | Quanta Magazinequantamagazine.org