type-level programming

Modern Vintage Gamer explains how Eric Chahi built Another World on the Amiga 500, using 2D polygons, rotoscoping and clever techniques to run well on a stock 7MHz machine.

A French-language documentary on the history of Prolog, created in Marseille by Alain Colmerauer in the early 1970s, with interviews of many people involved. It traces the origins of logic programming and later developments of the language.

Cathode Ray Dude covers two bizarre HP 'Quick Start' features: QuickLook, an offline email client built on EFI firmware, and Daystarter, which hijacks the Windows boot process. It includes an explanation of EFI applications and why HP built these things.