Skip to content

Archive

Home Browse Courses Talks Study Paths

Directory

Institutions Speakers

Library

Playlists

The public archive for recorded scholarship—unabridged university courses, departmental colloquia, and structured study syllabi.

Archive

All Lectures
University Courses
Standalone Talks
Guided Study Paths
Institutions
Scholars & Speakers

Disciplines

Systems & CS
Engineering & Control
Theory & Algorithms
Biology & Neuro
AI & Machine Learning
Economics & Finance
Mathematics
Philosophy & Ethics
Physics & Cosmology
History & Humanities

Workspace

Saved Library
Study Notebook
About & Mission
Support & Errata
RSS Feed
Sitemap

© 2026 Lectern·Independent Academic Archive·Made in NYC

Press ⌘K to search · ? for shortcuts

Academic Discipline

Systems & CS

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

15courses·223standalone talks·432total lectures

Subfields

All Systems & CS432 Programming Languages109 Database Systems85 Operating Systems75 Distributed Systems73 Software Design & HCI72 Computer Architecture53 Algorithms & Data Structures44 Systems Security44 Malleable Computing & Dynamic Media18 Computer Networks & Cloud14 Probability & Information Theory6 Computer Vision & Graphics3

Programming Languages— Compilers, type systems, functional programming, runtime memory management, and language semantics.

12 topics

All Programming Languages Functional Programming36 Compilers & Code Generation25 Garbage Collection & Runtimes20 Lisp, Macros & Symbolic Abstraction13 Type Systems & Inference7 Erlang3 Julia Language3 Julia Programming Language3 Numerical Analysis3 Programming Language Theory3 Python3 Computational Biology2

jknavigate↵watchcchaptersssavexwatched

Save

QED Lecture 2, Part 1: Reflection & Transmission by Summing All Possible Paths

QED Lecture 2, Part 1: Reflection & Transmission by Summing All Possible Paths

Systems & CS·Conference Talk·Operating Systems · Ryan T. Gibb · University of Cambridge

University of Cambridge

—

19:40

Topics in High Energy Physics, Lecture 2: Gauge Symmetries & Path Integrals

Topics in High Energy Physics, Lecture 2: Gauge Symmetries & Path Integrals

Systems & CS·Conference Talk·Compilers & Code Generation · Julin Shaji · Indian Institute of Technology Palakkad

IIIndian Institute of Technology Palakkad

—

27:23

The Network as a Program: Formal Methods in Network Engineering

The Network as a Program: Formal Methods in Network Engineering

Systems & CS·Research Seminar·Programming Languages · Nate Foster · Jane Street

—

1:34:36

More categories

Mathematics (428)Physics & Cosmology (404)AI & Machine Learning (213)History & Humanities (376)Philosophy & Ethics (264)Biology & Neuroscience (281)Economics & Finance (336)Algorithms & Theory (339)Engineering & Robotics (209)

Formal Methods · Programming Languages

3