IDEAS, DECISIONS & LESSONS
Notes on AI, architecture and building useful products.
917 articles
09 Sep 2026 · 5 min read
ai
Anthropic's Claude produced a 13M-line, fully machine-verified Lean proof of Fermat's Last Theorem in 11 days via the open-source Prove2Me orchestrator. A Tech Lead's read on what the multi-agent coordination pattern behind it means for any team building long-horizon autonomous agents.
Read more09 Sep 2026 · 5 min read
agentic-ai
Anthropic's September Claude Code update quietly raised bashOutputMaxChars and taskOutputMaxChars to 128K and added a file-based subagent system prompt flag. A Tech Lead's read on why this unglamorous change matters more than most model announcements for anyone running fan-out subagent pipelines.
Read more08 Sep 2026 · 4 min read
ai-ml
Daily English practice for tech professionals. Morning session covering AI agent orchestration vocabulary with pronunciation guide, exercises, and real-world examples.
Read more07 Sep 2026 · 6 min read
ai-agents
A single Git performance setting, core.fsmonitor, lets a malicious repository run arbitrary code the moment an AI coding agent looks at it — before you've typed a prompt or clicked 'trust this folder.' A Tech Lead's breakdown of the exploit and the fix.
Read more07 Sep 2026 · 5 min read
ai
NVIDIA and Hugging Face published Open-SWE-Traces, SWE-Zero, and SWE-Hero — half a million open agent trajectories with tool calls, patches, and failure cases. A Tech Lead's guide to reusing this format for internal agent evals, not just model fine-tuning.
Read more07 Sep 2026 · 5 min read
ai
Nemotron 3 Ultra pairs Mamba state-space layers with transformer attention and a mixture-of-experts router to hit a 1M-token context at 5x the inference throughput of comparable dense models. A Tech Lead's read on the architecture and where it changes agent deployment math.
Read more07 Sep 2026 · 5 min read
adoption
OpenAI's internal per-researcher AI spend sat near zero through February 2026, then rocketed to roughly $600/day by late August — not from a mandate, but from a model that finally cleared the adoption bar. A Tech Lead's read on what the curve shape means for your own rollout.
Read more06 Sep 2026 · 4 min read
english-lesson
Daily English practice for tech professionals. Morning session reviewing the top 5 words and idioms from this week (breakpoint, quantize, throttle, elaborate, approachable) with pronunciation guide, exercises, and real-world examples.
Read more05 Sep 2026 · 5 min read
ai-agents
CrowdStrike shipped an identity provider built specifically for AI agents at Fal.Con 2026 — continuous, risk-aware authorization instead of static tokens. A technical lead's take on the pattern, and why it's different from the NHI advice everyone's already writing.
Read more
