Khurram Wadee May 17, 2022 3:32pm How to Write #Software With Mathematical Perfection Quanta Magazine An article about #LesleyLamport (who also wrote #LaTeX, of course). https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/ 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.
There are no comments yet.