Head of Claude Code at Anthropic
Boris Cherny
Boris Cherny is the creator and head of Claude Code at Anthropic. His work focuses on AI coding tools, developer workflows, and software engineering.
About Boris Cherny
Boris Cherny is the creator of Claude Code and leads the product at Anthropic. Claude Code is an AI coding tool used in software development, including work on existing codebases and modernization projects.
He presents technical sessions about Claude Code's development and its use in engineering workflows. His personal writing also covers JavaScript, TypeScript, frontend engineering, and the practical work of building software.
Mentioned in our coverage
80 articles name Boris Cherny, excluding author credits.
Page 1 of 7
- Opus 5.5 Formalized CPython in Lean and Surfaced 418 Bugs →
On November 9, 2026 researchers published Formalizing CPython, a project that used Claude Opus 5.5 to translate CPython 3.15.2 into machine-checked Lean. After differential testing and two-agent review, 4,071 functions are accepted, 18,898 lemmas are checked, and 418 Python bug reports emerged—including dozens of crash-class issues reachable from normal code.
- Stanford CS146S and Monaco: Mihail Eric on Teaching AI-Native Engineering →
On Latent Space, Mihail Eric explains how Stanford CS146S The Modern Software Developer now assumes every student codes with agents, assigns open-source maintainer-reviewed patches, and pairs with Monaco engineering lessons: buy Devin to learn, build private agent workspaces, and use skills like explain-diff so juniors understand AI-written changes.
- Axiom Releases a 16M-Line Lean Formalization of the Stacks Project: What It Is and What Is Still Unreviewed →
On November 4, 2026, Axiom published an open Lean 4 formalization of the entire Stacks Project, about 16 million lines, much of it written by AI agents. The repo is Apache 2.0 and open to contributors.
- Cat Wu Leaves Anthropic: What Her Exit Means for Claude Code and Cowork →
Business Insider reports that Cat Wu, who led product for Claude Code and Cowork, left Anthropic on Friday and announced it on X on Tuesday. Anthropic confirmed the departure. Here is what is known, what is missing, and what builders should check.