#leanstral — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #leanstral, aggregated by home.social.
-
How it's going #leanstral #lean #mistral
Look how it is offering to prove Fermat's last theorem!
-
Habe heute entdeckt, dass in der Fakultät ein bisher ungenutzter Server mit 2x NVIDIA V100 32GB stand. Und nach einem Treiberupdate lief darauf auch das #leanstral Modell mit vernünftiger Geschwindigkeit.
Habe jetzt die 4-Bit Quantisierung genommen und dann passt es mehr oder weniger in den VRAM. Die Kiste hat 1TB normalen RAM, also kein Problem hier.
Bin gespannt, was das kann!
-
Le #français #MistralAI dévoile #Small4, #Leanstral et #Forge : ce qu’il faut retenir des annonces
https://www.blogdumoderateur.com/mistral-ai-devoile-small-4-leanstral-forge/
-
🚀✨ Breaking news: #Mistral launches #Leanstral, the "trustworthy" #vibecoding foundation that promises to eliminate the pesky human review process for AI-generated code... because who needs quality assurance when you've got "vibes"? 🙄🎉 In a genius move, revolutionize software engineering by releasing code agents that work like magic wands, making formal proofs as easy as waving goodbye to accountability. 🚀😜
https://mistral.ai/news/leanstral #AIcode #SoftwareEngineering #HackerNews #ngated