topic · 2 notes
Developer Tooling, as it ships.
Engineering notes on Developer Tooling by Samir Sengupta - each one read from primary sources on the day it happened, with what it changes for people building on it.
Claude Code AGENTS.md support and precedence in version 2.1.277
Claude Code 2.1.277 (18 Sep 2026) reads AGENTS.md only where no CLAUDE.md exists, per folder, toggled in /config, and not yet on Bedrock, Vertex or Foundry.
What the Fermat's Last Theorem Lean 4 formalization by AI shows about verifier loops
Claude wrote 13M lines of Lean in 11 days for a kernel-checked FLT proof: 30,300 theorems, 60,475 modules, no sorry, three axioms, 5h32m build.
Hiring for AI or ML?
I am open to AI/ML Engineering, Data Science, and Python roles, plus research collaborations and consulting. New York based, shipping worldwide.