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.

@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

@kexpmusicbot@mastodonapp.uk
2026-05-09 03:54:56

🇺🇦 #NowPlaying on KEXP's #Continent
Mukhtar Ramadan Iidi:
🎵 Baayo
#MukhtarRamadanIidi
open.spotify.com/track/6W9xwGl

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

@jkohlmann@mastodon.social
2026-07-09 13:47:56

The “[Don’t Invent] The Torment Nexus” meme / parable, but for Audre Lorde’s “The Master’s Tools Will [Never] Dismantle the Master’s House” // @…

@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-05-08 15:57:00

Internetsperre treibt Iraner in Arme einheimischer Angebote
Seit Kriegsbeginn hat die Bevölkerung im Iran keinen Zugriff auf das weltweite Internet. Viele weichen auf Alternativen aus, denen sie misstrauen.

Internetsperre treibt Iraner in Arme einheimischer Angebote
Seit Kriegsbeginn hat die Bevölkerung im Iran keinen Zugriff auf das weltweite Internet. Viele weichen auf Alternativen aus, denen sie misstrauen.

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