Tootfinder

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

No exact results. Similar results found.
@heiseonline@social.heise.de
2025-06-19 16:40:00

heise | Lipsync-Videos selber machen – kostenlos und ohne Cloud
Lipsync-Videos auf dem eigenen Rechner mit aktueller Grafikkarte erstellen: So bringt ein kostenloses Open-Source-Modell Bilder lebensecht zum Sprechen.

Lipsync-Videos selber machen – kostenlos und ohne Cloud
Lipsync-Videos auf dem eigenen Rechner mit aktueller Grafikkarte erstellen: So bringt ein kostenloses Open-Source-Modell Bilder lebensecht zum Sprechen.

@cowboys@darktundra.xyz
2025-07-18 02:41:28

2nd-year sixth-round pick is Cowboys WR sleeper with chance to shine cowboyswire.usatoday.com/story

2nd-year sixth-round pick is Cowboys WR sleeper with chance to shine
The sleeper to watch at wide receiver for the Dallas Cowboys this summer is an athletically gifted player with all the traits to thrive in the NFL

@tinoeberl@mastodon.online
2025-06-19 07:21:37

Weniger #Plastikmüll: #Kräutersalz selbst machen ist einfach und spart Geld. 🌿✨ Mit gängigen Kräutern wie #Liebstöckel,

Kräutersalz selber machen: Das Rezept für ein vielseitiges Gewürz
Kräutersalz selber mischen: So gelingt es mit haushaltsüblichen Zutaten

@arXiv_csLO_bot@mastoxiv.page
2025-06-18 08:31:54

OSTRICH2: Solver for Complex String Constraints
Matthew Hague, Denghang Hu, Artur Je\.z, Anthony W. Lin, Oliver Markgraf, Philipp R\"ummer, Zhilin Wu
arxiv.org/abs/2506.14363

OSTRICH2: Solver for Complex String Constraints
We present OSTRICH2, the latest evolution of the SMT solver OSTRICH for string constraints. OSTRICH2 supports a wide range of complex functions on strings and provides completeness guarantees for a substantial fragment of string constraints, including the straight-line fragment and the chain-free fragment. OSTRICH2 provides full support for the SMT-LIB theory of Unicode strings, extending the standard with several unique features not found in other solvers: among others, parsing of ECMAScript r…

@wandklex@mastodon.art
2025-06-18 18:14:12

Aus dem tiefsten Pinselpazifik: handgemalte #wandklexschmuck -Einzelstücke; zu finden auf wandklex.art/product/schaetze-.

@der_raddler@dresden.network
2025-07-17 09:29:45

Bei Menschen die so einfache Schilder nicht verstehen, steht für mich die grundlegende Fahreignung in Frage.
sachsen-fernsehen.de/mediathek

Feiertag, freie Fahrt? Denkste! - Warum schulfrei zur Knöllchenfalle werden kann
Geblitzt an Karfreitag – obwohl die Schule zu war. Was nach einem Missverständnis klingt, sorgt bei Marion Grund für ordentlich Frust. Denn sie wurde zu schnell erwischt – in einer Tempo-30-Zone, die den Verkehr vor allem zu Schulzeiten abbremsen soll. Warum die Rentnerin trotzdem zahlen musste – und was ihr Fall über unsere Verkehrsschilder verrät.

@memeorandum@universeodon.com
2025-06-18 11:21:03

Trump rediscovers comprehensive immigration reform (Matthew Yglesias/Slow Boring)
slowboring.com/p/trump-redisco
memeorandum.com/250618/p29#a25

@brichapman@mastodon.social
2025-07-19 11:31:21

Though we often crave a silver bullet solution, in reality, meaningful change often comes from many small efforts working in harmony, just like it happens in climate activism. full article @ brichapman.com/p/silver-bucksh

Silver Buckshot
Why complex problems need plural solutions

@cowboys@darktundra.xyz
2025-07-18 17:01:42

Cowboys third-year bench guy is sleeper to find his way into starting lineup cowboyswire.usatoday.com/story

Cowboys third-year bench guy is sleeper to find his way into starting lineup
The Dallas Cowboys have a golden opportunity at offensive tackle this year and Asim Richards may be just the guy to seize it.

@memeorandum@universeodon.com
2025-06-19 22:41:00

Trump is silent about Juneteenth on a day he previously honored as president (Darlene Superville/Associated Press)
apnews.com/article/trump-junet
memeorandum.com/250619/p106#a2