Alok's blog

I have grown up in the Bay area.

Opera night.

In 2016, in August, I went to China.

I spent a decent fraction of today trying to explain to Scott Sumner that an analogy is like a functor, or like a functor is like the idealization of an analogy.

Clear the way or I’ll cut your eyes out and feed them to the gulls.

The day you say you don’t have it in you to write, or to do whatever is demanded of you, is a day you’ll be very, very different.

The boy was so afraid.

He felt swollen like a tick, head and gut.

kairos. it’s what i’ve considering naming any future son. my daughter will be seraphina thanks to brian jacques. kairos is the gap in the armor, the shuttle in the loom, the kink in the knot, the separation in the closing. it sounds like a christian name…

Proposal: implement https://www.arena.education/ in Lean.