Mathematics & Theoretical CS

479 videos Hacker News recommends about mathematics & theoretical cs. Filter by topic below, or sort by recommendation strength.

360 videos · page 4 of 10

Edwin Brady - Idris 2 - Type-driven Development of Idris40:39

Edwin Brady - Idris 2 - Type-driven Development of Idris

Curry On!

2019Software Engineering & Languages5 HN mentions
Depth-first search in APL11:32

Depth-first search in APL

Dyalog

2014Software Engineering & Languages5 HN mentions
"Finding bugs without running or even looking at code" by Jay Parlar40:27

"Finding bugs without running or even looking at code" by Jay Parlar

Strange Loop Conference

2019Mathematics & Theoretical CS4 HN mentions
The Infinite Pattern That Never Repeats21:12

The Infinite Pattern That Never Repeats

Veritasium

2020Mathematics & Theoretical CS4 HN mentions
But what are Hamming codes? The origin of error correction20:05

But what are Hamming codes? The origin of error correction

3Blue1Brown

2020Mathematics & Theoretical CS4 HN mentions
Carl Sagan - Cosmos - Eratosthenes6:42

Carl Sagan - Cosmos - Eratosthenes

carlsagandotcom

2009Politics, History & Society4 HN mentions
e^(iπ) in 3.14 minutes, using dynamics | DE54:08

e^(iπ) in 3.14 minutes, using dynamics | DE5

3Blue1Brown

2019Mathematics & Theoretical CS4 HN mentions
Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer48:36

Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer

Curry On!

2017Software Engineering & Languages3 HN mentions
CRDTs and the Quest for Distributed Consistency43:39

CRDTs and the Quest for Distributed Consistency

InfoQ

2018Systems, Networks & Security3 HN mentions
How our voting system (and IRV) betrays your favourite candidate3:35

How our voting system (and IRV) betrays your favourite candidate

The Center for Election Science

2013Politics, History & Society19 HN mentions
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram36:58

"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

Strange Loop Conference

2017Software Engineering & Languages11 HN mentions
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 1843:23

Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

Code Sync

2018Software Engineering & Languages11 HN mentions
Why Snow and Confetti Ruin YouTube Video Quality4:20

Why Snow and Confetti Ruin YouTube Video Quality

Tom Scott

2016Mathematics & Theoretical CS10 HN mentions
The Zipf Mystery21:05

The Zipf Mystery

Vsauce

2015Ideas, Learning & Language9 HN mentions
The Most Underrated Algorithm26:33

The Most Underrated Algorithm

Veritasium

2022Mathematics & Theoretical CS9 HN mentions
15 Sorting Algorithms in 6 Minutes5:50

15 Sorting Algorithms in 6 Minutes

Timo Bingmann

2013Mathematics & Theoretical CS8 HN mentions
Numberphile v. Math: the truth about 1+2+3+...=-1/1241:44

Numberphile v. Math: the truth about 1+2+3+...=-1/12

Mathologer

2018Mathematics & Theoretical CS7 HN mentions
Cosmos - Carl Sagan - 4th Dimension7:24

Cosmos - Carl Sagan - 4th Dimension

carlsagandotcom

2009Mathematics & Theoretical CS7 HN mentions
Blockchain 101 - A Visual Demo17:50

Blockchain 101 - A Visual Demo

Anders Brownworth

2016Systems, Networks & Security6 HN mentions
Mark DiMarco: User Interface Algorithms [JSConf2014]27:42

Mark DiMarco: User Interface Algorithms [JSConf2014]

JSConf

2014Software Engineering & Languages6 HN mentions
Graham's Number - Numberphile9:16

Graham's Number - Numberphile

Numberphile

2012Mathematics & Theoretical CS6 HN mentions
Why do competitors open their stores next to one another? - Jac de Haan4:07

Why do competitors open their stores next to one another? - Jac de Haan

TED-Ed

2012Mathematics & Theoretical CS6 HN mentions
Derren Brown - The System (Full)47:03

Derren Brown - The System (Full)

ScepticaTV

2011Life Sciences, Mind & Health6 HN mentions
CRDTs: The Hard Parts1:10:10

CRDTs: The Hard Parts

Martin Kleppmann

2020Systems, Networks & Security6 HN mentions
Lower Latency Graph Queries in Cypher with Redis GraphRoi Lipman, Redis LabsTim Davis, Texas A&M U46:06

Lower Latency Graph Queries in Cypher with Redis GraphRoi Lipman, Redis LabsTim Davis, Texas A&M U

Redis

2018Systems, Networks & Security5 HN mentions
How to: Work at Google — Example Coding/Engineering Interview24:02

How to: Work at Google — Example Coding/Engineering Interview

Life at Google

2016Software Engineering & Languages5 HN mentions
Euler's formula with introductory group theory24:28

Euler's formula with introductory group theory

3Blue1Brown

2017Mathematics & Theoretical CS5 HN mentions
Stephan T. Lavavej “Floating-Point <charconv>: Making Your Code 10x Faster With C++17's Final Boss”1:00:17

Stephan T. Lavavej “Floating-Point <charconv>: Making Your Code 10x Faster With C++17's Final Boss”

CppCon

2019Software Engineering & Languages5 HN mentions
How secure is 256 bit security?5:06

How secure is 256 bit security?

3Blue1Brown

2017Systems, Networks & Security5 HN mentions
Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt1:06:45

Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt

Erlang Solutions

2019Systems, Networks & Security5 HN mentions
GDC 2010: Sid Meier Keynote - "Everything You Know is Wrong"53:58

GDC 2010: Sid Meier Keynote - "Everything You Know is Wrong"

GameSpot

2010Games & Game Development5 HN mentions
What P vs NP is actually about17:58

What P vs NP is actually about

Polylog

2024Mathematics & Theoretical CS5 HN mentions
Is AI Safety a Pascal's Mugging?13:44

Is AI Safety a Pascal's Mugging?

Robert Miles AI Safety

2019AI, Machine Learning & Data4 HN mentions
Randomness is Random - Numberphile13:31

Randomness is Random - Numberphile

Numberphile

2018Mathematics & Theoretical CS4 HN mentions
2017 ACM PPoPP Keynote: It's Time for a New Old Language1:12:12

2017 ACM PPoPP Keynote: It's Time for a New Old Language

Guy Steele

2017Software Engineering & Languages4 HN mentions
Times Tables, Mandelbrot and the Heart of Mathematics13:37

Times Tables, Mandelbrot and the Heart of Mathematics

Mathologer

2015Mathematics & Theoretical CS4 HN mentions