Watch an LLM Think
How Monte Carlo Tree Search turns single-pass reasoning into a branching exploration of ideas.
An Explorable Explanation
...Read more →What You Assume vs. What You Compute
Part 4 of What Your RL Algorithm Actually Assumes — model-based vs. model-free, the assumptions table, AIXI as the incomputable ideal, and the unifying claim: representation is prior is assumption.
The Architecture Is the Prior
Part 3 of What Your RL Algorithm Actually Assumes — the architecture decides what kind of features can be learned, and that decision is a Bayesian prior over value functions.
The Features You Choose Are the Assumptions You Make
Part 2 of What Your RL Algorithm Actually Assumes — how hand-crafted features compress the state space, and what you're betting on when you pick them.
Superintelligence May Not Require a Breakthrough
The most dramatic possibility in AI might arrive through the most mundane mechanism. Not a beam of sacred light. A sufficiently good build system.
The Infinite Table
Part 1 of What Your RL Algorithm Actually Assumes — tabular Q-learning makes zero assumptions about state similarity and pays for it in sample complexity.
Free Algebras: Why Lists and Polynomials Are Universal
The free monoid on a set is the type of lists over that set. The universal property says fold is the unique homomorphism from lists to any monoid. This explains why lists, multisets, and polynomials appear everywhere.
Homomorphisms: The Maps Between Structures
A homomorphism preserves structure. fold is the universal homomorphism from the free monoid. This is the algebraic reason that fold, evaluation, and parallelism work.
Lattices: Fixed Points and Iteration
A lattice has two operations, meet and join, satisfying absorption laws. Tarski's theorem gives a generic fixed-point algorithm. Lattice structure determines the iteration, just as monoid structure determines power-by-squaring.
Research Papers
View All Papers →Featured Projects
View All →arkiv
Universal personal data format. JSONL in, SQL out, SQL back to JSONL. One format, one database, one query interface.
memex
Conversation knowledge base with enrichments, provenance tracking, and MCP server
chartfold
Patient-facing tool for consolidating personal health data from multiple EHR systems into a single SQLite database
longecho
Philosophy and tool for durable personal archives — validate, query, and build browsable single-file sites
clerk
clerk A thin CLI for LLM agents to interact with email via IMAP/SMTP. Philosophy Clerk is intentionally dumb. It’s a bridge, not a brain. …
CLI tool for cross-posting content to multiple platforms including dev.to, Bluesky, Mastodon, Hashnode, Medium, and more. Supports markdown with …