Algorithms & Theory

Algorithms, data structures, computational complexity, cryptography, formal verification, logic, and type theory.

13 courses · 77 standalone talks · 370 total lectures

All Theory & Algos Algorithms & Data Structures (203)Computational Complexity (88)Cryptography (41)Probability & Information Theory (28)Neuroscience & Cognition (26)Calculus & Analysis (24)Complex Systems & Scaling (16)Computer Architecture (14)Signal Processing & Robotics (13)Dynamic Programming (13)

Showing 9 of 9 lectures

Lecturej/k navigate · c chapters · s save · x watched

Scholar · University

Chapters · Duration

Overview and Introduction to Lisp (MIT 6.001 Structure and Interpretation, 1986, Lecture 1A)

Overview and Introduction to Lisp (MIT 6.001 Structure and Interpretation, 1986, Lecture 1A)

Systems & CS·Standalone Lecture · MIT

1:12:55

1. Persistent Data Structures

1. Persistent Data Structures

6.851 · Lec 1 · Erik Demaine · MIT

Erik Demaine MIT

1:23:43

Learning Programming Abstractions for Automating Formal Verification

Learning Programming Abstractions for Automating Formal Verification

Systems & CS·Research Seminar · Jocelyn Qiaochu Chen · Alberta Machine Intelligence Institute (Amii)

Jocelyn Qiaochu Chen Alberta Machine Intelligence Institute (Amii)

1:03:23

In Context (Clojure/Conj 2026)

In Context (Clojure/Conj 2026)

Systems & CS·Conference Talk · Rich Hickey · Clojure/conj

Rich Hickey Clojure/conj

52:10

Set-Theoretic Types from Scratch

Set-Theoretic Types from Scratch

Systems & CS·Conference Talk · José Valim · Code Sync

José Valim Code Sync

1:02:16

Property Based Testing: The Past, The Present, and The Future

Property Based Testing: The Past, The Present, and The Future

Systems & CS·Conference Talk · Alperen Keleş · Bob Konferenz

Alperen Keleş Bob Konferenz

44:36

Decidability, Type Systems, and the Limits of Open Source Trust

Decidability, Type Systems, and the Limits of Open Source Trust

Systems & CS·Public Colloquium

Premature Abstraction

15:21

Machining the Ghost: Ideating in the Age of AI

Machining the Ghost: Ideating in the Age of AI

SFI-CX · Lec 6 · Santa Fe Institute Faculty · Santa Fe Institute

Santa Fe Institute Faculty Santa Fe Institute

1:29:15

Lecture 11: Storage Allocation (6.172)

Lecture 11: Storage Allocation (6.172)

6.172 · Lec 11 · Julian Shun · MIT

Julian Shun MIT

1:05:26

More categories

Systems & CS (504)Mathematics (518)Physics & Cosmology (366)AI & Machine Learning (283)History & Humanities (371)Philosophy & Ethics (286)Biology & Neuroscience (332)Economics & Finance (323)Engineering & Robotics (333)