2017

Testing, Types, & Correctness

If, Else, & Purity

Haskell Development with Neovim

Reach for Markdown, not LaTeX

2016

Troubleshooting Haskell Stack Setup on OS X

Let’s Have a Chat about Encryption

SML Dev Setup

Starter Zsh Setup

2015

Leaking Free Disk Space

Docker Tips and Cheatsheet

Show where a Python package is used

Why zsh?

Noteworthy Dotfile Hacks

Getting Started with RCM

Vim as an IDE

New GitHub Username

Mastering git log for Collaboration

The LaTeX homework Document Class

Offline LaTeX Development - Part 2

2014

Google Chrome: A Memory Hog

Ruby Virtualenvs

Vim as a Man Page Viewer

The Joys of the Craft

Using Multiple Git Remotes

Using Google OAuth2 for CMU Authentication

Offline LaTeX Development

Solarized LaTeX Listings

A LaTeX Homework Template

Setting up MobaXterm for SSH on Windows

Molokai: An iTerm2 Color Scheme

HPSTR: An Octopress Theme

Adding a Network Printer to a Linux Server

Shiny New Octopress Blog