Turing Awardee Clips
Turing Awardee Clips
  • 166
  • 240 201
Pearl on the tradeoff between quality of search and quality of perception.
Judea Pearl, winner of the Association for Computing Machinery's A.M. Turing Award, discusses the fundamental tradeoff in search between exploring more positions and evaluating each position more thoroughly. This clip is taken from an interview conducted with Pearl by David Brock for ACM and the Computer History Museum on July 6, 2022. Video of the full interview is available as part of Pearl’s ACM profile at amturing.acm.org/award_winners/pearl_2658896.cfm.
มุมมอง: 75

วีดีโอ

Pearl: "I apologize for being so stupid" by treating causality as a probabalistic relationship.
มุมมอง 93หลายเดือนก่อน
Judea Pearl, winner of the Association for Computing Machinery's A.M. Turing Award, explains that his focus in recent decades on causality led him to completely rethink his earlier assumption that causality was just shorthand for a particular kind of probabilistic relationship. This clip is taken from an interview conducted by David Brock for ACM and the Computer History Museum on July 6, 2022....
Pearl: "a system that works in a crazy way" - defining the Bayesian belief network.
มุมมอง 59หลายเดือนก่อน
Judea Pearl, winner of the Association for Computing Machinery's A.M. Turing Award, explains how he invented belief networks and the propagation method around the concept of conditional independence. This clip is taken from an interview conducted with Pearl by David Brock for ACM and the Computer History Museum on July 6, 2022. Video of the full interview is available as part of Pearl’s ACM pro...
Scott on inventing the Logic of Computable Functions to win an argument with Christopher Strachey.
มุมมอง 42หลายเดือนก่อน
Dana S. Scott, winner of the Association for Computing Machinery's A.M. Turing Award, tells how he came up with the Logic of Computable Functions during a sabbatical in Oxford, while trying to convince Christopher Strachey that using type-free lambda calculus for modelling was a mistake. This clip is taken from an interview conducted by Gordon Plotkin for the ACM between November 12, 2020 and F...
Scott on the origins of computer science at Stanford and teaching Barbara Liskov.
มุมมอง 24หลายเดือนก่อน
Dana S. Scott, winner of the Association for Computing Machinery's A.M. Turing Award, shares his impressions of the early days of computer science at Stanford including the contributions of George Forsythe, Donald Knuth, and John McCarthy. He also recalls teaching Barbara Liskov. This clip is taken from an interview conducted by Gordon Plotkin for the ACM between November 12, 2020 and February ...
Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries.
มุมมอง 55หลายเดือนก่อน
Dana S. Scott, winner of the Association for Computing Machinery's A.M. Turing Award, discusses the Ph.D. thesis he wrote at Princeton under the supervision of Alonzo Church. It concerned the validity of proofs across geometries with different dimensions, establishing that "there is only one infinite-dimensional theory." This clip is taken from an interview conducted by Gordon Plotkin for the A...
Scott tells how he discovered nondeterministic automata with Michael Rabin in a classic paper.
มุมมอง 29หลายเดือนก่อน
Dana S. Scott, winner of the Association for Computing Machinery's A.M. Turing Award, discusses the work he did with Michael Rabin during an internship at IBM Research when they were both graduate students. Their summer project of 1957 led to a classic paper, in which the class of nondeterministic automata was defined for the first time. This clip is taken from an interview conducted by Gordon ...
Aho explains how Lex and YACC revolutionized compiler creation by uniting theory and practice
มุมมอง 110หลายเดือนก่อน
Alfred Vaino Aho, winner of the Association for Computing Machinery's A.M. Turing Award, discusses his work at Bell Labs with Jeff Ullman and Steve Johnson to create the parser generator YACC and lexical analyzer generator Lex. These tools revolutionized the creation of compilers, allowing his undergraduate students to design a language and implement a compiler for it as their term project. Thi...
Aho on inventing indexed grammars and the nested stack automaton for his Ph.D. thesis.
มุมมอง 36หลายเดือนก่อน
Alfred Vaino Aho, winner of the Association for Computing Machinery's A.M. Turing Award, explains how in invented indexed grammars and the nested stack automaton to recognize them while working on his Ph.D. thesis at Princeton under the direction of John Hopcroft. This clip is taken from an interview conducted with Aho by Hansen Hsu for the ACM and Computer History Museum on June 13, 2022. Vide...
Aho: "I'm the A in AWK."
มุมมอง 123หลายเดือนก่อน
Alfred Vaino Aho, winner of the Association for Computing Machinery's A.M. Turing Award, discusses his work at Bell Labs with Brian Kernighan and Peter Weinberger to create AWK, a language used to write "throwaway one or two line programs" to perform data processing tasks. AWK became a standard part of the Unix toolkit. This clip is taken from an interview conducted with Aho by Hansen Hsu for t...
Aho: Seeing the Dragon Book in Hackers convinced his children that he was "really something."
มุมมอง 76หลายเดือนก่อน
Alfred Vaino Aho, winner of the Association for Computing Machinery's A.M. Turing Award, discusses how he wrote the "Dragon Book" (Compilers: Principles, Techniques, and Tools) with Jeffrey Ullman and why an Angelia Jolie movie convinced his kids that "their only man was really something." This clip is taken from an interview conducted with Aho by Hansen Hsu for the ACM and Computer History Mus...
Aho on the "great crime" of confusing algorithms and procedures.
มุมมอง 225หลายเดือนก่อน
Alfred Vaino Aho, winner of the Association for Computing Machinery's A.M. Turing Award, discusses the approach he and Jeffrey Ullman took when writing their book The Design and Analysis of Computer Algorithms to distinguish between algorithms and procedures. This clip is taken from an interview conducted with Aho by Hansen Hsu for the ACM and Computer History Museum on June 13, 2022. Video of ...
Wirth on the importance of abstraction to language design
มุมมอง 3.7K3 ปีที่แล้ว
Niklaus Wirth, winner of the Association for Computing Machinery's A.M. Turing Award, discusses the importance of abstraction to language design. This clip is taken from an interview conducted with Wirth by Elena Trichina for the ACM on 13 March, 2018 in Zürich, Switzerland. Video of the full interview is available as part of Wirth’s ACM profile at amturing.acm.org/award_winners/wirth_1025774.cfm.
Wirth on Lillith and Modula
มุมมอง 2.3K3 ปีที่แล้ว
Niklaus Wirth, winner of the Association for Computing Machinery's A.M. Turing Award, discusses the roots of Lilith and Modula in his time at Xerox PARC. This clip is taken from an interview conducted with Wirth by Elena Trichina for the ACM on 13 March, 2018 in Zürich, Switzerland. Video of the full interview is available as part of Wirth’s ACM profile at amturing.acm.org/award_winners/wirth_1...
Wirth on the implementation and spread of Pascal
มุมมอง 2.9K3 ปีที่แล้ว
Niklaus Wirth, winner of the Association for Computing Machinery's A.M. Turing Award, discusses the implementation and spread of Pascal, focusing on its use of a virtual machine to improve efficiency and portability. This clip is taken from an interview conducted with Wirth by Elena Trichina for the ACM on 13 March, 2018 in Zürich, Switzerland. Video of the full interview is available as part o...
Wirth on his first Algol compiler
มุมมอง 1.9K3 ปีที่แล้ว
Wirth on his first Algol compiler
Kahan on creating IEEE Standard Floating Point
มุมมอง 3.1K3 ปีที่แล้ว
Kahan on creating IEEE Standard Floating Point
Kahan on HP calculators: Solve, Integrate and Matrix Operations
มุมมอง 13K3 ปีที่แล้ว
Kahan on HP calculators: Solve, Integrate and Matrix Operations
Kahan on the 8087 and designing Intel's floating point
มุมมอง 4.1K3 ปีที่แล้ว
Kahan on the 8087 and designing Intel's floating point
Kahan remembers JCP Miller, Maurice Wilkes & Jim Wilkinson
มุมมอง 5403 ปีที่แล้ว
Kahan remembers JCP Miller, Maurice Wilkes & Jim Wilkinson
Kahan on the FERUT, the first computer he programmed
มุมมอง 7043 ปีที่แล้ว
Kahan on the FERUT, the first computer he programmed
Feigenbaum on IntelliCorp and Teknowledge
มุมมอง 1703 ปีที่แล้ว
Feigenbaum on IntelliCorp and Teknowledge
Feigenbaum on editing Computers and Thought
มุมมอง 1503 ปีที่แล้ว
Feigenbaum on editing Computers and Thought
Feigenbaum on the Heuristic Programming Project and DENRAL
มุมมอง 5613 ปีที่แล้ว
Feigenbaum on the Heuristic Programming Project and DENRAL
Feigenbaum on EAPM, his Ph.D. project with Herb Simon
มุมมอง 1633 ปีที่แล้ว
Feigenbaum on EAPM, his Ph.D. project with Herb Simon
Feigenbaum on working with Herb Simon and John Backus
มุมมอง 2123 ปีที่แล้ว
Feigenbaum on working with Herb Simon and John Backus
Feigenbaum on his family background and love of science
มุมมอง 1983 ปีที่แล้ว
Feigenbaum on his family background and love of science
Goldwasser defines a Probabilistically Checkable Proof
มุมมอง 7903 ปีที่แล้ว
Goldwasser defines a Probabilistically Checkable Proof
Goldwasser on Kilian, Schoof and primality
มุมมอง 3893 ปีที่แล้ว
Goldwasser on Kilian, Schoof and primality
Goldwasser defines zero knowledge proofs
มุมมอง 7K3 ปีที่แล้ว
Goldwasser defines zero knowledge proofs

