Home
Most things I'm comfortable with strangers knowing about me is in the about page. The different projects that I manage or contribute to are on the projects page.
I also write about programming. (And a bit about math, but those are the same anyway, right?)
All posts
-
A little extra safety with RankNTypes
January 1, 2021 -
Dynamic Programming in Haskell
September 12, 2020 -
Roll your own reminders with dunst
May 22, 2020 -
Programming in Lojban
December 12, 2019 -
Roll your own Ngrok with Nginx, Letsencrypt, and SSH reverse tunnelling
January 29, 2019 -
systemd-nspawn: disabling link-local addressing
August 6, 2017 -
Haskell and Pushbullet - a tale of SMS on the command line
February 20, 2017 -
Prakash puzzles: a hundred prisoners and a lightbulb
February 10, 2017 -
Decidable orderings in Idris
November 11, 2016 -
Token authentication with Servant
June 18, 2016 -
Redirecting file descriptors to more than one file in bash
June 13, 2016 -
Quick navigation with Neovim terminals
May 2, 2016 -
The case against Python
April 19, 2016 -
Python pro-tip
April 1, 2016 -
Managing downloads from the command line
March 17, 2016 -
Gotos in Python
March 6, 2016 -
Windows debugging for fun and profit
December 31, 2015 -
Date night with OverloadedStrings
December 23, 2015