2020-04-06

Minimizing logic expressions

2020-04-06

Synthesizing optimal 8051 code

2018-10-28

Patching nVidia GPU driver for hot-unplug on Linux

2017-11-08

Accessing Intel ICH/PCH GPIOs

2017-01-16

Abstracting over mutability in Rust macros

2016-12-17

Owning collections in heap-less Rust

2016-12-13

Abstracting over mutability in Rust

2016-11-20

Writing udev rules for development boards

2016-08-24

Archiving cryptographic secrets on paper

2016-04-29

Line art photography cleanup

2015-11-01

Printing labels on Epson TM-T88IV