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

@Mediagazer@mstdn.social
2026-04-09 16:26:04

Prime Video offers Masters Tournament coverage for the first time, with two hours of live broadcasts Thursday and Friday plus feeds from "Amen Corner" and more (Stephen Battaglio/Los Angeles Times)
sports.yahoo.com/articles/mast

@NFL@darktundra.xyz
2026-04-09 13:41:03

Teeing up start of 2026 Masters; post-pro day NFL mock draft; BYU star enters transfer portal

cbssports.com/golf/news/master

@azonenberg@ioc.exchange
2026-04-09 21:43:24

References to specific paragraphs and clauses of IEEE 802.3 is a perfectly normal thing to find in a GLSL shader, right?
Just normal shader developers doing normal shader things.
github.com/ngscopeclient/scope

@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

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