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.

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

The JWST and the Mystery of Massive Quenched Galaxies in the Early Universe
With its ability to observe the red-shifted light from early galaxies, the JWST has revealed some surprises. Many massive galaxies in the early Universe had ceased star formation and were already quenched hundreds of millions of years sooner than thought. By examining their morphology, new research shows that mergers that were previously hidden from view are responsible.

@cdarwin@c.im
2026-08-10 14:43:45

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

Mystery spheres on beach are likely space debris that fell back to Earth
Metal spheres recently found on a beach in northern Queensland, Australia, draw attention to the worsening issue of space pollution.

@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…

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.

@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

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.

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

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.

@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.

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.