Using `z3` To Solve Logic Puzzles

An introduction to SMT solvers, along with an application to make logic puzzles trivial.

A Tour Of ethflop

My experiences with using the new ethflop TSR for DOS- floppies over the network!

Porting a New Board To Migen

A tutorial on creating a placement-constraints file (PCF) usable from the Migen Hardware Description Language (HDL).

NMOS IC Reverse Engineering

The first in a series of posts about how to analyze (old!) silicon die images and extract transistors to study the underlying circuit.

Floppy Disk Notes

A compilation on literature discussing the theory of operation of floppy disk drives.