I received the same email, although couldn’t quite figure out which retiring model I was still using, as I thought I’d already transitioned to Mistral-Medium-3.5 for everything. Anyway, after receiving the email, my hope was that it meant they were also planning on releasing some new, improved models in the next months.
Make sure the specifications can’t fail by verifying them for correctness.
Something like TLA+[1] and Quint[2] specifications can be verified for correctness using Apalache[3]. Then test the Rust code against the specifications using quint_connect.[4]
I was a Mistral Le Chat Pro subscriber (the €20/month plan). Yesterday I hit my monthly limit. Switching to PAYG I burned through another €40 in one evening, working on the same project, with the same tasks.
I upgraded my plan last night to Mistral Le Chat Teams. This now costs me €60 per month for two users. Limits have been reset, but I have no idea now if my per seat limit is higher than the Pro plan, or if the limit is shared between the seats, it’s really not clear. I guess I will find out next month. The limits reset on the first of the month and I really hope I don’t hit them in the next seven days.
I use Mistral Vibe CLI and I’ve written and implemented a couple of new skills[1]. Caveman, based on an idea I found online somewhere, this skill removes all extraneous response text, including articles. Makes for some fun reading, but supposedly reduces output tokens significantly. Hash-anchors, this one is based on a concept from Dirac[2], reduces search failures and also includes multi-file dispatch. It will be hard to measure, but Vibe tells me these two should result in roughly a 40% reduction in token burn.
It's generally inconsistent. The first sentence is written, "A co-op is an economic system built on the simple idea that coordinating the economic activity..."
Co-op is correct here, but not in the title (Coop). Probably personal taste, but I'd also like to see hyphentation for "co-ordinating", "co-operate" and "co-ordinator" as well.
Then I noticed the em-dashes, so perhaps I'm reading the machine's work anyway.
I don't use the numpad characters, but I have tried Vibe, Goose (GUI and CLI), Dirac and the built in agent in Zed for vibe coding. I keep coming back to Mistral's Vibe. I actually find the ergonomics of it nicer than the others I've used so far. I really wanted to like Goose, and their GUI offering is OK for chat, but I thought their CLI was poor. Dirac was OK and I should try it again to be fair. Zed was just overkill and complex for what I needed. Vibe CLI seems to hit the sweet spot, although it's not perfect. The challenges I encounter are mostly down to API errors though and sometime bash tooling. I could configure it better for that, if I took the time (which I should).
reply