Scott on inventing the Logic of Computable Functions to win an argument with Christopher Strachey.

  Рет қаралды 156

Turing Awardee Clips

Turing Awardee Clips

Күн бұрын

Пікірлер: 1
@AlgoNudger
@AlgoNudger 6 ай бұрын
A hero. ❤
Aho: "I'm the A in AWK."
3:24
Aho: "I'm the A in AWK."
Turing Awardee Clips
Рет қаралды 278
Scott tells how he discovered nondeterministic automata with Michael Rabin in a classic paper.
3:16
Scott tells how he discovered nondeterministic automata with Michael Rabin in a classic paper.
Turing Awardee Clips
Рет қаралды 113
Try this prank with your friends 😂 @karina-kola
00:18
Try this prank with your friends 😂 @karina-kola
Andrey Grechka
Рет қаралды 9 МЛН
VIP ACCESS
00:47
VIP ACCESS
Natan por Aí
Рет қаралды 30 МЛН
🤔Можно ли спастись от Ядерки в Холодильнике ? #shorts
00:41
🤔Можно ли спастись от Ядерки в Холодильнике ? #shorts
King jr
Рет қаралды 7 МЛН
“Don’t stop the chances.”
00:44
“Don’t stop the chances.”
ISSEI / いっせい
Рет қаралды 62 МЛН
Kahan on HP calculators: Solve, Integrate and Matrix Operations
8:26
Kahan on HP calculators: Solve, Integrate and Matrix Operations
Turing Awardee Clips
Рет қаралды 13 М.
Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries.
2:45
Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries.
Turing Awardee Clips
Рет қаралды 160
Leslie Lamport: Preserving causality with logical clocks
2:44
Leslie Lamport: Preserving causality with logical clocks
plusmathsorg
Рет қаралды 2,9 М.
Aho on the "great crime" of confusing algorithms and procedures.
1:54
Aho on the "great crime" of confusing algorithms and procedures.
Turing Awardee Clips
Рет қаралды 313
Kahan on creating IEEE Standard Floating Point
7:26
Kahan on creating IEEE Standard Floating Point
Turing Awardee Clips
Рет қаралды 3,5 М.
Pearl: "I apologize for being so stupid" by treating causality as a probabalistic relationship.
2:04
Pearl: "I apologize for being so stupid" by treating causality as a probabalistic relationship.
Turing Awardee Clips
Рет қаралды 180
Aho: Seeing the Dragon Book in Hackers convinced his children that he was "really something."
3:02
Aho: Seeing the Dragon Book in Hackers convinced his children that he was "really something."
Turing Awardee Clips
Рет қаралды 200
Aho explains how Lex and YACC revolutionized compiler creation by uniting theory and practice
5:06
Aho explains how Lex and YACC revolutionized compiler creation by uniting theory and practice
Turing Awardee Clips
Рет қаралды 244
Kahan on the 8087 and designing Intel's floating point
9:26
Kahan on the 8087 and designing Intel's floating point
Turing Awardee Clips
Рет қаралды 4,6 М.
Wirth on the importance of abstraction to language design
3:48
Wirth on the importance of abstraction to language design
Turing Awardee Clips
Рет қаралды 3,9 М.
Try this prank with your friends 😂 @karina-kola
00:18
Try this prank with your friends 😂 @karina-kola
Andrey Grechka
Рет қаралды 9 МЛН