Systems & CS

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

9 courses · 210 standalone talks · 505 lectures

All Systems & CS Algorithms & Data Structures (107)Database Systems (102)Operating Systems (79)Programming Languages (78)Computer Architecture (77)Distributed Systems (75)Systems Security (41)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

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

Decision Theoretic Foundations for Human-AI Collaboration (SIMONS-ECON)

Decision Theoretic Foundations for Human-AI Collaboration (SIMONS-ECON)

SIMONS-ECON · Lec 14 · Jessica Hullman · Simons Institute (UC Berkeley)

Jessica Hullman Simons Institute (UC Berkeley)

31:01

More categories

Mathematics (528)Physics & Cosmology (368)AI & Machine Learning (283)History & Humanities (372)Philosophy & Ethics (286)Biology & Neuroscience (334)Economics & Finance (323)Algorithms & Theory (370)Engineering & Robotics (334)