Tootfinder

Paramount : Wie es nach der Fusion mit Skydance Media weitergeht
Dank der Fusion mit der Produktionsgesellschaft Skydance ist Paramount Global vorerst gerettet. Doch der hauseigene Streamingdienst muss attraktiver werden.

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
Bartosz Bednarczyk, Emanuel Kiero\'nski
https://arxiv.org/abs/2509.09218 https://…

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
We study the Guarded Fragment with Regular Guards (RGF), which combines the expressive power of the Guarded Fragment (GF) with Propositional Dynamic Logic with Intersection and Converse (ICPDL). Our logic generalizes, in a uniform way, many previously-studied extensions of GF, including (conjunctions of) transitive or equivalence guards, transitive or equivalence closure and more. We prove 2EXPTIME-completeness of the satisfiability problem for RGF, showing that RGF is not harder than ICPDL or …

Graded Quantum Codes: From Weighted Algebraic Geometry to Homological Chain Complexes
Tony Shaska
https://arxiv.org/abs/2508.07542 https://arxiv.org/pdf/25…

Graded Quantum Codes: From Weighted Algebraic Geometry to Homological Chain Complexes
We introduce graded quantum codes, unifying two classes of quantum error-correcting codes. The first, quantum weighted algebraic geometry (AG) codes, derives from rational points on hypersurfaces in weighted projective spaces over finite fields. This extends classical AG codes by adding weighted degrees and singularities, enabling self-orthogonal codes via the CSS method with improved distances using algebraic structures and invariants like weighted heights.The second class arises from chain co…

Among college graduates ages 22-27, computer science and computer engineering majors face unemployment rates of 6.1% and 7.5%, respectively, over double the unemployment rate among recent biology and art history graduates, which is just 3%.
Goodbye, $165,000 Tech Jobs. Student Coders Seek Work at Chipotle
https://www.…

Computer Science Grads Struggle to Find Jobs in the A.I. Age
As companies like Amazon and Microsoft lay off workers and embrace A.I. coding tools, computer science graduates say they’re struggling to land tech jobs.

Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
Jerome Brender, Laila El-Hamamsy, Kim Uittenhove, Francesco Mondada, Engin Bumbacher
https://arxiv.org/abs/2507.07767

Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
Prior research shows that how students engage with Large Language Models (LLMs) influences their problem-solving and understanding, reinforcing the need to support productive LLM-uses that promote learning. This study evaluates the impact of a structured GPT platform designed to promote 'good' prompting behavior with data from 58 students in a graduate-level robotics course. The students were assigned to either an intervention group using the structured platform or a control group using ChatGPT…

Commonly Graded Algebras and Their Homological Properties
Haonan Li, Quanshui Wu
https://arxiv.org/abs/2508.06068 https://arxiv.org/pdf/2508.06068

Commonly Graded Algebras and Their Homological Properties
In this article, we study bounded-below locally finite $\mathbb{Z}$-graded algebras, which are referred to as commonly graded algebras in literature. Commonly graded algebras have almost similar theory as that of connected graded algebras, but sometimes the results need different methods of proof. We give several characterizations of commonly graded AS-Gorenstein algebras, and show that any noetherian commonly graded AS-Gorenstein algebra admits a balanced dualizing complex. We then study (sk…

Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2
Stan P Hauke, Przemys{\l}aw Andrzej Wa{\l}\k{e}ga
https://arxiv.org/abs/2508.06091 https://

Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2
In recent years, there has been growing interest in understanding the expressive power of graph neural networks (GNNs) by relating them to logical languages. This research has been been initialised by an influential result of Barceló et al. (2020), who showed that the graded modal logic (or a guarded fragment of the logic C2), characterises the logical expressiveness of aggregate-combine GNNs. As a ``challenging open problem'' they left the question whether full C2 characterises the logical ex…

Ah our poor widdle scared congress critters. Poor poor babies who work in 24x7x365 heavily guarded buildings with airport-grade (and beyond) access controls, have clouds of protective officers nearby, whose absence would be noted by staff and press, etc.
Yet, we normies who are being directly threatened by the President on down with arrest by mask agents, arrest, deportation to a death camp in another country, even death in the US are supposed to be accepting of these threats and risks…

'People are scared to death': Members of Congress fear for their safety after Charlie Kirk assassination
The assassination of conservative activist Charlie Kirk has members of Congress afraid for their own safety and canceling some political events.

The EU is planning a new, graduated #tax on companies with more than 50 mio Euro revenue, the wires say.
I see a lost #opportunity. They should tax the market capitalization of companies, not their revenue. This would create a direct incentive to split up into smaller entities, rather than buy…

So, Altman’s superintelligence will allegedly do away with millions of jobs, but don’t worry kids, after graduating you “could be leaving on some kind of mission to explore the solar system on a spaceship.”
“Some kind of a mission,” huh? That’s a nice way of saying that he’ll shoot useless people into space.
This level of stupidity and arrogance is sickening.