Ask the expert - Thinking Mathematically Above The Code Level | Leslie Lamport | Code Mesh V 20

Поділитися
Вставка
  • Опубліковано 23 лип 2024
  • This video was recorded at Code Mesh V 2020 - codesync.global/conferences/c...
    Ask the expert - Thinking Mathematically Above The Code Level | Leslie Lamport - Professor at Brandeis University.
    • Speaker
    Dr. Lamport received a doctorate in mathematics from Brandeis University. An unlikely chain of events led to his current position as distinguished researcher at Microsoft.
    Dr. Lamport's initial research in concurrent algorithms made him well-known as the author of LaTeX, a document formatting system for the ever-diminishing class of people who write formulas instead of drawing pictures.
    He has received five honorary doctorates from European universities, but has always returned home to Palo Alto. This display of patriotism was rewarded with membership in the National Academy of Engineering, the National Academy of Sciences, and the American Academy of Arts and Sciences--as well as an honorary doctorate from Brandeis.
    Dr. Lamport now annoys computer scientists and engineers by urging them to understand an algorithm or system before implementing it, and scares them by saying they should use mathematics. In a vain attempt to get him to talk about other things, the ACM gave him the 2013 Turing Award.
    • Follow us on social:
    Website: codesync.global/conferences/c...
    Twitter: / codemeshio
    • Looking for a unique learning experience?
    Attend the next Code Sync conference near you!
    See what's coming up at: codesync.global
    • SUBSCRIBE TO OUR CHANNEL
    / @codesync
  • Наука та технологія

КОМЕНТАРІ • 4

  • @ngamsomset
    @ngamsomset 2 місяці тому

    great one. I've notice a few times that he answered to a questions related to beginner, he keep saying there is no easy path or silver bullet. I suppose he meant to learn it the hard way.

  • @babakabdollahi4123
    @babakabdollahi4123 2 роки тому +1

    Great talk, especially his prediction about how programming might be done in the next 20 years or so.

  • @AlgoNudger
    @AlgoNudger 5 місяців тому

    *AWESOME!* 😊

  • @kylewollman2239
    @kylewollman2239 4 місяці тому +1

    Based on current AI trends with LLMs it seems like his pessimistic prediction about AI writing code is winning.