AI Tools Introduction to Lean for Programmers Intro to proof assistants who transitioned into data science, and I work daily with machine learning algorithms. I’m fascinated both…
Chatbots Claude Code’s product lead talks usage limits, transparency, and the “lean harness” We don’t find that it makes a measurable improvement in performance, but we’ve designed Claude Code to be extensible enough…
