Systems & CS

Distributed systems, databases, operating systems, compilers, programming languages, networking, and computer architecture.

9 courses · 212 standalone talks · 508 lectures

All Systems & CS Algorithms & Data Structures (110)Database Systems (102)Operating Systems (79)Programming Languages (79)Computer Architecture (77)Distributed Systems (76)Systems Security (42)Software Design & HCI (27)Genetics & Molecular Biology (19)Probability & Information Theory (16)

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

Scholar · University

Chapters · Duration

Inventing on Principle

Inventing on Principle

Systems & CS·Conference Talk · Bret Victor · CUSEC Colloquium

Bret Victor CUSEC Colloquium

54:20

Trustworthy Human-AI Collaboration in a Live Type-Theoretic Computational Commons

Trustworthy Human-AI Collaboration in a Live Type-Theoretic Computational Commons

Systems & CS·Standalone Lecture · Theoretic Computational Commons · Jane Street

Theoretic Computational Commons Jane Street

1:05:45

More categories

Mathematics (531)Physics & Cosmology (369)AI & Machine Learning (283)History & Humanities (372)Philosophy & Ethics (287)Biology & Neuroscience (335)Economics & Finance (323)Algorithms & Theory (373)Engineering & Robotics (334)