✳flâneur — a map of the web's best reading
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
Explore this link on the map →related reading
- Leslie Lamport - Wikipediaen.wikipedia.org
- The Writings of Leslie Lamportlamport.azurewebsites.net
- What every computer science major should knowmatt.might.net
- Computational Complexityblog.computationalcomplexity.org
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Michael Feathers - 10 Papers Every Developer Should Readmichaelfeathers.silvrback.com
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Tony Hoare has died | Hacker Newsnews.ycombinator.com
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Books written by winners of the Turing Award.categorybooks.com
- References for "The Future of Programming"worrydream.com
- E.W. Dijkstra Archive: On the cruelty of really teaching computing science (EWD 1036)cs.utexas.edu