In Memoriam: Sir Antony Hoare (1934–2026)
In Memoriam: Sir Antony Hoare (1934–2026)
2 months ago
computerhistory.org
Hoare on inventing Quicksort | Anila Mjeda
Hoare on inventing Quicksort | Anila Mjeda
1.6K views2 months ago
linkedin.com
Tony Hoare - Alchetron, The Free Social Encyclopedia
Tony Hoare - Alchetron, The Free Social Encyclopedia
Nov 13, 2015
alchetron.com
Happy Birthday, Tony Hoare! Hoare received the 1980 #ACMTuringAward for his fundamental contributions to the definition and design of programming languages. Here Hoare discusses the origins of his celebrated "Quicksort" algorithm: https://youtu.be/pJgKYn0lcno | ACM - Association for Computing Machinery
1:01
Happy Birthday, Tony Hoare! Hoare received the 1980 #ACMTuringAw…
3.6K viewsJan 11, 2025
FacebookACM - Association for Computing Machinery
‘This Bright Future’ is a raw and unfiltered journey told by one of the most honest and authentic figures in the industry, Logic. You won’t hear a story like his anywhere else. http://adbl.co/ThisBrightFuture | Audible
0:28
‘This Bright Future’ is a raw and unfiltered journey told by one of th…
122.9K viewsOct 15, 2021
FacebookAudible
Turing Award winner Tony Hoare, computing pioneer who invented the Quicksort algorithm for a sixpence bet, dies at the age of 92
Turing Award winner Tony Hoare, computing pioneer who invented t…
2 months ago
pcgamer.com
Separation Logic: Ordering the Chaos of Shared Memory
7:00
Separation Logic: Ordering the Chaos of Shared Memory
27 views4 months ago
YouTubeThoughtLab
2:48
Barcelona Ratings in EAFC 26! 📈📉😀 FT: Lamine Yamal, Raphinha, Pedri & …
513 views7 months ago
YouTubeFootTV
9:21
Calculated Field in Tableau in Tamil | Insight Antony
1 views3 weeks ago
YouTubeInsight Antony
0:53
This Isn't Rebellion, It's Logic.
130 views3 months ago
YouTubeHoward Dare
47:23
How the JVM Optimizes Generic Code - A Deep Dive
7.4K views4 weeks ago
YouTubeJava
Using Crash Hoare logic for certifying the FSCQ file system | P…
Dec 30, 2019
acm.org
Mastering Correctness and Termination of Algorithms with Isa…
2 views11 months ago
YouTubevlogize
12:27
Sorting Algorithms (Bubble Sort, Shell Sort, Quicksort)
2.1M viewsAug 30, 2014
YouTubeWhite Chaddar
18:59
Types of Case Study. Part 1 of 3 on Case Studies
349K viewsOct 24, 2012
YouTubeGraham R Gibbs
2:09
Hoare on the definition and purpose of the Hoare Triple
4.3K viewsOct 21, 2020
YouTubeTuring Awardee Clips
13:27
L-3.1: How Quick Sort Works | Performance of Quick Sort with Ex…
3.5M viewsJan 20, 2020
YouTubeGate Smashers
20:09
An Applied Quantum Hoare Logic
247 viewsNov 26, 2019
YouTubeACM SIGPLAN
35:27
hoare logic
2.1K viewsMar 23, 2018
YouTubeSteve Earth
12:26
Proofs are Programs
14.4K viewsApr 26, 2025
YouTubeAttic Philosophy
2:45
Maestro | Official Trailer | Netflix
14.3M viewsOct 25, 2023
YouTubeNetflix
15:29
LOGIC LAWS - DISCRETE MATHEMATICS
479.7K viewsJul 17, 2017
YouTubeTrevTutor
3:05
Understanding Hoare Logic Axioms
224 viewsFeb 28, 2021
YouTubeRoel Van de Paar
4:43
Hoare on inventing Quicksort
17.5K viewsOct 21, 2020
YouTubeTuring Awardee Clips
45:52
6th HLF – Lecture: Sir C. Antony R. Hoare
711 viewsSep 27, 2018
YouTubeHeidelberg Laureate Forum
12:13
Master Theorem Visually Explained
70K viewsSep 18, 2022
YouTubeLars Quentin
11:10
Intro to Logic Part 1: Logical Arguments
4K viewsAug 21, 2020
YouTubeJonathan Miller
5:29
Hoare Logic: Proving Software Correctness Mathematically
31 views8 months ago
YouTubeThoughtLab
8:43
Hoare on communicating sequential processes
4.2K viewsOct 21, 2020
YouTubeTuring Awardee Clips
29:20
Prof. Antony Davies: 10 Myths About Inflation
69.1K viewsApr 12, 2022
YouTubeLearn Liberty
See more videos
Static thumbnail place holder