Ink
Things I've written.
Why I Still Use a Terminal
A defense of the command line in an age of GUIs.
Binary Search Invariants: A Formal Treatment
Proving correctness of binary search through loop invariants.
On Reading Slowly
Why I gave up speed-reading and learned to savor the page.
Notes on Focus
A few scattered observations on attention and distraction.
On Writing in Public
Why I publish half-formed thoughts and drafts.