A long form essay that shows the relationship between type systems and logic systems in type theory.
Most stores aren't open 24/7. Amazon.com is. This extension makes Amazon.com more like other stores. The new Amazon.com hours are 10am-9pm M-F and 11am-8pm Sundays.
Programmatically generated city guides for imaginary cities. Pictures, maps, places of interest, local language, flora and fauna are all included.
An explanation of the recent "Neural ordinary differential equations" paper.
A programming language where every computation happens in a separate Docker container.
Thousands of people use the Bay Area bikeshare system, Ford Go Bike, every day. This plot shows where all those bikes are headed (using idealized route predictions).
An attempt to find a more-efficient-than-rejection-sampling method of choosing uniformly-distributed random points inside the unit sphere.
Using Racket Scheme to explore different ways to interpret the passage of time as color transitions in HSV colorspace.
My favorite part about this project is that it implements recursion using file processing!