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

jknavigate↵watchcchaptersssavexwatched

Save

Functional Programming I: Higher-Order Procedures in Scheme

Functional Programming I: Higher-Order Procedures in Scheme

Systems & CS·Standalone Lecture·Lisp, Macros & Symbolic Abstraction · Brian Harvey · UC Berkeley

48:36

A Call-by-push-value Scheme

A Call-by-push-value Scheme

Systems & CS·Conference Talk·Formal Methods & Type Theory · Max S. New · University of Michigan

UMUniversity of Michigan

—

29:11

Post-Quantum Cryptography: Merkle Signature Schemes

Post-Quantum Cryptography: Merkle Signature Schemes

Applied & Post-Quantum Cryptography · Lec 2·Topology & Geometry · Christof Paar · Ruhr University Bochum

Ruhr University Bochum

—

1:32:41

Accessibility of Mathematical Material

Accessibility of Mathematical Material

Systems & CS·Public Colloquium·Topology & Geometry · Christian Lawson-Perfect · London Mathematical Society

Christian Lawson-Perfect

London Mathematical Society

—

33:16

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)

Algebraic Geometry & Hodge Theory · Topology & Geometry

4