Research Engineer & Computer Scientist specializing in Machine Learning, Statistical Computing, and Open Source Development
Proving that no object beats a bound is often far harder for a SAT solver than finding one that meets it. The usual reason is symmetry. Here is a cheap, standard fix, watched as it turns a seven-day timeout into 27 minutes, and then watched as it fails.
The series closes by restating the codes-as-priors thesis across all twelve instances and connecting the wire-format side to the Stepanov type-algebra side.
A tiny LLM in the browser, mixed at sample time with a token-level n-gram trained on every word I have published. Result is mediocre. Architecture is interesting. Notes on what worked, what didn't, and what would make it work.
Your reader's words evaporate while your writer's words endure. Markdown won the durability war by being boring. Every time we add interactivity, we drag back the database, and durability dies. There's a missing primitive: writes that are as durable …
Codecs are not ad-hoc bit formats. They are constructions on the algebraic structure of types.
Prefix-freeness is the property that lifts the free-monoid construction into bit space.
I tried closing the loop on retrieval-augmented generation with TD learning. A trivial baseline matched the full method. Here's the lesson.
Chollet says the intelligence ball is near-optimal. NFL says the bound is niche-specific. The bottleneck that makes us smart is the same bottleneck that prevents us from grokking what we build.
Every data silo follows the same architecture: domain files as ground truth, SQLite + FTS5 as a read-only cache, MCP as the query interface. After building five of these, the pattern is clear.
Universal personal data format. JSONL in, SQL out, SQL back to JSONL. One format, one database, one query interface.
Conversation knowledge base with enrichments, provenance tracking, and MCP server
Patient-facing tool for consolidating personal health data from multiple EHR systems into a single SQLite database
Philosophy and tool for durable personal archives — validate, query, and build browsable single-file sites
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 …