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.

@fanf@mendeddrum.org
2026-08-08 11:42:02

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

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

@Techmeme@techhub.social
2026-07-08 14:50:51

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

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

@thijs_lucas@norden.social
2026-06-08 09:38:40

RE: chaos.social/@andre_meister/11
Wir müssen die Bevölkerung kleinteilig überwachen und durchleuchten, damit wir Kinder schützen können… die gleichen Leute:

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

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