Blog

Essays on working with large language models — the tools, the process, and the questions that follow.

• Thoughts on Working with LLMs — general workflow lessons from fiction, vibe coding, academic papers, and Lean

• Writing Fiction with LLMs — what I learned writing twelve short stories, two novellas, and a novel-scale rewrite

• Who Wrote This? — on authorship when humans and AI collaborate

• The Lean Project — formalizing the C++ standard library in Lean 4, and the Lean Manifests machinery that came out of it

• Lean Manifests — separate what a module claims from how each claim is established; evidence levels the compiler enforces