Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@heiseonline@social.heise.de
2026-07-09 13:27:03

Robostral Navigate: Mistral veröffentlicht Einzelkamera-KI für die Roboter
Mistral AI stellt Robostral Navigate vor – ein 8B-Modell, das Roboter allein per RGB-Kamera und Sprachanweisung navigiert.

@stargazersmith@social.linux.pizza
2026-07-09 14:38:09

The JWST and the Mystery of Massive Quenched Galaxies in the Early Universe - Universe Today
The JWST and the Mystery of Massive Quenched Galaxies in the Early Universe - Universe Today universetoday.com/articles/the

I don't know why coffee juice is not available in the United States.
Fresh coffee beans are absolutely delicious.
(Very much ripe grape-ish character... EXTREMELY SWEET).
mastoreader.io/?url=https:%2

@chrisnelder@mastodon.energy
2026-07-10 20:35:57

@… As Zappa put it, "Look here brother, who you jivin' with that Cosmik Debris" cnn.com/2026/07/10/science/mys

@seeingwithsound@mas.to
2026-07-10 07:29:01

RE: mas.to/@seeingwithsound/116885
Don't lose your agency: mastering a foreign language is not easy nor intuitive, mastering a musical instrument is not easy nor intuitive, mastering anything substantial is not easy nor intuitive. …

@macandi@social.heise.de
2026-07-09 08:21:03

Beliebter Dropbox-Client für macOS vor dem Aus
Sam Schott, Maintainer von Maestral, gibt auf. Die App wird künftig nicht mehr entwickelt. Er selbst nutze Dropbox nicht mehr.
heise.d…

@heiseonline@social.heise.de
2026-05-11 04:19:01

Montag: Spekulationen um Forscher-Todesfälle, Apple-Chips bald auch von Intel
Statistische Normalität statt Muster Intels Vereinbarung mit Apple KI-Sorgen bei Microsoft-Investoren 20 Jahre ODF-Standard Podcast zu Elektroauto-Laden

@heiseonline@social.heise.de
2026-07-06 16:21:00

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.

@heiseonline@social.heise.de
2026-07-07 05:00:49

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

@heiseonline@social.heise.de
2026-08-06 13:45:03

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.