formal methods

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.

A short film from Agenda Gotsch introducing syntropic agriculture and Ernst Gotsch's agroforestry methods, made for COP21. It shows degraded land regenerated into productive forest farms.

The first episode of Clickspring's series on reproducing the Antikythera Mechanism by hand, laying out the plan and the history. The series follows a machinist building the ancient Greek device with traditional tools and methods.

Destin Sandlin tours United Launch Alliance's rocket factory with CEO Tory Bruno, showing friction stir welding, structural rocket skins and large milled parts.

Mentour Pilot's 56-minute account of the MH370 disappearance and what is now known, including the WSPR radio tracking technique and other sensing methods. It was made ahead of renewed search efforts.

Atrocity Guide covers the 1965 dolphin experiments of Dr. John C. Lilly and Margaret Howe, who tried to teach dolphins English. It traces the bizarre methods and Lilly's later drug-fueled beliefs.