Procedures and Processes: The Substitution Model, Recursion & Iteration

Hal Abelson & Gerald Jay Sussman · 58:22

This lecture establishes the foundational understanding of computation through procedures, processes, and the substitution model, essential for grasping how software executes.

Hammock Driven Development

Rich Hickey · 39:49

With an understanding of complexity, this lecture provides a philosophical framework for deep, deliberate thought in software design, emphasizing problem decomposition over reactive development.

The Future of Programming

Bret Victor · 32:55

Leveraging insights into thoughtful design, this lecture offers a historical critique of programming paradigms, challenging assumptions about current tools and inspiring new approaches.

On Notation: Principles and Impact in Computing

Pat Hanrahan · 1:10:12

Following a critique of existing paradigms, this lecture delves into the profound impact of notation on computing systems, highlighting its role in shaping expressiveness and design.

Critiquing CS Education and Reinventing Programming

Alan Kay · 1:20:48

Finally, this lecture synthesizes the path by critically examining current CS education and research, advocating for a return to fundamental principles and ambitious innovation in programming and HCI.