formal verification

The first part of Robert Baruch's series on building a 6800 CPU on an FPGA with nMigen, a Python-based hardware description language. It introduces the HDL while implementing a simpler 6800 core.

Markus Triska tours Prolog's most distinctive features, including its use as a database and query language, rule processing, constraint solving and compile-time rewriting. It also covers concise meta-interpreters.

Allieway Audio gives an informal introduction and live-coding demo of ORCA, a free esoteric programming environment for building procedural sequencers from Hundred Rabbits. It walks through the interface and how to make music with it.

A long livestream of George Hotz live-coding a toy SLAM implementation, twitchslam, over two days in May 2018. It is an unedited session of Python programming with computer vision and visualization.