type system

Matt Risinger covers installing a Zehnder ERV fresh-air system in a tight passive house, explaining balanced ventilation, the benefits of heat recovery and the costs involved.

The first stream in the Emacs From Scratch series, building a custom Emacs configuration from zero while teaching basics. It covers a usable baseline setup and the packages for completion, themes and productivity.

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.

George Brocklehurst of thoughtbot demonstrates Vim's built-in completion mechanisms, from word, line and block completion to ctags. The aim is to type less and make fewer typos.

Russ Cox gives a 23-minute tour of the Acme text editor from Plan 9, showing its mouse-driven interface, executing commands from text, and its filesystem-based interface to other programs.

Tech Ingredients shows how to build flat panel speakers from exciters and foam board, with construction guidelines, measured SPL comparisons and a complete system playing music.