Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@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.

@cosmos4u@scicomm.xyz
2026-07-07 20:07:22

Parker Solar Probe Observations of Dust Mass and Charge Densities and Their Impact on Kinetic Alfvén Wave Dynamics in Solar Coronal Heating: #SolarCorona heating, opening new field in heliophysics: uah.edu/news/items/uah-researc

@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

@adlerweb@social.adlerweb.info
2026-05-07 20:19:05

Es gibt wohl mal wieder eine LPE im #linux kernel: #DirtyFrag. POC läuft zumindest mal auf nem Testsystem mit älterem Kernel. Laut Seite ist es in den Distros bisher *nicht* gepatched.

@oekologisch_unterwegs@mastodon.online
2026-06-07 16:08:59

Der Kuckuck ist ein Meister der Täuschung und bekannt für seinen charakteristischen „Kuckuck“-Ruf.
Wusstet Ihr, dass Kuckucke ihre #Eier nicht einfach in irgendwelche Nester anderer #Vogelarten legen, sondern in bestimmte? Mehr dazu im Artikel. 🐦🌳🎶

@nobodyinperson@fosstodon.org
2026-06-07 17:25:26

Huh, I totally missed that #SolveSpace made a release - after four years! I was building from git anyway so didn't notice:
github.com/solvespace/solvespa

@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-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-06 13:03:00

KI-Update kompakt: Mistral 3.5, Joint Ventures, Arzneistoffe, Vibe-Coding
Das „KI-Update“ liefert drei mal pro Woche eine Zusammenfassung der wichtigsten KI-Entwicklungen.

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