Assn for Computing Machinery

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

Nice interview with #ACMTuringAward recipient Leslie Lamport:
https://www.quantamagazine.org/computing-expert-says-programmers-need-more-math-20220517/?mc_cid=6dfef499e4&mc_eid=66f5e73daf

#computing #computerscience #ACM #interview

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.

Quanta Magazine
Dec 30, 2022 at 7:06pmWeb
Show threadLynn GrantDec 30, 2022
@ACM So did Harlan Mills in 1975 (and both are right).
Show threadLynn GrantDec 30, 2022
@ACM https://trace.tennessee.edu/cgi/viewcontent.cgi?article=1023&context=utk_harlan