ความคิดเห็น

  • @qulinxao
    @qulinxao 8 วันที่ผ่านมา

    constant is :

  • @Fabian5150
    @Fabian5150 14 วันที่ผ่านมา

    Absolute Sigma Move

  • @Chris-hf2sl
    @Chris-hf2sl 19 วันที่ผ่านมา

    I have both a 28C and a 28S calculator and despite their age, they are far superior to anything I've seen since. The only negative is the poor screen, which is sometimes difficult to read. Once you get used to PRN it's so easy and reliable - no more guesswork as to whether to enter √2 or 2√ like on other calculators.

  • @ALaModePi
    @ALaModePi 21 วันที่ผ่านมา

    I've had an HP-55, HP-67, and HP-41c. I've got an emulator for the 48/49 series as well as the Prime on my phone now. The one thing I miss is the tactile feeling of the solid click of the HP keyboards. It's probably because I started working with computers very early on that RPN appealed to me so much. I've always been able to think in better in those terms than relying on how the calculator is programmed to interpret algebraic notation. It's great hearing the thoughts of the people involved in creating and programming of these calculators.

  • @caricue
    @caricue 24 วันที่ผ่านมา

    It doesn't seem to matter how smart or dumb someone is, the magical thinking of determinism grips their psyche like a leach and won't let go.

  • @Rockyzach88
    @Rockyzach88 29 วันที่ผ่านมา

    _yawn_ I'm sure the guy (as well as many others in computer science) had their hay day back in the day and deserve respect for it, but everyone's trying to be guru legend nowadays. It's so tiring. Current day social media markets egging it on.

  • @jl1835
    @jl1835 29 วันที่ผ่านมา

    "I look at mutual exclusion not as a programming problem, not as a mathematical problem, but a physics problem."

  • @nickbarton3191
    @nickbarton3191 หลายเดือนก่อน

    "C++ the worst disease ever created" - ha ha ha

  • @nickbarton3191
    @nickbarton3191 หลายเดือนก่อน

    How much confusion there is out there about this principle.

  • @edillaragon8189
    @edillaragon8189 หลายเดือนก่อน

    2024 👌🏻

  • @aymantimjicht173
    @aymantimjicht173 หลายเดือนก่อน

    But we can use zero knowldge to have a decision of the correctness of a proof, a correct proof is a proof that we can use her same parameters to have an other decision for similar problems. we assume that the axiom system are correct.

  • @aymantimjicht173
    @aymantimjicht173 หลายเดือนก่อน

    Is tricky, we can't proof axioms. So All proofs are zero knowldge.

    • @danielmarkkula3004
      @danielmarkkula3004 หลายเดือนก่อน

      You are making no sense!

    • @aymantimjicht173
      @aymantimjicht173 หลายเดือนก่อน

      You don't understand. Or just for the community image.

    • @aymantimjicht173
      @aymantimjicht173 หลายเดือนก่อน

      You can search. What Axioms means and If we can proof them. If you want to learn.

    • @danielmarkkula3004
      @danielmarkkula3004 หลายเดือนก่อน

      @@aymantimjicht173 This has nothing to do with axioms. Search for ”zero knowledge proof”. Alsow what community image?

    • @danielmarkkula3004
      @danielmarkkula3004 25 วันที่ผ่านมา

      @@aymantimjicht173 Read from wikipedia what zero knowledge proof means. It has nothing to do with axioms.

  • @AlgoNudger
    @AlgoNudger หลายเดือนก่อน

    A hero. ❤

  • @AlgoNudger
    @AlgoNudger หลายเดือนก่อน

    This guy (asymmetrical eyebrows) is more realistic person in "AI". 🤭

  • @AlgoNudger
    @AlgoNudger หลายเดือนก่อน

    Cool. 😊

  • @MisterTAllred
    @MisterTAllred หลายเดือนก่อน

    "Security is the science of minimizing Trust." Bingo.

  • @briancase6180
    @briancase6180 2 หลายเดือนก่อน

    The killer Lilith was a cool computer. Pretty simple and clean.

  • @billhatzistavros4824
    @billhatzistavros4824 2 หลายเดือนก่อน

    Recalling the days I walked into my University bookshop and excitedly handed over my money to pick up a HP 33c then a couple of years later to pick up a HP 15c, were some of the most etched memories in my life!

  • @jeanpierrecassou5003
    @jeanpierrecassou5003 2 หลายเดือนก่อน

    Nul. C'est du podcast, pas de la vidéo

  • @anthonyrosica5790
    @anthonyrosica5790 3 หลายเดือนก่อน

    Pure astonishment.

  • @user-nk6dc2wk6p
    @user-nk6dc2wk6p 3 หลายเดือนก่อน

    R.I.P my HERO 😢

  • @whippoorwill1124
    @whippoorwill1124 3 หลายเดือนก่อน

    The 41-CV was what the rich kids flourished when I started university - only two in my year had them. Over 40 years later, still nothing can touch those HP calculators: I use my 48GX every day, and run Droid48 on my phone and Emu48 on all my computers.

  • @Alex-jb5tb
    @Alex-jb5tb 3 หลายเดือนก่อน

    Mr. Kahan also worked on the FPU ? Wow ! I love his Kahan summation algorithm and its many variants so much.

  • @JoeBurnett
    @JoeBurnett 3 หลายเดือนก่อน

    These interviews are priceless pieces of history. Thank you for preserving them for future generations.

  • @VeronicaBrandt
    @VeronicaBrandt 3 หลายเดือนก่อน

    3:04 You see books from the 1970s ... almost everything looked atrocious in those days. - so true!

  • @aaronza7218
    @aaronza7218 4 หลายเดือนก่อน

    Finally! I understand. Thank you for sharing this video!

  • @filouk2
    @filouk2 4 หลายเดือนก่อน

    Wow so this is God ? First time I see him.

  • @manawardhana
    @manawardhana 4 หลายเดือนก่อน

    This gives me goosebumps! One of the greatest discoeries with very large scale adoption. One had decency to value the other collegue so he added him. The other one had the decency to question it. 🥲

  • @edfelstein3891
    @edfelstein3891 4 หลายเดือนก่อน

    Mr. Postgres! We use your product extensively at work.

  • @mlliarm
    @mlliarm 5 หลายเดือนก่อน

    Wow.

  • @ScoopexUs
    @ScoopexUs 6 หลายเดือนก่อน

    C/C++ really is something that should be left behind - regardless of whether modern languages are marketed more or liked more. The reason is that they are still stuck in the 1970s - they don't abstract more than a Macro Assembler would. C/C++ language are low-level languages, very close to the hardware. The problem is, they are used for low-level things, but also for things that we abstracted from in the 1970s. Largely, the American software industry is to blame for this grandfather regression and the corporate pushes for languages that are never finished, playing some silly game of dominance, rather than trying to make a great language. In the rest of the world, a software engineer has a greater chance of picking the right tool for the job, and leave a codebase that doesn't fail, crash, or won't even compile a few months later without incessant, frail, updates.

    • @activex7327
      @activex7327 21 วันที่ผ่านมา

      C/C++ are high level languages, not low level languages get it right.

  • @ScoopexUs
    @ScoopexUs 6 หลายเดือนก่อน

    RIP hero. <3 Great story on the need for very small implementations. During the 1970s timeshares and later microcomputers changed the needs of computer languages. They had to fit in only 4 or 8K RAM, and before 1975 even BASIC was split into two parts, a translator bytecode that would then free the memory used by the translator and available to the BASIC program. It's nice to know, and sort of expected, that Pascal was there to compete. I've had a life-long love for the Pascal language family, which started with Turbo Pascal and Compis Pascal (Compis was a national college computer in Sweden). I've since had two consecutive careers writing serious applications in Delphi (industry and backend data processing), and now enjoy FreePascal from time to time. I betcha my old applications are still running, and haven't crashed once. That's a testament to the design of these languages.

  • @UndercoverDog
    @UndercoverDog 6 หลายเดือนก่อน

    This guy will ruin my CS studies

  • @miroslavhoudek7085
    @miroslavhoudek7085 6 หลายเดือนก่อน

    I wonder wether Don's wife calls the book "TAOCP".

  • @ahmadganteng7435
    @ahmadganteng7435 6 หลายเดือนก่อน

    Beautiful idea, Maam.. This principle is very important to understand

  • @demojoe28
    @demojoe28 6 หลายเดือนก่อน

    RIP Sir

  • @llwwll576
    @llwwll576 6 หลายเดือนก่อน

    Rutishauser kannte ich Mitte der 60er Jahren weitaus besser als Nklaus W. : Nun ist NW von uns gegangen - in Pascal und Modula schrieb ich MathLogic Quine, BuralliForte sowie Hao Wang Programme . Antworten

  • @PCGatOS
    @PCGatOS 6 หลายเดือนก่อน

    Rest in peace, Niklaus.

  • @Sigmaidka779
    @Sigmaidka779 7 หลายเดือนก่อน

    Remove that ass fucking captcha

  • @what-do-you-feel
    @what-do-you-feel 7 หลายเดือนก่อน

    One of those videos where I can't believe this has just 312 views and no comments...! Super interesting.

  • @beegdigit9811
    @beegdigit9811 7 หลายเดือนก่อน

    This is THE explanation from the CREATOR, so sad other videos on this subject have more views

  • @kalebind1
    @kalebind1 7 หลายเดือนก่อน

    My first available computer Monitor was the size of a seventies fridge

  • @deutan4390
    @deutan4390 7 หลายเดือนก่อน

    It's really useful but I doubt a single soul likes to use hoare logic to verify code.

  • @GodofStories
    @GodofStories 7 หลายเดือนก่อน

    Great to see a legitimate women pioneer. Who many girls could see for inspiration as sadly many don't have role models to look up to in comp sci/tech.

  • @Charnadio
    @Charnadio 7 หลายเดือนก่อน

    Nice.

  • @mesekara3471
    @mesekara3471 8 หลายเดือนก่อน

    You have no idea how much I hate you sir 😡

  • @lemd49
    @lemd49 8 หลายเดือนก่อน

    Got my first HP calculator in 1975, an HP25 (Second year electrical engineering) and still use it today, although modified the battery to NiMH. Then got an HP15C and a HP19B financial calculator, still all working. Great machines.

  • @ericfielding668
    @ericfielding668 9 หลายเดือนก่อน

    What a wonderful story. CPA with a math degree here. Thanks for the complex numbers and matrices. I've got a few HPs. The 48G is my daily driver; it still has great buttons. My phone has Free42 on it (I'll probably get a Swiss Micros unit with buttons at some point). Every year I program up the latest payroll source deductions formulae on my calculators.

  • @skysurfer5cva
    @skysurfer5cva 9 หลายเดือนก่อน

    I bought an HP-34C in September 1979 at the start of my senior year of college, specifically because of the SOLVE and INTEGRATE functions…and because I couldn't afford the HP-41C, which released at the same time. I found both functions to be very helpful in finishing my civil engineering degree. I remember solving an iteration problem on a final exam that semester by recording a program in the HP-34C, writing the re-arranged equation and program steps on my test paper along with my initial guesses and a brief explanation of the SOLVE function, then reporting the result. By hand, this problem would have taken perhaps 20 minutes, but my method took only about 2 minutes. My professor loved my approach, and because he used an HP-45 he understood my program. I also appreciated the extra chapter in the manual. As a not-yet-professional, I needed the extra guidance. THANK YOU, Professor Kahan.

  • @bholasaxena8741
    @bholasaxena8741 9 หลายเดือนก่อน

    Here i am trying to find a simpler explanation of lowest common ancestor and this guy pops up