Generating *code* using a statistical prior about which token sequences are more likely is a fundamentally different task than generating *programs* by searching directly in the space of program dynamics

Syntactic constraints aren't enough. LLMs still make typing errors. This paper adds type-aware decoding using prefix automata built from a language's type system. Improves codegen, repair, and translation across multiple LLMs. Tested on TypeScript & HumanEval.

Test-Time inference is cool! But also a a bit of a shoehorn: models are usually trained to generate a correct answer first try. This naturally steers them away from trying out riskier responses, even when allowed multiple attempts. Enter multi-turn training! See the 🧵for more.

Some really great work from Carlo Pietro Marsella Ben Pan! Still a long horizon ahead for multi-turn agents :)

Cognition has signed a definitive agreement to acquire Windsurf. The acquisition includes Windsurf’s IP, product, trademark and brand, and strong business. Above all, it includes Windsurf’s world-class people, whom we’re privileged to welcome to our team. We are also honoring

Wave 12 is here, and it’s a big one! 📚 DeepWiki-powered docs for every symbol in your codebase 🔍 Vibe and Replace 🐛 100+ bugs squashed 🎨 Brand new UI … and more! Everything that’s new 🧵