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
-
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