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.

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.

What Compilers Can and Cannot Do

Tao B. Schardl · 1:18:46

Transitioning from language theory, this lecture examines the practical capabilities and limitations of compilers, detailing how source code is transformed and optimized within the Clang/LLVM pipeline.

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.