Blog

What is that scarf?
If you meet me in person, you might notice that I’m carrying around one of these knitting projects. Both projects bear patterns that are imbued with deeper mathematical stories.
... 
Reflections on Pilot’s Series B
Pilot, the startup I work at, announced our Series B today.
This is really exciting for me. I’ve been here for a little over a year and a...

Reversible computing, and a puzzle
If you’ve seen my other posts, you probably already know that I am a sucker for good visual notations. Some of my favorites include circuitry for lambda calculus...

Programming Languages as Notations, Deconstruct 2017
Last April, I attended
GaryConfWATCONDeconstruct 2017, got to listen to some excellent speakers, and enjoyed the opportunity to give a talk of my own:... 
A circuitlike notation for lambda calculus
Lately, I’ve been playing around with inventing a visual writing system for lambda calculus.
Lambda calculus (λcalculus) is a sort of protofunctionalprogramming, originally invented by Alonzo Church while...

Schrödinger's deploys no more: how we update translations
Crossposted from the Khan Academy engineering blog.
If you’re trying to bring the best learning experience to people around the world, it’s important to, well, think about the...

Modeling Molecules with Recurrent Neural Networks
I enjoyed reading Andrej Karpathy’s The Unreasonable Effectiveness of Recurrent Neural Networks lately – it’s got some fascinating examples and some good explanations. I’ve been playing around with...

Transliterating Tengwar
175#8j1T7F1Eb% 1b$y6E
Tengwar is a writing system invented by J.R.R. Tolkien for use...