TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
Why I’m not letting the juniors use GenAI for coding
lukeplant.me.uk·6d
Reverse engineering some updates to Claude
simonwillison.net·1d
Deep Think in the Gemini app
simonwillison.net·7h
Loading...Loading more...