May 22, 2021
Products I Like and Recommend
September 20, 2020
Underrated Risks of Buying a Home
September 17, 2020
Forecasting How Long It Takes to Make a Baby
December 30, 2018
What I Learned This Year: A 2018 Retrospective
March 28, 2018
Memento Mori
March 16, 2018
My Social Network
March 6, 2018
Symbolic Execution: Intuition and Implementation
February 12, 2018
Laziness and Parallelism
January 26, 2018
Selling Laziness
January 24, 2018
Learning Deep Learning
January 23, 2018
What I Learned Participating in My First Kaggle Competition
January 21, 2018
Org-mode: An integrated language and editor
January 19, 2018
MoodBot: A Long Term Mood Tracking Project
January 4, 2018
Notes on Iteratees
April 8, 2017
Expanding Regular Expressions with LogicT
April 6, 2017
Random Clustering
April 5, 2017
Selling Monads
April 4, 2017
Regular Expressions Are A Declarative Language for Generating Strings
April 2, 2017
Review: Type-Driven Development with Idris
March 4, 2017
Proofs at Runtime
January 7, 2017
Writings That Influenced Me
September 23, 2015
Snippet: Power Set
December 7, 2013
Flexibility In Type Systems
December 4, 2013
Language Idiosyncrasies and Thin Interfaces
March 27, 2013
Distributed Systems Under Attack: Bitcoin and the Internet
February 28, 2013
Tracking the Mailbox Tempo App Reservation System
February 23, 2013
Backing Up Sensitive Data With Secret Sharing
February 11, 2013
Tracking the Mailbox App Reservation System
November 29, 2012
How A Computer Learned to Play Pac-Man
November 21, 2012
The Angelean Calendar
October 6, 2012
Picking Colors Optimally
August 12, 2012
Bouncing Python's Generators With A Trampoline
May 20, 2012
Did the Boulder PD Reduce Traffic Accidents?
May 5, 2012
Permutations: An Interview Question
April 1, 2012
Building Data Structures from Functions
February 5, 2012
Super Bowl Probabilities: The Coin Toss
January 14, 2012
Picking Random Items: Take Two (Hacking Python's Generators)
January 11, 2012
Picking Random Items From a File
January 3, 2012
A Program Analysis For Tail Call Optimization
December 16, 2011
A Zero-Knowledge File Exchange
August 18, 2011
Search Algorithms: Finding a Bad Coin (Part II)
August 17, 2011
A Search Algorithm Puzzle: Finding a Bad Coin
August 11, 2011
The Surface Area of a Sphere Between Parallel Planes
August 6, 2011
Copying Strings in One Line (C Programming)
August 5, 2011
1 Minus 1 Equals What? (Fun with sums and limits)
August 4, 2011
How Old School C Programmers Process Arguments
April 10, 2011
Using Matrices to Generate the Fibonacci Sequence
March 12, 2011
The First Spellchecker (In 6 Lines)