Overview and Introduction to Lisp: Procedural & Symbolic Abstraction

Hal Abelson & Gerald Jay Sussman · 1:12:56

This foundational lecture introduces Lisp as a powerful tool for procedural and symbolic abstraction, establishing the core concept of programming as the manipulation of symbols and expressions.

Persistent Data Structures

Erik Demaine · 1:23:43

Building on symbolic abstraction, this lecture introduces persistent data structures, a critical concept for understanding immutable data and functional programming paradigms that underpin robust language design.

Decidability, Type Systems, and the Limits of Open Source Trust

15:21

With an understanding of data structures, this lecture delves into type systems and decidability, exploring how formal properties of languages ensure correctness and the inherent limits of static analysis.

Optimizing Clojure: Leveraging Modern JVM for Performance

Chris Nuernberger · 33:48

Leveraging knowledge of compiler internals, this lecture explores advanced optimization techniques for Clojure on the JVM, demonstrating how language runtimes can be tuned for peak performance.

The Jank Dialect: Native Clojure on LLVM with Seamless C++ Interop

Jeaye Wilkerson · 40:11

Finally, this lecture showcases a cutting-edge native Clojure dialect built on LLVM, illustrating how deep compiler integration enables seamless C++ interop and high-performance native application development.