bash

Show where a Python package is used

Google Chrome: A Memory Hog

Vim as a Man Page Viewer

books

The Joys of the Craft

design

Solarized LaTeX Listings

Molokai: An iTerm2 Color Scheme

docker

Docker Tips and Cheatsheet

dotfiles

Starter Zsh Setup

Noteworthy Dotfile Hacks

Getting Started with RCM

fragment

ABTs in Haskell

Testing, Types, & Correctness

If, Else, & Purity

git

Noteworthy Dotfile Hacks

New GitHub Username

Mastering git log for Collaboration

Using Multiple Git Remotes

haskell

ABTs in Haskell

Haskell Development with Neovim

Troubleshooting Haskell Stack Setup on OS X

latex

Reach for Markdown, not LaTeX

The LaTeX homework Document Class

Offline LaTeX Development - Part 2

Offline LaTeX Development

Solarized LaTeX Listings

A LaTeX Homework Template

linux

Leaking Free Disk Space

Adding a Network Printer to a Linux Server

make

Offline LaTeX Development

markdown

Reach for Markdown, not LaTeX

meta

Recitation Notes

New GitHub Username

HPSTR: An Octopress Theme

Shiny New Octopress Blog

osx

Troubleshooting Haskell Stack Setup on OS X

SML Dev Setup

Offline LaTeX Development - Part 2

plt

ABTs in Haskell

Variables and Binding

System Fω and Parameterization

Variables in Types

printing

Adding a Network Printer to a Linux Server

programming

Testing, Types, & Correctness

If, Else, & Purity

The Joys of the Craft

python

Show where a Python package is used

Ruby Virtualenvs

Using Google OAuth2 for CMU Authentication

recitation

System Fω and Parameterization

Variables in Types

Recitation Notes

ruby

Ruby Virtualenvs

sml

System Fω and Parameterization

SML Dev Setup

terminal

Offline LaTeX Development - Part 2

Setting up MobaXterm for SSH on Windows

Molokai: An iTerm2 Color Scheme

tmux

Noteworthy Dotfile Hacks

troubleshooting

Troubleshooting Haskell Stack Setup on OS X

unix

Google Chrome: A Memory Hog

Offline LaTeX Development

vim

Haskell Development with Neovim

Reach for Markdown, not LaTeX

Troubleshooting Haskell Stack Setup on OS X

SML Dev Setup

Noteworthy Dotfile Hacks

Vim as an IDE

Offline LaTeX Development - Part 2

Vim as a Man Page Viewer

Offline LaTeX Development

webdev

Using Google OAuth2 for CMU Authentication

HPSTR: An Octopress Theme

zsh

Starter Zsh Setup

Why zsh?

Noteworthy Dotfile Hacks