Tootfinder

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

No exact results. Similar results found.
@arXiv_csSE_bot@mastoxiv.page
2025-08-29 08:08:31

Boosting Skeleton-Driven SMT Solver Fuzzing by Leveraging LLM to Produce Formula Generators
Maolin Sun, Yibiao Yang, Yuming Zhou
arxiv.org/abs/2508.20340 …

Boosting Skeleton-Driven SMT Solver Fuzzing by Leveraging LLM to Produce Formula Generators
Satisfiability Modulo Theory (SMT) solvers are foundational to modern systems and programming languages research, providing the foundation for tasks like symbolic execution and automated verification. Because these solvers sit on the critical path, their correctness is essential, and high-quality test formulas are key to uncovering bugs. However, while prior testing techniques performed well on earlier solver versions, they struggle to keep pace with rapidly evolving features. Recent approaches…

@NFL@darktundra.xyz
2025-07-29 12:29:05

Six late-round 'fliers' who can help you win your league espn.com/fantasy/football/stor

Fantasy football: Six late-round 'fliers' who can help you win your league
Hitting on a player late in drafts can be a big boost -- to your team and your ego. Here are six "fliers" you need to be considering.

@digitalnaiv@mastodon.social
2025-08-29 06:23:00

Wer hätte gedacht, dass der 2. Weltkrieg nur ein missverstandenes Verhandlungsspiel war? JD Vance bringt neue Diplomatie-Formen ins Spiel, und Trump will Museen zum „schöner-Machen“ anweisen. Geschichtsklitterung deluxe in der Trump Reality-Show! Sarah Steffen hat das Chaos im Faktenchaos beobachtet.
Schreibt die Trump-Regierung die Geschichte um? – DW – 27.08.2025

Faktencheck: Schreibt die Trump-Regierung die Geschichte um?
Donald Trumps Vize JD Vance hat mit Äußerungen zum Zweiten Weltkrieg Kritik ausgelöst. Trump selbst ist mit diversen historischen Unwahrheiten aufgefallen - von Irak-Invasion bis Zölle - und will Museen zensieren.

@AimeeMaroux@mastodon.social
2025-08-29 09:34:26
Content warning:

Have a beautiful Day of Aphrodite aka Venus' Day aka Frigg's Day aka Friday 🌹
"Kypris [Aphrodite] shines out from the clam sea. Over the silver on dancing dolphins ride guileful Eros and laughing Himeros (Desire), and the chorus of bow-backed fish plunging in the waves sports with Paphia where she swims."
Homeric Hymn 6 to Aphrodite
🏛 Venus, Roman copy of a Greek original, with a nice mons veneris for

Marble sculpture of Venus after a Greek original of Aphrodite. She is in the nude, looking to the side. Her hair is gathered in a bun at the back of her head. A dolphin to her feet suggests a scene of her birth from the sea.
@raiders@darktundra.xyz
2025-07-29 21:38:38

Is Raiders LB Devin White 'back' to being a difference-maker? Raiders camp takeaways nytimes.com/athletic/6523526/2

Is Raiders LB Devin White ‘back’ to being a difference-maker? Raiders camp takeaways
"He's back,” Carroll said of White, a former Pro Bowler with the Buccaneers who had his best day of practice with the Silver and Black.

@lilmikesf@c.im
2025-07-28 19:38:07

Wanna Feel Old? The Vans #WarpedTour is 30...
What Other #PunkRock Tour Admits It's Age And Sets Up Its Own Museum?
Kevin Lyman's Tour That First Tried To Bring #Sublime To America Returns To The

