Got curious, sign up, add money to account, try to use. Can't, it's a labs model. Fine, let's enable labs. Can't, unspecified error. Fine, lets contact customer support as instructed, can't no customer support, just a half-assed FAQ, that seems vibe-coded and searched poorly, totally irrelevant answers coming up for all queries tried. Then it hit me: If AI makes good customer support, then why does no AI company use…
Leanstral 1.5
41–50 of 158 posts
Re: Leanstral 1.5
#42Re: Leanstral 1.5
#43Real talk, does anyone use anything from Mistral because it performs the best, by whatever secular metric of your choosing? Or is it only used "because EU"? Just focus on answering the question. I wonder if anyone has observed it perform better on any objective metric in any rigorous setting.
I use it as my workhorse for coding and general chat questions, because it's good enough 80% of the time, and indeed it's french/european (with heavy US capital tho...). We complain too much about not having enough major competitors in the IT space, to not support a burgeoning one even if it's less powerful than SOTA labs
Re: Leanstral 1.5
#44Got curious, sign up, add money to account, try to use. Can't, it's a labs model. Fine, let's enable labs. Can't, unspecified error. Fine, lets contact customer support as instructed, can't no customer support, just a half-assed FAQ, that seems vibe-coded and searched poorly, totally irrelevant answers coming up for all queries tried. Then it hit me: If AI makes good customer support, then why does no AI company use…
It's "good" from the perspective of a company that's annoyed to have to spend money on actually fixing things.
Re: Leanstral 1.5
#45Earlier quoted context omitted.
Curry-Howard correspondence.
It may be theoretically possible, but is it ergonomic and useful? Do you use Lean for your programs?
Re: Leanstral 1.5
#46Re: Leanstral 1.5
#47Got curious, sign up, add money to account, try to use. Can't, it's a labs model. Fine, let's enable labs. Can't, unspecified error. Fine, lets contact customer support as instructed, can't no customer support, just a half-assed FAQ, that seems vibe-coded and searched poorly, totally irrelevant answers coming up for all queries tried. Then it hit me: If AI makes good customer support, then why does no AI company use…
Sample of two, but I'm assuming french companies don't like to being contacted n English.
Re: Leanstral 1.5
#48Real talk, does anyone use anything from Mistral because it performs the best, by whatever secular metric of your choosing? Or is it only used "because EU"? Just focus on answering the question. I wonder if anyone has observed it perform better on any objective metric in any rigorous setting.
For writing and languange learning it's very decent, especially Mistral Large. The pricing is very good too. I really like the consistently low time to first token and good token per second. Claude, especially in the past, would be very inconsistent, often with outages. Mistral mostly just always works and is very fast. Technical questions are unfortunately hit or miss. I'm lately pretty much always using a system pr…
I think its dumb.
Their support is hidden away in a chat bubble at the bottom. But they do respond promptly.
Its decent, but after switching to Google i wouldn't go back
Re: Leanstral 1.5
#49Got curious, sign up, add money to account, try to use. Can't, it's a labs model. Fine, let's enable labs. Can't, unspecified error. Fine, lets contact customer support as instructed, can't no customer support, just a half-assed FAQ, that seems vibe-coded and searched poorly, totally irrelevant answers coming up for all queries tried. Then it hit me: If AI makes good customer support, then why does no AI company use…
Re: Leanstral 1.5
#50Real talk, does anyone use anything from Mistral because it performs the best, by whatever secular metric of your choosing? Or is it only used "because EU"? Just focus on answering the question. I wonder if anyone has observed it perform better on any objective metric in any rigorous setting.
OCR is off the charts good on every metric you can think of. LLMs are a near-afterthought at this point if you don’t have data residency requirements. I love them and they’re slightly under rated, their models are consistently well-trained, open, but as you note, behind. There is no metric that will say they’re ahead in anything.