Systems & CS

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

9 courses · 209 standalone talks · 504 total lectures

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

Showing 13 of 13 lectures

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

Scholar · University

Chapters · Duration

Overview and Introduction to Lisp

Overview and Introduction to Lisp

Systems & CS·Standalone Lecture · Harold Abelson · MIT

Harold Abelson MIT

1:12:56

Lecture 1a: Overview and Introduction to Lisp (SICP)

Lecture 1a: Overview and Introduction to Lisp (SICP)

Systems & CS·Standalone Lecture · Hal Abelson and Gerald Jay Sussman · MIT

Hal Abelson and Gerald Jay Sussman MIT

1:12:55

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

Why Functional Programming Matters: Higher-Order Glue & Lazy Evaluation

Why Functional Programming Matters: Higher-Order Glue & Lazy Evaluation

Systems & CS·Conference Talk · John Hughes · Chalmers University of Technology

John Hughes Chalmers University of Technology

56:10

Effective ML: Making Illegal States Unrepresentable in Static Type Systems

Effective ML: Making Illegal States Unrepresentable in Static Type Systems

Systems & CS·Conference Talk · Yaron Minsky · Jane Street

Yaron Minsky Jane Street

1:09:24

Data Parallel Haskell

Data Parallel Haskell

Systems & CS·Research Seminar · Simon Peyton Jones · UC Berkeley

Simon Peyton Jones UC Berkeley

1:19:56

In Context (Clojure/Conj 2026)

In Context (Clojure/Conj 2026)

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

Rich Hickey Clojure/Conj

52:10

01. Functional Programming I - CS 61A, Brian Harvey, Berkeley, Spring 2008

01. Functional Programming I - CS 61A, Brian Harvey, Berkeley, Spring 2008

Systems & CS·Standalone Lecture · Brian Harvey · UC Berkeley

Brian Harvey UC Berkeley

48:36

Functional Design Patterns

Functional Design Patterns

Systems & CS·Conference Talk · Stuart Sierra · Strange Loop Conference

Stuart Sierra Strange Loop Conference

42:16

Design Patterns in Functional Programming

Design Patterns in Functional Programming

Systems & CS·Conference Talk · Scott Wlaschin · gnbitcom

Scott Wlaschin gnbitcom

1:05:44

The Wasted Potential of Haskell: Language & Compiler

The Wasted Potential of Haskell: Language & Compiler

Systems & CS·Public Colloquium · James Faure · James Faure

James Faure James Faure

26:17

Why Functional Programming Matters

Why Functional Programming Matters

Systems & CS·Conference Talk · John Hughes · Chalmers University of Technology

John Hughes Chalmers University of Technology

56:10

Lean and Functional Programming

Lean and Functional Programming

Systems & CS·Conference Talk · gnbitcom

1:04:54

More categories

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