Computing should enable humans: how to choose tools
March 02, 2023 12 minute read

NixCon 2022 retrospective
October 30, 2022 6 minute read

My workflow: Managing and munging PDFs
October 30, 2022 6 minute read

The Lambda Cube in Haskell: what construct do I need for this polymorphism?
October 25, 2022 12 minute read

NixCon 2022: Debugging Closure Sizes Graphically with nix-closure-graph
October 20, 2022 10 minute read

The cabal 'test-dev' trick
October 03, 2022 9 minute read

Setting up dev environments with Haskell Language Server and Nix
July 21, 2022 4 minute read

Adventures in building disk images of NixOS virtual machines for M1
June 21, 2022 3 minute read

Building Nix derivations manually in nix-shell
June 15, 2022 4 minute read

WALL side
May 29, 2022 5 minute read

Oh no, git send-email
April 22, 2022 5 minute read

Debugging: using rr to deal with unruly children (processes)
February 24, 2022 6 minute read

Setting up Quartus 16+18 on Arch Linux
September 12, 2021 3 minute read

Optimizing Nix Docker images
August 19, 2021 5 minute read

My Workflow: Unfamiliar C and C++ codebases
July 27, 2021 6 minute read

Using a TPM 2.0 to secure ssh keys
June 09, 2021 6 minute read

Monitoring D-Bus calls from systemd-run
June 01, 2021 1 minute read

My Workflow: Docs tricks and GNUs
May 18, 2021 4 minute read

jade ✨
March 09, 2021 2 minute read

Finding functions in nixpkgs
February 19, 2021 12 minute read

Custom targets in Rust
December 29, 2020 3 minute read

I have an RSS feed now
November 21, 2020 1 minute read

pwintln uwu and other fun with elves and dynamic linkers
November 21, 2020 8 minute read

How to patch Java font rendering for AA
November 11, 2020 4 minute read

Writing shellcode in Rust
September 01, 2020 5 minute read

Debugging Template Haskell
August 31, 2020 3 minute read

Google CTF 2020: writeonly
August 23, 2020 9 minute read

My software development setup in WSL 2
July 19, 2020 3 minute read

Using Nix to build multi-package, full stack Haskell apps
July 16, 2020 9 minute read

What I learned doing some casual QMK hacking
May 22, 2020 6 minute read

nginx: how to try multiple roots successively
November 11, 2019 2 minute read

Rewriting the blog in Gatsby
November 11, 2019 3 minute read

Auditing world-writable high-privilege executables on Windows
July 06, 2019 2 minute read

I competed in Skills Canada Robotics
June 13, 2019 6 minute read

Nspirations on getting math done faster
April 16, 2019 4 minute read

I designed and built a mechanical macropad/numpad!
March 07, 2019 9 minute read

Hyper-V Manager throws obscure errors if the target computer calls itself something else than you do
August 16, 2018 2 minute read

Meshmixer: Turn Off Smooth Display
February 19, 2018 1 minute read

Launching PowerShell using the Win32 API
November 29, 2016 1 minute read

Setting up client certs for secure remote access to home lab services
October 13, 2016 3 minute read

NUT not finding my UPS + fix
July 09, 2016 2 minute read

Windows folder extremely slow to load
June 28, 2016 1 minute read

nftables: redirect not working + fix
March 07, 2016 2 minute read

Swapping Back and Menu/Overview buttons on Android
March 04, 2016 1 minute read

General Network Error when running Install-ADDSForest
May 23, 2015 1 minute read