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.

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.

@kubikpixel@chaos.social
2026-05-07 05:05:07

Palette Inspiration — Timeless Colors of the Great Masters
Explore color palettes extracted from thousands of masterworks - from Renaissance elegance to Impressionist light.
🎨 #webdev

Palette Inspiration - Timeless Colors of the Great Masters
Browse, search, and filter beautiful color palettes inspired by the Old Masters.

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

@michabbb@social.vivaldi.net
2026-05-05 17:37:41

#MistralAI has fucking beautiful docs 😍
#ai #mistral

@memeorandum@universeodon.com
2026-06-05 17:35:55

NJ Republican Targeted for Stock Trading During Mystery Leave (Rachel Schilke/Bloomberg)
bloomberg.com/news/articles/20
memeorandum.com/260605/p66#a26

@raiders@darktundra.xyz
2026-05-05 14:01:42

Fernando Mendoza’s first Raiders minicamp presser was a masterclass the NFL should study raiderramble.com/2026/05/05/fe

Fernando Mendoza's first Raiders minicamp presser was a masterclass
A Las Vegas Raiders rookie walks in knowing what he doesn't know—and that might be everything. Let's take a closer look.

@cdarwin@c.im
2026-05-05 10:06:52

A Secret Service officer has been arrested for allegedly following a woman at a hotel near the Miami airport, and then masturbating outside of her hotel room. 
Per WSVN’s Sheldon Fox, Officer John A. Spillman was found by Miami-Dade deputies masturbating in a hotel hallway. He had allegedly followed a woman and forced her to retreat into her room, fearing for her safety. 
The US Secret Service told WSVN that Spillman had been in the Miami-Dade area "as part of the security scr…

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

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.

@memeorandum@universeodon.com
2026-05-05 13:01:03

Inside the heated clash over the DHS 'master plan' for deportations (Julia Ainsley/NBC News)
nbcnews.com/politics/immigrati
memeorandum.com/260505/p22#a26

@heiseonline@social.heise.de
2026-06-04 10:12:00

„Masters of the Universe“ im Test: Helden aus der Personalabteilung
Der neue He-Man ist ein Film wie eine Pelz-Unterhose: Ganz witzig, aber sinnlos. Diesen zerfahrenen Quatsch hätte man wenigstens kürzen können.

„Masters of the Universe“ im Test: Helden aus der Personalabteilung
Der neue He-Man ist ein Film wie eine Pelz-Unterhose: Ganz witzig, aber sinnlos. Diesen zerfahrenen Quatsch hätte man wenigstens kürzen können.