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