Weblog Entries
11 Oct 2026
Leave
13 Mar 2026
Layoffs
28 Feb 2026
Reading as a Hobby
07 Dec 2025
2025: In Review
19 Nov 2025
I'm Still Bad At OCaml
02 Jan 2025
Hopes for 2025
10 Dec 2024
2024: In Review
10 Jun 2024
450 Stars!
22 Dec 2022
2022: In Review
18 Dec 2022
Courage Revisited
16 Dec 2021
2021: In Review
26 Feb 2021
Leaving California
18 Sep 2020
Endless Summer
24 Nov 2019
The Moby Dick Story
03 Oct 2019
Fixing a JNI Crash in sqlite-jdbc
18 Jul 2019
Formalizing Lagrange's Theorem in Coq
23 May 2019
Don't Watch The Catch-22 Miniseries
20 Dec 2018
2018: In Review
12 Oct 2018
For Which Primes is 2 a Square?
04 Aug 2018
The Joy of Field Extensions
06 Dec 2017
Rewatching The Wire
12 Dec 2016
Movie Thoughts: Nocturnal Animals
19 Aug 2016
An Appreciation - European Civilization: 1648 - 1945
19 Aug 2016
A Perl Skeptic's Guide to Perl
20 Jul 2016
Eat That Question - Frank Zappa in His Own Words
07 Jan 2015
I Find Gulp.js Extremely Frustrating
11 Dec 2014
Good-Bye To All That
01 Mar 2014
Application Failure Scenarios with Cassandra
22 Sep 2013
Jumping from Academics into Industry
24 Nov 2012
Reverting a Pull Request on Github
28 Dec 2011
MUSHCode: Functional Programming the Really Hard Way