Evolving Programs

Connected bipartite graphs of degeneracy exactly r with ex(n,H) ≥ c·n^(2−1/r+1/(28r²)), refuting the Erdős–Simonovits degeneracy conjecture (Erdős problem #146) for every r ≥ 2, with the exact limits of the method. Machine-checked in Lean 4.

Schema-driven API client + auto-generated CLI

Prompt-cache and context-window management for AI SDK apps: cache breakpoint placement, Anthropic context edits, tool-result truncation with recovery, and usage/cost accounting.

Cache-rate harness for Vercel AI Gateway + Anthropic Opus 4.7. Measures what caching:'auto' leaves on the table.

Turing machines, Rule 110, and A::B reversal using Claude 3 Opus.

Markdown → LaTeX assembler for academic papers, in the legalese family. Short front-matter + pandoc-markdown body → arxiv-two-column .tex via the markdsl pipeline.

Markdown-DSL pipeline framework. Schema-driven values, prefix-dispatch markers, Pandoc AST walkers, and an in-source docx renderer.

Installable Claude plugin for generating signable .docx legal documents (agreements, assignments, NDAs, schedules) from markdown — pure-TS library + bundled CLI.