Tootfinder

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

No exact results. Similar results found.
@heiseonline@social.heise.de
2025-09-20 15:30:00

E-Autos second: Porsche setzt zunächst wieder auf Verbrenner first
Eine bisher vollelektrisch geplante SUV-Baureihe über dem Cayenne soll "marktbedingt" zunächst ausschließlich als Verbrenner- und Plug-in-Hybridmodell kommen.

E-Autos second: Porsche setzt zunächst wieder auf Verbrenner first
Eine bisher vollelektrisch geplante SUV-Baureihe über dem Cayenne soll "marktbedingt" zunächst ausschließlich als Verbrenner- und Plug-in-Hybridmodell kommen.

@cowboys@darktundra.xyz
2025-07-20 22:29:16

Stephanie Vamos secures her second interception on a touchdown saving takeaway nfl.com/videos/stephanie-vamos

Stephanie Vamos secures her second interception on a touchdown saving takeaway
Athena Athletics Eagles cornerback Stephanie Vamos secures her second interception on a touchdown saving takeaway against the Bad Rabbits Cowboys.

@benb@osintua.eu
2025-07-21 18:04:22

US urges Europe to join potential secondary tariffs on Russian oil: benborges.xyz/2025/07/21/us-ur

US urges Europe to join potential secondary tariffs on Russian oil - Tracking information about the Russian War against Ukraine
“I urge our European allies, who have talked a big game, to follow us if we implement these secondary tariffs,” U.S. Treasury Secretary Scott …

@cdarwin@c.im
2025-09-19 20:03:50

In Sabzevar for the second consecutive night, angry residents held demonstrations.
The protest began at Farmandari Square and Abouzar Street, and protesters blocked Bahonar Street.
Women were at the forefront of the rally, chanting slogans such as:
“Don’t be afraid, don’t be afraid, we’re all in this together,”
“Water, electricity, and life are our basic rights,”
and “We don’t want incompetent officials.”

Iran - Sabzevar: Second Night of Protests Against Water and Power Outages - NCRI
Maryam Rajavi: Like so many of Iran’s resources, the country’s water supplies have not been spared from the plunder and corruption of the clerical regime.

@arXiv_csLO_bot@mastoxiv.page
2025-08-20 08:48:30

On a Second-Order Version of Russellian Theory of Definite Descriptions
Yaroslav Petrukhin
arxiv.org/abs/2508.13928 arxiv.org/pdf/2508.1392…

On a Second-Order Version of Russellian Theory of Definite Descriptions
Definite descriptions are first-order expressions that denote unique objects. In this paper, we propose a second-order counterpart, designed to refer to unique relations between objects. We investigate this notion within the framework of Russell's theory of definite descriptions. While full second-order logic is incomplete, its fragment defined by Henkin's general models admits completeness. We develop our theory within this fragment and formalize it using a cut-free sequent calculus.

@pbloem@sigmoid.social
2025-07-18 09:25:22

Now out in #TMLR:
🍇 GRAPES: Learning to Sample Graphs for Scalable Graph Neural Networks 🍇
There's lots of work on sampling subgraphs for GNNs, but relatively little on making this sampling process _adaptive_. That is, learning to select the data from the graph that is relevant for your task.
We introduce an RL-based and a GFLowNet-based sampler and show that the approach perf…

A diagram of the GRAPES pipeline. It shows a subgraph being sampled in two steps and being fed to a GNN, with a blue line showing the learning signal. The caption reads Figure 1: Overview of GRAPES. First, GRAPES processes a target node (green) by computing node inclusion probabilities on its 1-hop neighbors (shown by node color shade) with a sampling GNN. Given these probabilities, GRAPES samples k nodes. Then, GRAPES repeats this process over nodes in the 2-hop neighborhood. We pass the sampl…
A results table for node classification on heterophilious graphs. Table 2: F1-scores (%) for different sampling methods trained on heterophilous graphs for a batch size of 256, and a sample size of 256 per layer. We report the mean and standard deviation over 10 runs. The best values among the sampling baselines (all except GAS) are in bold, and the second best are underlined. MC stands for multi-class and ML stands for multi-label classification. OOM indicates out of memory.
Performance of samples vs sampling size showing that GRAPES generally performs well across sample sizes, while other samplers often show more variance across sample sizes. The caption reads Figure 4: Comparative analysis of classification accuracy across different sampling sizes for sampling baseline and GRAPES. We repeated each experiment five times: The shaded regions show the 95% confidence intervals.
A diagrammatic illustration of a graph classification task used in one of the theorems. The caption reads Figure 9: An example of a graph for Theorem 1 with eight nodes. Red edges belong to E1, features xi and labels yi are shown beside every node. For nodes v1 and v2 we show the edge e12 as an example. As shown, the label of each node is the second feature of its neighbor, where a red edge connects them. The edge homophily ratio is h=12/28 = 0.43.
@raiders@darktundra.xyz
2025-07-20 15:05:14

Raiders training camp preview: Young secondary needs to develop reviewjournal.com/sports/raide

Raiders training camp preview: Young secondary needs to develop
Raiders’ Darien Porter, Jeremy Chinn lead a young secondary

@servelan@newsie.social
2025-08-21 02:48:52

CNBC Daily Open: Second day of U.S. tech-sell off — but don't panic
cnbc.com/2025/08/21/cnbc-daily

@cowboys@darktundra.xyz
2025-07-20 23:29:23

Zahra Hill's effort results in her second score for the Texans nfl.com/videos/zahra-hill-s-ef

Zahra Hill's effort results in her second score for the Texans
Texas Fury Texans wide receiver Zahra Hill catches her second touchdown pass from quarterback Emery Beckett against the Bad Rabbits Cowboys.

@raiders@darktundra.xyz
2025-08-19 20:48:56

UFL to NFL Pipeline: Tracking Every UFL Player Signed to a 2025 NFL Roster foxsports.com/stories/nfl/ufl-

UFL to NFL Pipeline: Tracking Every UFL Player Signed to a 2025 NFL Roster
After a tremendous 2025 UFL season, a handful of star players have signed contracts with NFL teams. Here's who's on the move.