Tootfinder

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

No exact results. Similar results found.
@servelan@newsie.social
2025-07-17 06:51:28

Ukrainian drones reportedly target Moscow, St. Petersburg amid wider strikes
kyivindependent.com/ukrainian-

@cowboys@darktundra.xyz
2025-09-17 14:19:36

QB Stock Market Week 3: Is Patrick Mahomes Slipping? Is Jalen Hurts Optimizing? foxsports.com/stories/nfl/qb-s

QB Stock Market Week 3: Is Patrick Mahomes Slipping? Is Jalen Hurts Optimizing?
The tape doesn't lie, and it says few quarterbacks have put together stellar back-to-back weeks to begin the season. Here are Henry McKenna's latest QB rankings.

@raiders@darktundra.xyz
2025-09-17 14:23:10

QB Stock Market Week 3: Is Patrick Mahomes Slipping? Is Jalen Hurts Optimizing? foxsports.com/stories/nfl/qb-s

QB Stock Market Week 3: Is Patrick Mahomes Slipping? Is Jalen Hurts Optimizing?
The tape doesn't lie, and it says few quarterbacks have put together stellar back-to-back weeks to begin the season. Here are Henry McKenna's latest QB rankings.

@rainerzufall_le@mastodon.social
2025-09-18 08:55:08

Mist, ich hatte gewettet, dass #Kemmerich entweder zu den Freien Wählern geht oder "Team/Bündnis Kemmerich" (oder so) gründen wird. #sad

Kemmerich übernimmt Vorsitz bei Petrys „Team Freiheit“
Nach seinem FDP-Austritt übernimmt der Thüringer Ex-Kurzzeit-Ministerpräsident Kemmerich den Vorsitz beim von Frauke Petry gegründeten Verein «Team Freiheit». Was versprechen sie?

@benb@osintua.eu
2025-07-17 04:13:04

Ukrainian drones reportedly target Moscow, St. Petersburg amid wider strikes: benborges.xyz/2025/07/17/ukrai

Ukrainian drones reportedly target Moscow, St. Petersburg amid wider strikes - Tracking information about the Russian War against Ukraine
Russian media and officials reported approaching Ukrainian drones across multiple regions overnight on July 17, as Ukraine’s military launched a wider …

@me@mastodon.peterjanes.ca
2025-06-18 03:44:49

Go home, Breezy Weather, you're drunk.

Current temperature and three-day forecast showing highs in the 20°C range and a low tonight of -273°C.
@arXiv_csLO_bot@mastoxiv.page
2025-07-18 07:34:22

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
Jan-Christoph Kassing, Leon Spitzer, J\"urgen Giesl
arxiv.org/abs/2507.12918

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
The dependency pair (DP) framework is one of the most powerful techniques for automatic termination and complexity analysis of term rewrite systems. While DPs were extended to prove almost-sure termination of probabilistic term rewrite systems (PTRSs), automatic complexity analysis for PTRSs is largely unexplored. We introduce the first DP framework for analyzing expected complexity and for proving positive or strong almost-sure termination (SAST) of innermost rewriting with PTRSs, i.e., finite…

@NFL@darktundra.xyz
2025-09-15 13:21:36

Patrick Mahomes, Chiefs fall to 0-2; Joe Burrow sidelined with turf toe; Terence Crawford beats Canelo Alvarez

cbssports.com/nfl/news/patrick…

Patrick Mahomes, Chiefs fall to 0-2; Joe Burrow sidelined with turf toe; Terence Crawford beats Canelo Alvarez
Plus Brewers, Phillies remain 1-2 our MLB Power Rankings

@me@mastodon.peterjanes.ca
2025-09-16 15:38:44

Emm Gryner is prepping to release two (yes, two) albums… Kickstarter backers just got access to one of the demo tracks from "Lioness Sky", the solo indie pop album, and there's a track from "Used to Bleed", the heavy metal album, up too.

A monochrome image of Emm Gryner, a young Filipina-Irish Canadian woman, playing bass guitar. She's got an appropriately rocking facial expression and pose.