Sitemap

Quick links to the public pages and posts on this site. Machines can use the XML sitemap.

Pages

Posts

My Codex CLI is sufferably slow, switching to IPv4 solved it May 11, 2026
Can LLMs tell if a Lean 4 statement is faithful to a natural-language statement? May 9, 2026
Agent Murphy March 4, 2026
Let's talk about reward and value December 9, 2025
What is the architecture of an ideal agent? November 22, 2025