Tootfinder

Drei Milliarden für Mistral: Europas KI-Hoffnung will zur Spitze aufschließen
Mit drei Milliarden Euro will Mistral wieder leistungsfähigere Modelle trainieren und seine Rolle als europäischer KI-Infrastrukturanbieter ausbauen.

Drei Milliarden für Mistral: Europas KI-Hoffnung will zur Spitze aufschließen
Mit drei Milliarden Euro will Mistral wieder leistungsfähigere Modelle trainieren und seine Rolle als europäischer KI-Infrastrukturanbieter ausbauen.

Mistral raised a €3B Series D led by Samsung at a €21B valuation, up from €11.7B a year ago, as it expands into data centers beyond developing AI models (Adam Satariano/New York Times)
https://www.nytimes.com/2026/09/08/business/mistral-ai-fund-raising.html

French A.I. Start-Up Mistral Raises $3.5 Billion as Part of Strategy Shift
Mistral is trying to keep pace with American and Chinese rivals while offering customers a European alternative for artificial intelligence.

from my link log —
B-tree path hints.
https://github.com/tidwall/btree/blob/master/PATH_HINT.md
saved 2021-07-30 https://

btree/PATH_HINT.md at master · tidwall/btree
B-tree implementation for Go. Contribute to tidwall/btree development by creating an account on GitHub.

totally forgot that I have a #ByteStash instance running ...
https://bytestash.mxhdr.net/public/snippets

Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source
Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.

Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source
Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.

Parker Solar Probe Observations of Dust Mass and Charge Densities and Their Impact on Kinetic Alfvén Wave Dynamics in Solar Coronal Heating: #SolarCorona heating, opening new field in heliophysics: https://www.uah.edu/news/items/uah-researcher-finds-cosmic-dust-could-play-key-role-cracking-long-standing-mystery-solar-corona-heating-opening-new-field-heliophysics

Mistral veröffentlicht Modell mit neuer Technik für Sicherheitsklassifikationen
Mistrals Shieldstral klassifiziert die Sicherheit von KI-Inhalten mithilfe einer neuen Herangehensweise. Sie soll sich flexibel an veränderte Kontexte anpassen.

Mistral veröffentlicht Modell mit neuer Technik für Sicherheitsklassifikationen
Mistrals Shieldstral klassifiziert die Sicherheit von KI-Inhalten mithilfe einer neuen Herangehensweise. Sie soll sich flexibel an veränderte Kontexte anpassen.

Mistral launches Robostral Navigate, a hardware-agnostic robotics navigation model trained via simulation that utilizes a single camera and language prompts (Benoit Berthelot/Bloomberg)
https://www.bloomberg.com/news/articles/20

Einige der zuletzt hier besonders häufig geteilten #News:
Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source

Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe
Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.

Zahlen, bitte! Der 52-Hertz-Wal – Einsamster Meeressäuger der Welt?
Kreuzung oder Anomalie? Ein mysteriöser Walgesang fasziniert die Forschung: Der Wal singt so hoch, dass er sich deutlich von anderen unterscheidet.

Zahlen, bitte! Der 52-Hertz-Wal – Einsamster Meeressäuger der Welt?
Kreuzung oder Anomalie? Ein mysteriöser Walgesang fasziniert die Forschung: Der Wal singt so hoch, dass er sich deutlich von anderen unterscheidet.