About
I’m an engineer and researcher interested in a variety of subjects related to math, computer science, economics, etc.
Intent
My intent is for this blog to be a compendium of:
Writings about books, papers or small side projects that I undertake for the purpose of learning, in the hope that my distillations will be useful to others (generally marked “Exposition”).
Widgets that I build in the course of those investigations (code will generally be shared, but use it at your own risk).
Writing about any insights or ideas that I may have related to my interests (generally marked “Research” or “Speculation”).
Subject Areas
I’ll try to keep everything roughly organized by subject, ideally in some sort of pedagogical ordering.
- ML Engineering
- Vector Search
- Reasoning
- E-Graphs
- Proof Assistant
- Essays
Disclaimer
All code and information on this blog is subject to error. Use at your own risk.
Errors
Please let me know if you see any errors.