Tagged with

2 articles found

Your Code Has Bugs Leanstral 1.5 Can Prove It

Mistral’s Leanstral 1.5 is a 119B parameter formal verification model that already found 5 unknown bugs in real repos. Here’s how it works and why it matters.

#code correctness#formal verification#lean 4...

Coding Agent

Devstral 2’s Local Illusion: When 128GB Is the Price of ‘Open’ State-of-the-Art

Mistral’s Devstral 2 promises SOTA coding locally, but the reality is a hardware arms race where flagship performance demands flagship hardware. Unpacking the compromises behind the 24B ‘sweet spot’ and what 123B truly requires.

#Coding Agent#Devstral 2#Local LLM...