Using `z3` To Solve Logic Puzzles
2023-08-15An introduction to SMT solvers, along with an application to make logic puzzles trivial.
An introduction to SMT solvers, along with an application to make logic puzzles trivial.
My experiences with using the new ethflop TSR for DOS- floppies over the network!
A tutorial on creating a placement-constraints file (PCF) usable from the Migen Hardware Description Language (HDL).
The first in a series of posts about how to analyze (old!) silicon die images and extract transistors to study the underlying circuit.
A compilation on literature discussing the theory of operation of floppy disk drives.