LBC PRESS-TELEGRAM Vans Warped Tour’s 30th anniversary is a love letter to a scene that never died. Performances from day one included The All-American Rejects, A Day to Remember, Sublime, Pennywise, Silverstein, Black Veil Brides, and more. At Shoreline Waterfront in Long Beach, Sublime delivered a hometown set on the Vans Left Foot Stage during Warped Tour's 30th anniversary. (Photo by Holly Alvarado/SCNG)
Performance Highlights: From Tony Hawk to Long Beach Legends Goldfinger’s set brought one of the day's most unforgettable moments when skate legend Tony Hawk took the stage to sing “Superman,” the same track that helped define a generation via the Tony Hawks Pro Skater video game, released in '99. The crowd erupted, and fans like Ish Costales of Monrovia, California, were visibly emotional. “I used to waste hours playing that game as a kid to just forget about school and life,” Costales said.…
“Need a shirt that says ‘I survived Warped Tour,” one fan joked in the comments, a phrase that just about summed it up. Offstage: Record Labels, Skate Ramps & Museum Moments Beyond the music, the grounds paid homage to Warped’s roots. Skaters and BMX riders hit the half-pipe throughout the weekend, echoing the early days when action sports and punk rock were side-by-side. A dedicated Record Label Row let fans engage with independent labels, snag exclusive merch, and meet artists. The Warped…
@arXiv_csDC_bot@mastoxiv.page
2025-07-30 08:28:22

The Performance of Low-Synchronization Variants of Reorthogonalized Block Classical Gram--Schmidt
Erin Carson, Yuxin Ma
arxiv.org/abs/2507.21791

The Performance of Low-Synchronization Variants of Reorthogonalized Block Classical Gram--Schmidt
Numerous applications, such as Krylov subspace solvers, make extensive use of the block classical Gram-Schmidt (BCGS) algorithm and its reorthogonalized variants for orthogonalizing a set of vectors. For large-scale problems in distributed memory settings, the communication cost, particularly the global synchronization cost, is a major performance bottleneck. In recent years, many low-synchronization BCGS variants have been proposed in an effort to reduce the number of synchronization points. T…

@shoppingtonz@mastodon.social
2025-06-28 18:14:07

in: Felnik's Hill
server: Albion EU
pork pies consumed: 8
left: 2
8 bought back off the record.
rep then: 10049
rep now: 10214
- - - - - - - -
inv est then: 1.55 M 😆 (I lost the data)
inv est now: 1.78 M
T7 mining % then: 8%
% NOW: 10%
yield then: 69%
yield now: idk?
expenses:
repairs: 141k silver.
tp home: 13k
Making silver by selling stuff:
di…

@selenacht@mamot.fr
2025-08-28 11:45:28

Il y a, paraît-il, des gens qui écrivent le livre qu'ils voudraient lire (transposable Š d'autres arts, je suppose). C'est peut-être pour ça qu'il m'est Š moi si difficile d'écrire: par d'heureux (?) hasards, je tombe régulièrement sur le livre d'un autre qui est celui que j'aurais voulu écrire, voire suis en train d'écrire.
Dernier en date : Don DeLillo, "Body Art" ( je le commence tout juste, peut-être finira-t-il par me décevoir).

Couverture du livre
Citation "Elle sentait son propre corps de diverses manières qu'elle ne comprenait pas. Serré, coincé, elle ne savait pas exactement. vaguement étranger et inhabituel. différent, plus mince, quelle importance. Il y avait une boîte de chapelure sur une étagère de l'office. Elle savait qu'elle avait vu du papier sulfurisé quelque part dans une boîte bleu et quelque chose. C'étaient les choses qui comptaient à présent. Les repas, les tâches, les courses. Elle parcourait lentement les pièces. Elle…
@NFL@darktundra.xyz
2025-07-27 04:01:57

Free 2025 NFL picks, predictions, best futures bets, longshots, upsets: Back Saquon Barkley for NFL MVP

cbssports.com/nfl/news/free-20

Free 2025 NFL picks, predictions, best futures bets, longshots, upsets: Back Saquon Barkley for NFL MVP
SportsLine expert Jimmie Kaylor has locked in his NFL futures picks sleepers, longshots, and best bets ahead of the 2025 NFL season