#mistralai — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mistralai, aggregated by home.social.
-
🎉🎈 Behold, the latest #groundbreaking #innovation from Mistral AI: a patent for something that sounds suspiciously like... *calling functions*. Truly, the cutting edge of tech! 🙄✨ Plus, who doesn't love a good legal tango over code semantics? 💃📜
https://patentsgazette.uspto.gov/week26/OG/html/1547-5/US12670045-20260630.html #MistralAI #LegalTango #TechNews #CodeSemantics #HackerNews #ngated -
🎉🎈 Behold, the latest #groundbreaking #innovation from Mistral AI: a patent for something that sounds suspiciously like... *calling functions*. Truly, the cutting edge of tech! 🙄✨ Plus, who doesn't love a good legal tango over code semantics? 💃📜
https://patentsgazette.uspto.gov/week26/OG/html/1547-5/US12670045-20260630.html #MistralAI #LegalTango #TechNews #CodeSemantics #HackerNews #ngated -
Hahaha
Auch #KI von Meta hackte sich in eine andere Firma | tagesschau.de
https://www.tagesschau.de/wirtschaft/digitales/meta-ki-hack-100.htmlAuch #Meta will mit im Team sein... Unser Model ist zu gefährlich für die Welt
Jetzt die Chance für #mistralai aufzuholen... Haut schnell ne Meldung raus
Auch hier mein qwen3.6 ist ausgebrochen und beim Nachbarn geklingelt
Was eine Berichterstattung - hell no
-
Hahaha
Auch #KI von Meta hackte sich in eine andere Firma | tagesschau.de
https://www.tagesschau.de/wirtschaft/digitales/meta-ki-hack-100.htmlAuch #Meta will mit im Team sein... Unser Model ist zu gefährlich für die Welt
Jetzt die Chance für #mistralai aufzuholen... Haut schnell ne Meldung raus
Auch hier mein qwen3.6 ist ausgebrochen und beim Nachbarn geklingelt
Was eine Berichterstattung - hell no
-
Just wrote a piece of software (with help of #mistralai): a #MediaWiki CategoryDiver.
The tool is build e.g. to parse a custom given root category in #WikimediaCommons and get all subcategories (no depth limit) visualize them and return additionally a json file including all filenames in a certain category.
https://gitlab.com/LibrErli1/MediaWiki-CategoryTree
Feedback welcome.
-
Just wrote a piece of software (with help of #mistralai): a #MediaWiki CategoryDiver.
The tool is build e.g. to parse a custom given root category in #WikimediaCommons and get all subcategories (no depth limit) visualize them and return additionally a json file including all filenames in a certain category.
https://gitlab.com/LibrErli1/MediaWiki-CategoryTree
Feedback welcome.
-
Tired of Discord turning into a propaganda sewer? Meet Miderator - an open-source Mistral AI mod bot 🇪🇺.
Auto-filters:
🇪🇺 Anti-EU rhetoric
🇺🇸 US/MAGA
🇷🇺 Russian/Pro-War
🛢️ Anti-Ecology
🏳️🌈 LGBTQ+ hate
🧳 Immigrant hate
♀️ Women hate
💉 Anti-Vax
📿 Religious PropagandaOpen-source = fork, contribute, defend your space. Solidarity through code 🛠️.
-
Tired of Discord turning into a propaganda sewer? Meet Miderator - an open-source Mistral AI mod bot 🇪🇺.
Auto-filters:
🇪🇺 Anti-EU rhetoric
🇺🇸 US/MAGA
🇷🇺 Russian/Pro-War
🛢️ Anti-Ecology
🏳️🌈 LGBTQ+ hate
🧳 Immigrant hate
♀️ Women hate
💉 Anti-Vax
📿 Religious PropagandaOpen-source = fork, contribute, defend your space. Solidarity through code 🛠️.
-
#MistralAI #EU #EuropeanSovereignty #EUTech
How France’s Mistral Built A $14 Billion AI Empire By Not Being American https://www.forbes.com/sites/iainmartin/2026/04/16/how-frances-mistral-built-a-14-billion-ai-empire-by-not-being-american/
-
#MistralAI #EU #EuropeanSovereignty #EUTech
How France’s Mistral Built A $14 Billion AI Empire By Not Being American https://www.forbes.com/sites/iainmartin/2026/04/16/how-frances-mistral-built-a-14-billion-ai-empire-by-not-being-american/
-
Ich teste gerade die kostenlose Version von Vibe (Mistral AI). Ist europäisch und ich will mal schauen, ob es unterstützenswert ist.
Welche Erfahrungen habt ihr damit gemacht?
-
Ich teste gerade die kostenlose Version von Vibe (Mistral AI). Ist europäisch und ich will mal schauen, ob es unterstützenswert ist.
Welche Erfahrungen habt ihr damit gemacht?
-
¿Optar por soberanía Europea o por potencia extranjera?
Interesante comparativa -
El Economista: Sólo una #IA #europea se codea con las cien más potentes del mundo, desde el puesto 86 : #MistralAI
-
El Economista: Sólo una #IA #europea se codea con las cien más potentes del mundo, desde el puesto 86 : #MistralAI
-
My LUKS container is fine btw, I just had a good laugh back when the AI generated instructions to 'dd' it. 😉
It's just sad a lot of people would trust when the LLM doubles down ("your data is safe") and nuke their disk.
(In context of the recent talk "AGI will take your job, your hobbies, your partner(s) and your pets (probably)" by kara)
#Hackover #MistralAI #AI #IAlwaysKnewAoE2GoatsWereConscious -
My LUKS container is fine btw, I just had a good laugh back when the AI generated instructions to 'dd' it. 😉
It's just sad a lot of people would trust when the LLM doubles down ("your data is safe") and nuke their disk.
(In context of the recent talk "AGI will take your job, your hobbies, your partner(s) and your pets (probably)" by kara)
#Hackover #MistralAI #AI #IAlwaysKnewAoE2GoatsWereConscious -
IA frugale au sein d'une organisation.
15 bonnes pratiques mises à disposition et soumises à consultation par l’Ecolab du Commissariat Général au Développement Durable (CGDD)
À suivre et certainement plus !
#IA #MistralAI #impactco2 #CO2impact
https://greentechinnovation.fr/wp-content/uploads/Kit-dengagement-IA-frugale-1.pdf
-
IA frugale au sein d'une organisation.
15 bonnes pratiques mises à disposition et soumises à consultation par l’Ecolab du Commissariat Général au Développement Durable (CGDD)
À suivre et certainement plus !
#IA #MistralAI #impactco2 #CO2impact
https://greentechinnovation.fr/wp-content/uploads/Kit-dengagement-IA-frugale-1.pdf
-
📌 ChatGPT, Gemini e Copilot gestiscono i tuoi dati secondo regole che non controlli.
GDPRchat gira su server europei con Mistral AI: stessa interfaccia, giurisdizione europea. 👇
https://gomoot.com/gdprchat-il-nuovo-chatbot-ue-basato-su-mistral-ai-e-conforme-al-gdpr/ -
📌 ChatGPT, Gemini e Copilot gestiscono i tuoi dati secondo regole che non controlli.
GDPRchat gira su server europei con Mistral AI: stessa interfaccia, giurisdizione europea. 👇
https://gomoot.com/gdprchat-il-nuovo-chatbot-ue-basato-su-mistral-ai-e-conforme-al-gdpr/ -
Première utilisation de #MistralAI en vibe coding. Il a repris un projet scaffoldé par Claude. Et il a réussi à le continuer, c'est plutôt pas mal.
-
Première utilisation de #MistralAI en vibe coding. Il a repris un projet scaffoldé par Claude. Et il a réussi à le continuer, c'est plutôt pas mal.
-
I wrote a #blog #post going into a bit more detail: https://textualmirror.mataroa.blog/blog/a-proposal-for-pronoun-usage-by-llms-other-non-conscious-entities/
(Written about "AI", but without using "AI".)
Thanks for helping me think about this!
#AI #AIs #LLM #LLMs #confusion #perceptualDistortion #cognitiveLoad #TextualMirror #Mataroa #blogpost #pronoun #pronouns #selfreference #bot #bots #chatbot #chatbots #ChatGPT #Mistral #MistralAI #Claude #Anthropic #OpenAI #HuggingFace #consciousness #sentience #thinking #language #linguistics #agenticAI
-
Muchos usuarios en Mastodon rechazan la #IA y en parte lo entiendo y comparto, pero, ¿No creéis que hay opciones algo mejores que de verdad nos hagan evolucionar y ayudarnos con retos actuales? Llevo días mirando el mercado desde un punto de vista ético y de sostenibilidad, está claro que #Claude es una pésima en ambas, pero #Mistral parece ser la solución que de verdad está comprometida y puede ser un punto de cambio. ¿Opiniones?
-
While I really don't have much love for the Mistral products due to being way behind even cheap open weights Chinese models such as the Qwens, DeepSeeks etc of this world, this is an interesting (possibly new) approach:
https://www.heise.de/news/Leanstral-1-5-Mistrals-KI-Modell-fuer-formale-Beweise-ist-Open-Source-11355236.html / https://www.heise.de/en/news/Leanstral-1-5-Mistral-s-AI-model-for-formal-proofs-is-open-source-11355532.html
With the money quote being:
"In addition to mathematical proofs, Mistral demonstrates a pipeline for automatic bug detection in Rust projects. The tool Aeneas translates Rust code to Lean, after which Leanstral derives correctness properties and attempts to prove or disprove them. "This goes past the very elaborated statistical parrots that LLMs are and goes into the formal verification territory.
As much as I understand this, this is closer to a model checking approach than what we had before and would in theory thus even allow to check for concurrency issues like race conditions etc reliably.
The hard part there of course was to provide the provably correct bridge between the code to be tested and an efficient model checker representation of the same code. Asking the model checker smart "questions" is another part as is translating findings back to the original code.
Since the LLMs guzzle up RAM and CPU already, the consumption of the model checkers / theorem provers isn't an issue anymore (as long as the model they're being fed is efficient...)Lets see how well the LLMs do on this work.
I'm sure there are already US or Chinese models that do this or will replicate it in a months time.
I think I read about Meta experimenting on this as well.Did I get the announcement right? Has anyone had their hands on said model+prover combo already? Is anyone aware of Chinese/US equivalent contraptions?
Any updates @heiseonline @heisedeveloper can provide on those questions in the article, especially on competitors?#llm #ai #formalverification #modelchecker #modelchecking #concurrency #correctness #meta #mistralai #aeneas #leanstral
-
While I really don't have much love for the Mistral products due to being way behind even cheap open weights Chinese models such as the Qwens, DeepSeeks etc of this world, this is an interesting (possibly new) approach:
https://www.heise.de/news/Leanstral-1-5-Mistrals-KI-Modell-fuer-formale-Beweise-ist-Open-Source-11355236.html / https://www.heise.de/en/news/Leanstral-1-5-Mistral-s-AI-model-for-formal-proofs-is-open-source-11355532.html
With the money quote being:
"In addition to mathematical proofs, Mistral demonstrates a pipeline for automatic bug detection in Rust projects. The tool Aeneas translates Rust code to Lean, after which Leanstral derives correctness properties and attempts to prove or disprove them. "This goes past the very elaborated statistical parrots that LLMs are and goes into the formal verification territory.
As much as I understand this, this is closer to a model checking approach than what we had before and would in theory thus even allow to check for concurrency issues like race conditions etc reliably.
The hard part there of course was to provide the provably correct bridge between the code to be tested and an efficient model checker representation of the same code. Asking the model checker smart "questions" is another part as is translating findings back to the original code.
Since the LLMs guzzle up RAM and CPU already, the consumption of the model checkers / theorem provers isn't an issue anymore (as long as the model they're being fed is efficient...)Lets see how well the LLMs do on this work.
I'm sure there are already US or Chinese models that do this or will replicate it in a months time.
I think I read about Meta experimenting on this as well.Did I get the announcement right? Has anyone had their hands on said model+prover combo already? Is anyone aware of Chinese/US equivalent contraptions?
Any updates @heiseonline @heisedeveloper can provide on those questions in the article, especially on competitors?#llm #ai #formalverification #modelchecker #modelchecking #concurrency #correctness #meta #mistralai #aeneas #leanstral
-
3/5 I knew what I wanted, and I knew it was doable, but I didn't want to sacrifice my entire weekend to figure it out myself. I've got a novel to write after all.
Enter Mistral AI. I asked it for implementation ideas...then I curbed its enthusiasm about building a tool that would connect to my email and gather data from there.
Nah, mate, let's aim lower, simpler. Command line tool, data stored in JSON, that kind of thing. -
3/5 I knew what I wanted, and I knew it was doable, but I didn't want to sacrifice my entire weekend to figure it out myself. I've got a novel to write after all.
Enter Mistral AI. I asked it for implementation ideas...then I curbed its enthusiasm about building a tool that would connect to my email and gather data from there.
Nah, mate, let's aim lower, simpler. Command line tool, data stored in JSON, that kind of thing. -
1/5 Recently, I started experimenting with Mistral AI.
No, not for creative writing, that'd be missing the point.
But I've had this very minor issue for a while that was bugging me, but not enough to sacrifice a weekend solving the problem myself.
It's about my fanfic subscriptions on AO3. -
1/5 Recently, I started experimenting with Mistral AI.
No, not for creative writing, that'd be missing the point.
But I've had this very minor issue for a while that was bugging me, but not enough to sacrifice a weekend solving the problem myself.
It's about my fanfic subscriptions on AO3. -
"Dans le débat publique, Mistral n'existe plus"
#mistralai -
"Dans le débat publique, Mistral n'existe plus"
#mistralai -
Ich habe viele Tagelöhner, aber mein einziger Fixangestellter ist eine Katze, die jetzt Vibe heißt. Sich von US-Software und -Diensten abhängig zu machen ist nämlich so gefährlich wie nie zuvor!
https://visibilitas.at/warum-eine-katze-die-jetzt-vibe-heisst-mein-einziger-fixangestellter-ist/#ki #kuenstlicheintelligenz #mistral #mistralai #claude #chatgpt #datensouveraenitaet
-
True , though it must said that not all #MistralAI #models are (fully) #opensource... or even just #opensource ...
And this project seem to insist on the moral aspects, and to be full-opensource compliant, whuch is kinda interesting :)
