constructive logic

Ben Eater writes a program in a made-up machine language and walks through the control logic an 8-bit breadboard CPU needs to execute it. It is part of his build-an-8-bit-computer series.

Ben Eater explains how VGA signals work and builds a breadboard circuit that produces correct sync timing so a monitor recognizes the signal. He then builds toward displaying an image from simple logic chips.

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.

Ben Eater finishes building a minimal VGA video card from logic circuits. He explains analog RGB signals, stores an image in an EEPROM and builds a simple digital-to-analog converter to display it.