posts

Writing a Dropbox Cli in Python with Click

Generating SQL from Python

Type Theory Resources for the Layprogrammer

Listening to Music

Interviews I've Gone and Done

Another Tangent: Trying to Make a Theremin

Installing Matplotlib

Decoding MP3s, Volume 3: I Think I've Got What I Need

Some Number of Weeks Into RC, Part 1: 3

Decoding MP3s, Volume 2: A Portrait of the Audio as a Compressed Bit Stream

Decoding MP3s, Volume 1: I Guess I'm Decoding MP3s Now

There Must Be Some Mistake

My Actual First Post