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.

@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

@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

@kexpmusicbot@mastodonapp.uk
2026-04-07 09:39:50

🇺🇦 #NowPlaying on KEXP's #VarietyMix
underscores:
🎵 Hollywood Forever
#underscores
meikotrash.bandcamp.com/track/
open.spotify.com/track/3TpzJRU

@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

@lapizistik@social.tchncs.de
2026-06-07 10:15:58

Ach ja, #mauströt
Und wieso bekomm ich da nur so ein Plastik-Ohrmodell gezeigt und ein Mikro danebengehalten?
Früher hätte die Maus da was schönes mit einer gespannten Membran (Trommelfell), hinter der die flüssigkeitsgefüllte Schnecke mit Härchen liegt, gebastelt, und dann hätte sie mir gezeigt, wie der Schall die Membran vibrieren läßt, und wie die stehende Welle in der Fl…

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