Stories by spec

Univalence as a Principle of Logic

Writing Code for NLP Research

Axler's Free New Book on Real Analysis [pdf]

Doctors and nurses need to be replaced by computers and robots

Rise of the Warrior Cop

Actual business plans that resulted in companies getting financing