speedy

6.2K posts

speedy banner
speedy

speedy

@______speedy

currently swe @mistralai | prev. co-founder of @jeannecompany (acquired) | prev. swe @waybackmachine

fy_pool_day Katılım Ekim 2014
475 Takip Edilen860 Takipçiler
speedy retweetledi
Mistral AI
Mistral AI@MistralAI·
🔊Introducing Voxtral TTS: our new frontier open-weight model for natural, expressive, and ultra-fast text-to-speech 🎭Realistic, emotionally expressive speech. 🌍Supports 9 languages and accurately captures diverse dialects. ⚡Very low latency for time-to-first-audio. 🔄Easily adaptable to new voices
English
104
452
3.3K
446.7K
speedy
speedy@______speedy·
@yureiren @BrooklynWoo l'occitanie est un bon contre exemple avec l'ariège, l'aude, le gard, l'hérault et les p-o qui sont des départements qui avoisinent tous les 19-21% de pauvreté mais généralement oui c'est corrélé
Français
0
0
2
139
speedy
speedy@______speedy·
@QuintuplePote grade marqué en toutes lettres sur son profil linkedin comme si c'était un trophée (il a 2 stagiaires en responsabilité directe)
Français
1
0
88
5.6K
svjri
svjri@sovajri_·
@gnukeith Hello, what’s the dDocs app please ?
English
1
0
4
253
Keith
Keith@gnukeith·
And they say privacy can’t be achieved on iPhones
Keith tweet media
English
185
81
1.8K
154.9K
speedy
speedy@______speedy·
@ptaranat the brain fog is the worst, once you get rid of it you’re unstoppable
English
0
0
1
19
Panat
Panat@ptaranat·
@______speedy just doing keto for a month has huge benefits for reducing inflammation. it was the most significant thing i tried post-covid that got rid of my brain fog. the field is nutritional psychiatry.
English
1
0
1
30
speedy
speedy@______speedy·
stopping all processed food, takeout, sugar, diet sodas decreasing carbs to a minimum amount and sugar intake close to 0 maxing fibers, omega-3, proteins and fermented food this is saving my life : sleep restored, no more brain fog, no more eye fatigue, no more bloating, +40IQ
English
3
0
3
151
speedy
speedy@______speedy·
you don't realize you're in a negative feedback loop until you break free from the said loop
English
0
0
0
57
speedy
speedy@______speedy·
basically I trained my body to malfunction : fast food broke my liver, sugar broke my insulin, insulin locked my fat, zero fiber broke my gut, my gut poisoned my liver more, my liver stopped absorbing nutrients, no nutrients killed my energy and no energy made me consume junk
English
1
0
0
74
speedy
speedy@______speedy·
tla+ and lean are insane tools for agentic coding and no one seems to realize it mistral formal math team cooked so hard with leanstral I'm afraid for my job
English
0
0
1
136
speedy
speedy@______speedy·
@Frenchiee Woups pas lu le blogpost j’en ai juste parlé en interne, je pense que ce agent first veut surtout dire que des agents peuvent l’utiliser pour superviser l’entraînement d’un modèle, pas pour se “renforcer” eux mêmes
Français
1
0
0
33
Frenchie 🇫🇷
Frenchie 🇫🇷@Frenchiee·
@______speedy Alors trop chaud d’avoir plus d’infos la dessus, j’ai vraiment regardé l’article attaché et c’était un des points ? Mais si tu as des précisions sur ce que tu dis je suis preneur 100% !
Frenchie 🇫🇷 tweet media
Français
1
0
0
141
Frenchie 🇫🇷
Frenchie 🇫🇷@Frenchiee·
Très cool cette annonce de Mistral au NVIDIA GTC 👀 ➡️ Forge, une plateforme pour que les entreprises entraînent leurs propres modèles IA from scratch, Sur leurs propres données internes. Ce que ça change concrètement : >les modèles IA actuels sont entraînés sur des données publiques. Les entreprises, elles, tournent sur de la connaissance interne. Forge viendrait combler ce gap >l'entreprise garde le contrôle total sur ses données et son modèle. GROS argument pour les secteurs régulés >c'est pensé agent-first : les agents IA peuvent utiliser Forge pour se fine-tuner eux-mêmes, trouver les bons paramètres, et générer de la data. Automatiquement. Ca parle de premiers partenaires comme : ASML (semi-conducteurs) Ericsson (telecom) L'Agence Spatiale Européenne LE bémol, on va dire : pour l'instant zéro benchmark public, zéro résultat chiffré, et/ou pricing. Et on voit Nvidia prendre aussi le pas de la sécurité ET de l'agentique avec Nemoclaw ce qui pourrait parler aux boites. Mais une boîte française qui joue à ce niveau là au GTC.. ça fait plaisir 🇫🇷
Mistral AI@MistralAI

Today, we’re introducing Forge, a system for enterprises to build frontier-grade AI models grounded in their proprietary knowledge. 🌎 Forge bridges the gap between generic AI and enterprise-specific needs. Instead of relying on broad, public data, organizations can train models that understand their internal context embedded within systems, workflows, and policies, aligning AI with their unique operations. We have already partnered with world-leading organizations, like ASML, DSO National Laboratories Singapore, Ericsson, European Space Agency, Home Team Science and Technology Agency (HTX) Singapore and Reply to train models on the proprietary data that powers their most complex systems and future-defining technologies.

Français
2
17
122
16K
George
George@georgecurtiss·
you’ve got to be fucking retarded to build your own database
English
84
5
752
65.3K
albina
albina@enjojoyy·
yes, this model has a very specific use case and it’s not ideal to compare it to a general usage model but imagine the world where you have multiple cheap models that are exceptionally good at one use case. your agent picks them based on a task it’s the world I’d like to see
albina@enjojoyy

Mistral just launched Leanstral, an open source model that beats Sonnet on a formal proof engineering benchmark at 3% of the cost $18 vs $549. same result. honestly Europe will be fine

English
5
2
24
2.2K
speedy retweetledi
Mistral AI for Developers
Mistral AI for Developers@MistralDevs·
🧮 Today, we release Leanstral - the first open-source code agent for Lean 4, an efficient proof assistant capable of expressing complex mathematical objects and software specifications.
Mistral AI for Developers tweet media
English
37
148
1.4K
156K
speedy retweetledi
celeste
celeste@vmfunc·
the full recording for my talk @UnderscoreTalk is available and translated! persona, the free internet, the age of agentic hackers, KYC, ID verification, and censorship
English
19
13
164
16.8K
speedy
speedy@______speedy·
@kathyyliao doesn’t change my point, Cloudflare is changing their position on crawling, again but more importantly this /crawl endpoint is some kind of fairy dust as, I assume, the fraction of websites behind CF that don’t have bot protection is ultra marginal
English
1
0
0
49