Stories by colinprince

Mechanizing Mathematics with Dependent Types

Play, Cognition, and Learning

Why Uber Fights

We are responsible for sex offenders

Functional pearl: finding a densest segment

Functors and Recursion

The mystery of the crashing NSPredicate

In other words: inside the lives and minds of real-time translators

The Good Web Bundle

Native Apps Are Part of the Web

Why People Didn’t Like Your Conference Presentation

Stack Computers: Architecture of the Harris RTX 2000

Humanitarian Exchange Language (HXL)

Archiving and displaying tweets with dat

How I created two images with the same MD5 hash

The Map Apps That Move You in the Right Direction

America's artificial heartland

Terms of Service

Reliable Crash Reporting (2013)

Code Monster