What I’m Doing Now

Work

At Monic, working on the Pact property checking system

Traveling / Exploring

Currently planning to travel to Thailand and South Africa. I’m also still getting to know my new city (Los Angeles).

Fiction

• Infinite Jest (I’ve been reading this for, like, a year)
• Hero with a Thousand Faces
• Peace (Gene Wolfe)

Nonfiction

• Category Theory for Computing Science
• Gauge Fields, Knots and Gravity
• Introduction to Coalgebra
• Calculus on Manifolds
• Functional Differential Geometry
• The Blind Spot
• Structure and Interpretation of Classical Mechanics

Writing

• “A Funny Thing Happened on the Way to the Future”
• My First Linux Computer — my XBox
• NuPRL Experience Report

Cooking

Books I’ve been cooking from:

• Washoku
• The Drinking Food of Thailand
• Mission Chinese Food Cookbook
• Land of Fish and Rice