Mathematics & Theoretical CS
Algorithms & data structuresComputability & complexity theoryQuantum computingPure mathematicsProbability & game theoryRecreational & visual mathLogic & formal methodsInformation theory & signal processingMath & theory (other)
53:22Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
65K views • 13 years ago
1:28:23Quantum Computing for Computer Scientists
Microsoft Research
2.2M views • 8 years ago
59:34CppCon 2017: Matt Kulukundis “Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step”
CppCon
137K views • 9 years ago
1:07:41Modern Dictionaries by Raymond Hettinger
SF Python
150K views • 9 years ago
59:2328c3: The Science of Insecurity
28c3
42K views • 14 years ago
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
143K views • 11 years ago
46:19Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
Adrian Crenshaw
81K views • 11 years ago
1:13:41CppCon 2014: Chandler Carruth "Efficiency with Algorithms, Performance with Data Structures"
CppCon
235K views • 12 years ago
1:06:00CppCon 2017: Juan Pedro Bolivar Puente “Postmodern immutable data structures”
CppCon
31K views • 9 years ago
5:34On The Turing Completeness of PowerPoint (SIGBOVIK)
Tom Wildenhain
1.2M views • 9 years ago
1:14:48The Future of Mathematics?
Microsoft Research
116K views • 7 years ago
1:29:55Sorting Algorithms: Speed Is Found In The Minds of People - Andrei Alexandrescu - CppCon 2019
CppCon
184K views • 7 years ago
1:03:40David Kriesel: Traue keinem Scan, den du nicht selbst gefälscht hast
media.ccc.de
7M views • 11 years ago
51:16Why can't you multiply vectors?
Freya Holmér
524K views • 3 years ago
19:12Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
7K views • 9 years ago
58:36Advanced Topics in Programming Languages: A Lock-Free Hash Table
GoogleTalksArchive
29K views • 14 years ago
59:50Leslie Lamport: Thinking Above the Code
Microsoft Research
403K views • 12 years ago
30:55[JSConfUS 2013] Steven Wittens: Making WebGL Dance
JSConf
56K views • 13 years ago
40:50Ruby Manor 3 - Programming with Nothing by Tom Stuart
Confreaks
13K views • 13 years ago
31:11React.js Conf 2015 - Immutable Data and React
Meta Developers
159K views • 11 years ago
40:27"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
42K views • 7 years ago
53:46Dasher: information-efficient text entry
Google TechTalks
7K views • 19 years ago
20:45dotJS 2019 - James Long - CRDTs for Mortals
dotconferences
18K views • 6 years ago
40:39Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
19K views • 7 years ago
1:01:47Four Solutions to a Trivial Problem - Guy Steele Jr.
Google TechTalks
36K views • 10 years ago
1:30:45The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
17K views • 8 years ago
43:39CRDTs and the Quest for Distributed Consistency
InfoQ
68K views • 8 years ago
48:36Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
9K views • 9 years ago
1:12:122017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
7K views • 9 years ago
27:42Mark DiMarco: User Interface Algorithms [JSConf2014]
JSConf
52K views • 12 years ago
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
20K views • 7 years ago
36:58"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
26K views • 9 years ago
1:01:40Four Dimensional Maths: Things to See and Hear in the Fourth Dimension - with Matt Parker
The Royal Institution
3.1M views • 11 years ago
1:04:00CppCon 2015: Sean Parent "Better Code: Data Structures"
CppCon
106K views • 11 years ago
46:06Lower Latency Graph Queries in Cypher with Redis GraphRoi Lipman, Redis LabsTim Davis, Texas A&M U
Redis
3K views • 8 years ago
1:06:45Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
Erlang Solutions
13K views • 7 years ago