Computing Expert Says Programmers Need More Math | Quanta Magazine
quantamagazine.org · 2,432 words · saved by 1 readers
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
- The Writings of Leslie Lamportlamport.azurewebsites.net
- What every computer science major should knowmatt.might.net
- The fall of the theorem economydavidbessis.substack.com
- Essays on programming I think about a lot | benkuhn.netbenkuhn.net
- Formalizing Fermat's Last Theoremanthropic.com
- Computational Complexityblog.computationalcomplexity.org
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Will Computers Redefine the Roots of Math? | Quanta Magazinequantamagazine.org
- startup review: axiom mathil0vemilktea.substack.com
- Michael Feathers - 10 Papers Every Developer Should Readmichaelfeathers.silvrback.com
- Algorithm - Wikipediaen.wikipedia.org