Live: Claude Code Opus 4.6 builds a FastAPI project. Even with good prompts, quality lands at 6772. Not because the agent can't do better — but because without a sensor, it doesn't know what to ...
The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...