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.

@cdarwin@c.im
2026-04-08 01:51:04

Vote counts are coming in very quickly in the Wisconsin Supreme Court election
mastoreader.io/?url=https:%2

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

dirtyfrag/assets/write-up.md at master · V4bel/dirtyfrag
Contribute to V4bel/dirtyfrag development by creating an account on GitHub.

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

Kuckuck (Cuculus canorus): Ein Meister der Täuschung
Entdecken das faszinierende Leben des Kuckucks, von seinem einzigartigen Brutparasitismus bis zu seinem charakteristischen Ruf.

@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

solvespace/CHANGELOG.md at master · solvespace/solvespace
Parametric 2d/3d CAD. Contribute to solvespace/solvespace development by creating an account on GitHub.

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

@cdarwin@c.im
2026-04-08 02:36:04

Trump has threatened to commit war crimes against Iran, going so far as to threaten to destroy Iranian civilization.
mastoreader.io/?url=https:%2

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

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.