Welcome

Hi there. Perhaps you’re here to learn about who I am or you’d like to read some of my informal writings, to the left. Formal publications are available, too, here.

You could also try a freeform search.

Computer Science topics

• Reflections on Trusting Trust in tcc
• Mocking Up Aaron Turon’s Reagents
• Mocking Up Atze van der Ploeg’s and Koen Claessen’s Practical Principled FRP
• Assignments for an xv6 OS Class: Miniature pthreads Library
• Assignments for an xv6 OS Class: Kernel Thread Support
• Plan 9

Hardware Hacking & Projects

• Lightweight Asynchronous Mindful Presence (LAMP) Indicators
• Augmenting Capture The Flag with Stuff with More Technology
• Resurrecting An Old Crank Phone
• Reverse Engineering The Kodak CDL144
• Kinesis Freestyle 2 / Alcor Semiconductor AU9410 Hacking

System administration

• Single-Purpose Email Addresses
• Debian Apt Pinning: Restricting Packages By Repository
• Adventures With Embedded Computers
• APRS IGate
• OPIE and SKey
• Using Yubikey 4 for OpenVPN
• DIY Offline Key Management
• Notes for PulseAudio
• Rackable Systems SE3016 SAS Enclosure
• Secure Rsync Dropbox
• Tor Without An IP Address
• Miscellaneous Bits of System Administration

Miscellaneous topics

• Snake Vivarium Control Computer Notes
• nwf Contributes to Open Source
• TeXnical Notes
• Here Be Dragons: UNIX-alikes Internals
• Notes on Sphinx
• Internet Relay Chat Invisible Encoding
• OpenAFS Rights and Permissions
• GSSAPI Sealing API Proposal
• Telesensory PowerBraille Display Protocol
• Growatt Inverter Communications Protocol
• Other Things I’ve Written
• Calls For Help