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.

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

@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

@macandi@social.heise.de
2026-08-06 09:27:03

MasterCraft: CarPlay auch für Boote – samt passender App
Eigentlich ist Apples CarPlay-System für zwei- und vierrädrige Fahrzeuge gedacht. Fürs Boot geht es aber auch, wie MasterCraft in den USA zeigt.

@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

@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. 🐦🌳🎶

@Techmeme@techhub.social
2026-08-04 18:55:53

Mistral releases Shieldstral, a 3B multimodal safety classifier that it says matches models up to 7x its size on text safety, available under Apache 2.0 (Mistral AI Blog)
mistral.ai/news/shieldstral/

@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

@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-07-07 11:40:03

Zahlen, bitte! Der 52-Hertz-Wal – Einsamster Meeressäuger der Welt?
Kreuzung oder Anomalie? Ein mysteriöser Walgesang fasziniert die Forschung: Der Wal singt so hoch, dass er sich deutlich von anderen unterscheidet.