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.

@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

The Masters is Amazon Prime's next test in live sports
Prime Video is carrying early round coverage of golf's most prestigious event on Thursday and Friday.

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

Teeing up start of 2026 Masters; post-pro day NFL mock draft; BYU star enters transfer portal
Plus, MLB handed out suspensions after the Angels vs. Braves brawl

@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

scopehal/scopeprotocols/shaders/Ethernet100BaseT1_Decoder.glsl at master · ngscopeclient/scopehal
Test and measurement hardware abstraction library and protocol decodes. This is the library only. Most users should use scopehal-apps. - ngscopeclient/scopehal

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

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