Prologue: Two ProvocationsIn July 2025, a lecture by game developer Casey Muratori was released. The two-hour lecture was ...

Each year, the Oregon Programming Language Summer School covers topics in the foundations of programming languages. All the recordings of the lectures that took place during this year's event are now ...

There remains a gulf between computation models like Turing machines that appear in theory of computation texts, and introductory programming languages. The simple and powerful Scheme programming ...

In 1951, Saul Gorn was working for the US Army doing complex calculations for the Ballistic Research Laboratory. To do the calculations, he was using some of the first computers: ENIAC, EDVAC, and ...