Minimizing logic expressions

Synthesizing optimal 8051 code

Patching nVidia GPU driver for hot-unplug on Linux

Accessing Intel ICH/PCH GPIOs

Abstracting over mutability in Rust macros

Owning collections in heap-less Rust

Abstracting over mutability in Rust

Writing udev rules for development boards

Archiving cryptographic secrets on paper

Line art photography cleanup

Printing labels on Epson TM-T88IV