Notes
Longer explanations, mathematical readings, and implementation notes.
An introductory overview of how category theory concepts can be applied to artificial intelligence.
A worked path through Seely's 2-categorical lambda calculus: from one term with two beta reductions to interchange, laxity, and the adjunction between currying and uncurrying.
A story-driven tour of new papers and benchmarks—plus what actually moved the needle in my pipelines, with links and practical takeaways.
How to wrap language models with tools, memory, and guardrails so they can pursue goals safely.
Practical design choices and evaluation tactics that make retrieval-augmented generation reliable.
Why I built this site and how it’s organized.