Tootfinder

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

@cellfourteen@social.petertoushkov.eu
2025-07-21 05:22:18

I think this tedious reviewer needs to see more "lush landscapes, epic struggles, pointed political allegories and delicious, disgusting monsters" in The Sandman ->
The Sandman season two review – Neil Gaiman’s emo drama is so pretentious it ruins everything | Television | The Guardian

The Sandman season two review – Neil Gaiman’s emo drama is so pretentious it ruins everything
The return of the mopey goth hero sees him stroppily shuffle through what could be fantastic adventures as if they are tedious obligations. And some of the dialogue: oof!

@arXiv_csLO_bot@mastoxiv.page
2025-07-28 07:40:40

Who Wins the Multi-Structural Game?
Ronald Fagin, Neil Immerman, Phokion Kolaitis, Jonathan Lenchner, Rik Sengupta
arxiv.org/abs/2507.18718

Who Wins the Multi-Structural Game?
Combinatorial games played between two players, called Spoiler and Duplicator, have often been used to capture syntactic properties of formal logical languages. For instance, the widely used Ehrenfeucht-Fraïssé (EF) game captures the syntactic measure of quantifier rank of first-order formulas. For every such game, there is an associated natural decision problem: "given an instance of the game, does Spoiler win the game on that instance?" For EF games, this problem was shown to be PSPACE-comp…