Tootfinder

🇺🇦 Auf radioeins läuft...
Chloe Qisha:
🎵 Sex, Drugs & Existential Dread
#NowPlaying #ChloeQisha
https://chloeqisha.bandcamp.com/track/sex-drugs-existential-dread
https://open.spotify.com/track/6QNvGDyclysWjq7QQcWHAk

Kristi Noem's stupidity is an existential threat - Raw Story
https://www.rawstory.com/raw-investigates/t…

Kristi Noem's stupidity is an existential threat
“Whoever would overthrow the liberty of a nation must begin by subduing the freeness of speech.” — Benjamin FranklinThe Trump administration just refused to allow an Australian writer entry to America because he’d penned articles on his personal blog critical of the administration’s support for the ...

Existential completions and Herbrand's theorem
Joshua L. Wrigley
https://arxiv.org/abs/2508.15518 https://arxiv.org/pdf/2508.15518

Existential completions and Herbrand's theorem
Recently, Abbadini and Guffanti gave an algebraic proof of Herbrand's theorem using a completion for Lawvere doctrines that freely adds existential and universal quantifiers. A more direct argument can be given by only completing with respect to existential quantifiers. We construct the free existential completion on a presheaf of distributive lattices, and deduce Herbrand's theorem for coherent logic from the explicit description. We also discuss the cases involving presheaves of meet-semilatt…

Is Climate Change an Existential Threat? (Ellyn Lapointe/Gizmodo)
https://gizmodo.com/is-climate-change-an-existential-threat-2000629702
http://www.memeorandum.com/250719/p55#a250719p55

A new bill championed by President Trump calls for cutting $295 billion in federal spending over the next decade from the Supplemental Nutrition Assistance Program, better known as SNAP or food stamps, according to the Congressional Budget Office.
“What are we supposed to do?” Ms. Williams said. “I know he doesn’t need it, but the rest of us do

‘An Existential Threat’: Food Banks Brace for Fallout From Trump Cuts
New York City food banks aren’t sure how they will survive the administration’s funding cuts, which could also affect the programs they turn to for help.

Finite Axiomatizability by Disjunctive Existential Rules
Marco Calautti, Marco Console, Andreas Pieris
https://arxiv.org/abs/2508.11946 https://arxiv.org/p…

Finite Axiomatizability by Disjunctive Existential Rules
Rule-based languages lie at the core of several areas of central importance to databases and artificial intelligence such as deductive databases and knowledge representation and reasoning. Disjunctive existential rules (a.k.a. disjunctive tuple-generating dependencies in the database literature) form such a prominent rule-based language. The goal of this work is to pinpoint the expressive power of disjunctive existential rules in terms of insightful model-theoretic properties. More precisely, g…

Calamus 40 That shadow, my likeness
An odd little poem to find in Calamus. I like it, I connect to the existential doubt.
How often I question and doubt whether that is really me
The self Whitman is unsure of is the quotidian self, the one that works and talks and shops. What does he embrace as the real him?
among my lovers, and carolling my songs, I never doubt whether that is really me.
There's our lusty Whitman, finding his true self in his lovers and his poetry.
PS: this poem introduced me to the lovely word chaffer.

Oblivious Deletion Codes
Roni Con, Ray Li
https://arxiv.org/abs/2506.18878 https://arxiv.org/pdf/2506.18878

Oblivious Deletion Codes
We construct deletion error-correcting codes in the oblivious model, where errors are adversarial but oblivious to the encoder's randomness. Oblivious errors bridge the gap between the adversarial and random error models, and are motivated by applications like DNA storage, where the noise is caused by hard-to-model physical phenomena, but not by an adversary. (1) (Explicit oblivious) We construct $t$ oblivious deletion codes, with redundancy $\sim 2t\log n$, matching the existential bound for…

The AI Risk Spectrum: From Dangerous Capabilities to Existential Threats
Markov Grey, Charbel-Rapha\"el Segerie
https://arxiv.org/abs/2508.13700 https://

The AI Risk Spectrum: From Dangerous Capabilities to Existential Threats
As AI systems become more capable, integrated, and widespread, understanding the associated risks becomes increasingly important. This paper maps the full spectrum of AI risks, from current harms affecting individual users to existential threats that could endanger humanity's survival. We organize these risks into three main causal categories. Misuse risks, which occur when people deliberately use AI for harmful purposes - creating bioweapons, launching cyberattacks, adversarial AI attacks or d…

Writing the Self and Society: Existential and Cultural Narratives in Lusophone Literature (issue of Romance Notes Journal)
https://ift.tt/M4ycHQ1
updated: Friday, July 18, 2025 - 7:15amfull name / name of organization: Romance Notes / UNC Chapel…
via Input 4 RELCFP

The Existential Meets the Absurd in Latest Ukraine Talks (Nahal Toosi/Politico)
https://www.politico.com/news/magazine/2025/08/19/the-existential-meets-the-absurd-in-latest-ukraine-talks-00513876
http://www.memeorandum.com/250819/p17#a250819p17

Is there a name for the existential and physical agony one experiences when hearing "we prepared a Miro board"?

"The language of blood and soil, which has once again become central to public debate in many democracies, is very powerful. It helps many people explain a complex world. It cannot easily be defeated or dismissed in one electoral cycle."
https://www.theatlantic.co…

Every Election Is Now Existential
A nationalist’s narrow victory in Poland offers a preview of many knife-edge contests to come, all across the democratic world.

The Trump administration claims to be fighting an existential battle against insurrectionary forces in Los Angeles.
In truth, it created this cynical spectacle itself,
deploying troops and inflaming tensions to distract from its policy failures.
https://jacobin.com/2025/06/la-immigr…

Donald Trump Manufactured the Crisis in Los Angeles
The Trump administration claims to be fighting an existential battle against insurrectionary forces in Los Angeles. In truth, it created this cynical spectacle itself, deploying troops and inflaming tensions to distract from its policy failures.

Ukrainian artist's 'Sculpture' series normalizes injured bodies of Ukraine's soldiers: https://benborges.xyz/2025/07/18/ukrainian-artists-sculpture-series-normalizes.html

Recognizing Penny and Marble Graphs is Hard for Existential Theory of the Reals
Anna Lubiw, Marcus Schaefer
https://arxiv.org/abs/2508.10136 https://arxiv.…

Recognizing Penny and Marble Graphs is Hard for Existential Theory of the Reals
We show that the recognition problem for penny graphs (contact graphs of unit disks in the plane) is $\exists\mathbb{R}$-complete, that is, computationally as hard as the existential theory of the reals, even if a combinatorial plane embedding of the graph is given. The exact complexity of the penny graph recognition problem has been a long-standing open problem. We lift the penny graph result to three dimensions and show that the recognition problem for marble graphs (contact graphs of unit …

On polynomial systems of equations in square matrices filled with natural numbers
Mihai Prunescu
https://arxiv.org/abs/2507.15265 https://

On polynomial systems of equations in square matrices filled with natural numbers
The positive existential theories of the sets $M_n(\mathbb N)$ without parameters build an inclusion lattice isomorhic with the lattice of divisibility. All these sets are algorithmically undecidable. In further sections some easier observations are made, like the undecidability of Diophantine equations with coefficients in $M_n(\mathbb Z)$.

Really good piece from @derekbjohnson.bsky.social
Is XBOW’s success the beginning of the end of human-led bug hunting? Not yet.
https://cyberscoop.com/is-xbows-success-the-beginning-of-the-end-of-human-led-bug-hunting-not-yet/

Donald Trump has few fans among Canadian autoworkers
https://www.thestar.com/politics/provincial/in-donald-trump-canadian-autoworkers-see-an-existential-threat-his-ass-should-be-hauled-into/article_c4e6fa39-b8d7-4924-9730-248214ce52c6.html

love how every time I get asked for a bio I enter a catatonic state of existential horror as I gaze into the abyss and wonder what I can salvage from my years squandered pinballing between projects never completing anything
so my last bio is job title 2006 person of the year

Writing the Self and Society: Existential and Cultural Narratives in Lusophone Literature (issue of Romance Notes Journal) https://call-for-papers.sas.upenn.edu/cfp/2025/07/17/writing-the-self-and-society-existentia…

Sources: Meta's Scale AI deal was motivated by Mark Zuckerberg's desire to find new leadership for Meta's AI efforts, relationship with Alexandr Wang, and more (The Information)
https://www.theinformation.com/articles/meta-betting-n…

Why Meta is Betting Nearly $15 Billion on Alexandr Wang
Meta Platforms CEO Mark Zuckerberg has tried to fix a seemingly existential problem in recent months. His company’s large language model, Llama, was falling behind competitors and struggling to perform as well as models from OpenAI, particularly on complex tasks. Increasingly, Zuckerberg turned ...

La \'Ultima Frontera de La Filosof\'ia: Hacia una S\'intesis de La \'Etica del Futuro a Largo Plazo, el Riesgo Existencial y la Ontolog\'ia Posthumana
Santos E. Moreta Reyes
https://arxiv.org/abs/2507.11568

La Última Frontera de La Filosofía: Hacia una Síntesis de La Ética del Futuro a Largo Plazo, el Riesgo Existencial y la Ontología Posthumana
Humanity's unprecedented technological capacity and concurrent existential risks reveal a critical lacuna in the philosophical tradition: the absence of a systematic framework for the long-term future. This article argues that formulating such a framework is the central ethical imperative of our era. To defend this thesis, it synthesizes the normative ethics of Hans Jonas and Derek Parfit with the analytical framework of Nick Bostrom's work on existential risk and longtermism. The analysis furt…

Imagine if we collectively spent just 10% of the resources that go into the AI bullshit hype machine on solving, you know, the myriad of existential problems humanity faces.

🇺🇦 Auf radioeins läuft...
Chloe Qisha:
🎵 Sex, Drugs & Existential Dread
#NowPlaying #ChloeQisha
https://chloeqisha.bandcamp.com/track/sex-drugs-existential-dread
https://open.spotify.com/track/6QNvGDyclysWjq7QQcWHAk

I found this in my Todoist list for today.
I blame one of my cats for this existential question.
#cats #todoist

Today's job: the utopian project of syllabus drafting. Imagining a perfect course is a way I deal with the existential dread brought on by the impending semester.
#academia

Arithmetics within the Linear Time Hierarchy
Chris Pollett
https://arxiv.org/abs/2508.13195 https://arxiv.org/pdf/2508.13195…

Arithmetics within the Linear Time Hierarchy
We identify fragments of the arithmetic $S_1$ that enjoy nice closure properties and have exact characterization of their definable multifunctions. To do this, in the language of $S_1$, $L_1$, starting from the formula classes, $Σ^{\mathsf b}_{i}$, which ignore sharply bounded quantifiers when determining quantifier alternations, we define new syntactic classes by counting bounded existential sharply bounded universal quantifiers blocks. Using these, we define arithmetics: $\breve{S}^{i}_{1}$,…

AI isn’t an existential threat to humanity, capitalism and corporations are.
You see, we created capitalism, a religion modeled on cancer, and the corporation, a new, artificial species; a parasite that co-opts human beings to do its bidding; an organism that’s psychopathic by design and grows by extracting from and exploiting us and our habitat.
And we now find ourselves ruled by this religion and driven to ruin by these parasites as they drain our humanity, destroy our habitat,…

🇺🇦 Auf radioeins läuft...
Chloe Qisha:
🎵 Sex, Drugs & Existential Dread
#NowPlaying #ChloeQisha
#radioeins gespielten Titel als #Spotify Playliste: https://open.spotify.com/playlist/3hdH98B6uyXilhcWxCA6nv

Usually @… just makes shit up but today's level is somewhat accurate.
https://mastodon.social/@levelbot/114791150927002202

Double-functorial representation of regular structures
Jos\'e Siqueira
https://arxiv.org/abs/2508.06637 https://arxiv.org/pdf/2508.06637

Double-functorial representation of regular structures
It is well-known that bicategories of spans capture the Beck-Chevalley relationship underlying the adjunctions suitable for the semantics of existential quantification. By viewing hyperdoctrines from a double-categorical lens, this paper shows that we can also characterise the Frobenius property: (generalised) regular hyperdoctrines correspond to those lax symmetric monoidal double pseudofunctors from spans to quintets whose monoidal laxators provide companion commuter cells (in the sense of Pa…

The Education Vigilante - Existential Comics https://existentialcomics.com/comic/604

The Stories We Govern By: AI, Risk, and the Power of Imaginaries
Ninell Oldenburg, Gleb Papyshev
https://arxiv.org/abs/2508.11729 https://arxiv.org/pdf/250…

The Stories We Govern By: AI, Risk, and the Power of Imaginaries
This paper examines how competing sociotechnical imaginaries of artificial intelligence (AI) risk shape governance decisions and regulatory constraints. Drawing on concepts from science and technology studies, we analyse three dominant narrative groups: existential risk proponents, who emphasise catastrophic AGI scenarios; accelerationists, who portray AI as a transformative force to be unleashed; and critical AI scholars, who foreground present-day harms rooted in systemic inequality. Through …

Trump appears eager to create optics that support his claim that public dissent constitutes an existential threat to the nation.
He also apparently seeks to get the American public used to seeing our armed forces in a new light.
In the president’s version of America, the military should be seen less as an apolitical body loyal to the Constitution.
-- Rather, it should be viewed as an institution that serves at the behest of a leader and his ideological and political agen…

Opinion | Trump Wants You to Get Used to This
The president wants to get Americans used to seeing the armed forces in a new light.

So look, if you talk to me about the job threat from the things we currently call “AI,” well…
…if where you’re going with that is “The concentration of wealth is an existential crisis! Establish UBI! 99% marginal tax rate! Capital gains tax! Wealth tax! Abolish billionaires!” then yes, I’m •all• ears. My pitchfork is already sharpened.
But if where you’re going is “Get in on it now while you still can! Buy the AI vendors’ products! Drink radium for that youthful glow!” then…kthanksbye. I am not going to be a vector for your marketing propaganda, no matter how agitated you are.
/end

Biden takes aim at Trump as 'existential' threat to Black Americans in speech to lawyers group (Fox News)
https://www.foxnews.com/politics/biden-takes-aim-trump-existential-threat-black-americans-speech-lawyers-group
http://www.memeorandum.com/250801/p6#a250801p6

Philippe Neau & Antonella Eye Porcelluzzi – Elephant
https://www.clongclongmoo.org/2025/06/05/philippe-neau-antonella-eye-porcelluzzi-elephant/

Pierce-Birkhoff conjecture is true for splines
Zehua Lai, Lek-Heng Lim
https://arxiv.org/abs/2507.07976 https://arxiv.org/pdf/2507.07…

Pierce-Birkhoff conjecture is true for splines
We prove the Pierce--Birkhoff conjecture for splines, i.e., continuous piecewise polynomials of degree $d$ in $n$ variables on a hyperplane partition of $\mathbb{R}^n$, can be written as a finite lattice combination of polynomials. We will provide a purely existential proof, followed by a more in-depth analysis that yields effective bounds.

OH – food for thought: “They've found ways to be successful critics – emphasis on successful. They get invited to conferences, win awards, maintain influence … that success might come from never truly threatening the system.
Maybe aggressive rhetoric and a bridge-burning approach isn’t a bug but a feature. When the house is on fire, you don’t negotiate with the arsonists about fire safety regulations. You sound the alarm, loudly and repeatedly.
In a truly existential fight, w…

Beating the Logarithmic Barrier for the Subadditive Maximin Share Problem
Masoud Seddighin, Saeed Seddighin
https://arxiv.org/abs/2506.05613 https://

Beating the Logarithmic Barrier for the Subadditive Maximin Share Problem
We study the problem of fair allocation of indivisible goods for subadditive agents. While constant-\textsf{MMS} bounds have been given for additive and fractionally subadditive agents, the best existential bound for the case of subadditive agents is $1/O(\log n \log \log n)$. In this work, we improve this bound to a $1/O((\log \log n)^2)$-\textsf{MMS} guarantee. To this end, we introduce new matching techniques and rounding methods for subadditive valuations that we believe are of independent …

Om Malik writes: “I have been talking about this for a very long time, but the establishment media is always the last to realize their own existential threats. Just as they were slow to recognize the emergence of blogs, social media, and how Facebook was a chimera, they have been slow to realize that the old “destination internet” as a behavioral construct is over.”
In my opinion, these threats are ignored or kicked down the road due to management pressure (“we can’t invest into ...”) combined with peer pressure (“… while everyone else is doing X”).
The result is usually:
(image found on http://thethoughtsoflouise.blogspot.com/2016/07/be-example-not-warning.html)

In this interconnected web of crises, no act of justice is too small. Though we can't solve the entire knot, we can still find our place within it. full article @ https://www.brichapman.com/p/everything-is-connected-in-a-giant

Everything is Connected (In a Giant Tangled Knot)
welcome to the existential hairball 🐈

🇺🇦 Auf radioeins läuft...
Chloe Qisha:
🎵 Sex, Drugs & Existential Dread
#NowPlaying #ChloeQisha
https://chloeqisha.bandcamp.com/track/sex-drugs-existential-dread
https://open.spotify.com/track/6QNvGDyclysWjq7QQcWHAk

Substitutions of variables are finitely axiomatizable over quantifications and permutations
Hajnal Andr\'eka, Zal\'an Gyenis, Istv\'an N\'emeti
https://arxiv.org/abs/2506.12458

Substitutions of variables are finitely axiomatizable over quantifications and permutations
This paper proves that the equational theory of the class $RA_α^{csp}$ of representable polyadic algebras is finitely axiomatizable over its substitution-free reduct $RA_α^{cp}$, for finite $α$. That is, substitutions of variables in finite variable first-order logic can be described by finitely many axioms over the Boolean operations, existential quantifiers and permutations of variables.

So look, if you talk to me about the job threat from the things we currently call “AI,” well…
…if where you’re going with that is “The concentration of wealth is an existential crisis! Establish UBI! 99% marginal tax rate! Capital gains tax! Wealth tax! Abolish billionaires!” then yes, I’m •all• ears. My pitchfork is already sharpened.
But if where you’re going is “Get in on it now while you still can! Buy the AI vendors’ products! Drink radium for that youthful glow!” then…kthanksbye. I am not going to be a vector for your marketing propaganda, no matter how agitated you are.
/end

Writing the Self and Society: Existential and Cultural Narratives in Lusophone Literature (issue of Romance Notes Journal)
https://ift.tt/ltbidV3
updated: Friday, July 18, 2025 - 7:15amfull name / name of organization: Romance Notes / UNC Chapel…
via Input 4 RELCFP

Although many hoped otherwise, we do not seem to be returning to a world in which the center left and the center right compete over tax rates or budgets. Economic and policy arguments just don’t matter as much to people right now as these deeper cultural divides. That’s why all elections are now existential: Small numbers of voters swinging one way or the next will decide the nature of the state, the future of democracy, the independence of the courts.
https://www.theatlantic.com/ideas/archive/2025/06/existential-election-poland-nationalism/683051/

Cryptanalysis of LC-MUME: A Lightweight Certificateless Multi-User Matchmaking Encryption for Mobile Devices
Ramprasad Sarkar
https://arxiv.org/abs/2507.22674 https://

Cryptanalysis of LC-MUME: A Lightweight Certificateless Multi-User Matchmaking Encryption for Mobile Devices
Yang et al. proposed a lightweight certificateless multiuser matchmaking encryption (LC-MUME) scheme for mobile devices, published in IEEE Transactions on Information Forensics and Security (TIFS) (DOI: 10.1109/TIFS.2023.3321961). Their construction aims to reduce computational and communication overhead within a one-to-many certificateless cryptographic framework. The authors claim that their scheme satisfies existential unforgeability under chosen-message attacks (EUF-CMA) in the random oracl…

The Power of Negation in Higher-Order Datalog
Angelos Charalambidis, Babis Kostopoulos, Christos Nomikos, Panos Rondogiannis
https://arxiv.org/abs/2507.20251 https://

The Power of Negation in Higher-Order Datalog
We investigate the expressive power of Higher-Order Datalog$^\neg$ under both the well-founded and the stable model semantics, establishing tight connections with complexity classes. We prove that under the well-founded semantics, for all $k\geq 1$, $(k+1)$-Order Datalog$^\neg$ captures k-EXP, a result that holds without explicit ordering of the input database. The proof of this fact can be performed either by using the powerful existential predicate variables of the language or by using partia…

California Gov. Gavin Newsom is doubling down on his threat to overhaul the state's independent redistricting process,
escalating a political standoff with Texas Republicans that's becoming a flashpoint in the fight for control of Congress.
This week, the Texas Legislature kicked off a special session where redistricting is on the table,
🆘as Republicans reevaluate their congressional maps to help the GOP retain its slim House majority after the 2026 midterms.
A…

Newsom calls GOP's push to redraw TX congressional maps an 'existential crisis to democracy'
Newsom told reporters the GOP's push to redraw congressional maps in Texas is a "five-alarm fire for democracy in the United States" and is doubling down on his threat to overhaul California's redistricting process.

“When you have an extended period of prosperity with no existential war, there’s no cleansing function..."
Elon Musk Keeps Suggesting War Is a Good Thing for Society
https://gizmodo.com/elon-musk-keeps-suggesting-war-is-a-good-thing-for-society-2000635780

Approximate Light Spanners in Planar Graphs
Hung Le, Shay Solomon, Cuong Than, Csaba D. T\'oth, Tianyi Zhang
https://arxiv.org/abs/2505.24825 https://

Approximate Light Spanners in Planar Graphs
In their seminal paper, Althöfer et al. (DCG 1993) introduced the {\em greedy spanner} and showed that, for any weighted planar graph $G$, the weight of the greedy $(1+ε)$-spanner is at most $(1+\frac{2}ε) \cdot w(MST(G))$, where $w(MST(G))$ is the weight of a minimum spanning tree $MST(G)$ of $G$. This bound is optimal in an {\em existential sense}: there exist planar graphs $G$ for which any $(1+ε)$-spanner has a weight of at least $(1+\frac{2}ε) \cdot w(MST(G))$. However, as an {\em a…

The existential comics are all good but this one nails it. 😁
The Beginning and End of Philosophy - Existential Comics
https://existentialcomics.com/comic/593

🇺🇦 Auf radioeins läuft...
Chloe Qisha:
🎵 Sex, Drugs & Existential Dread
#NowPlaying #ChloeQisha
https://chloeqisha.bandcamp.com/track/sex-drugs-existential-dread
https://open.spotify.com/track/6QNvGDyclysWjq7QQcWHAk

🇺🇦 Auf radioeins läuft...
Chloe Qisha:
🎵 Sex, Drugs & Existential Dread
#NowPlaying #ChloeQisha
https://chloeqisha.bandcamp.com/track/sex-drugs-existential-dread
https://open.spotify.com/track/6QNvGDyclysWjq7QQcWHAk

Assessing the Prevalence of AI-assisted Cheating in Programming Courses: A Pilot Study
Kal\'eu Delphino
https://arxiv.org/abs/2507.06438 https://

Assessing the Prevalence of AI-assisted Cheating in Programming Courses: A Pilot Study
Tools that can generate computer code in response to inputs written in natural language, such as ChatGPT, pose an existential threat to Computer Science education in its current form, since students can now use these tools to solve assignments without much effort. While that risk has already been recognized by scholars, the proportion of the student body that is incurring in this new kind of plagiarism is still an open problem. We conducted a pilot study in a large CS class (n=120) to assess th…

"Nothing exists in isolation. Not a single thing." -- more @ #activism

Everything is Connected (In a Giant Tangled Knot)
welcome to the existential hairball 🐈

Day 1:
tl;dr: ESM TS NestJS TypeORM is possible, but not recommended for the impatient.
Successfully bootstrapped NestJS TypeORM PostgreSQL stack using ESM.
It only took:
- 6 hours
- 17 cryptic errors
- 3 existential crises
Turns out, using modern JS modules with legacy decorators is... bold. But hey — it runs now.
#CloudNative

🇺🇦 Auf #radioeins läuft...
Chloe Qisha:
🎵 Sex, Drugs & Existential Dread
#NowPlaying #ChloeQisha
https://chloeqisha.bandcamp.com/track/sex-drugs-existential-dread
https://open.spotify.com/track/6QNvGDyclysWjq7QQcWHAk

Mary Edith Barnes became aware of the work of the Glaswegian psychiatrist and countercultural figure, Dr RD (Ronnie) Laing,
author of "The Divided Self: An Existential Study in Sanity and Madness "(1960).
This led her to Kingsley Hall, a radical therapeutic community in Bow in East London.
Established in 1965 and headed up by Laing, it was an unconventional centre where mental-health professionals and those experiencing mental illness lived together. Drug-taking …

MARY BARNES
First published: Summer 2025 For English artist Mary Barnes, it was psychosis, radical treatment and an unorthodox relationship with her doctor that began her creative journey Mary Edith Barnes was born in Portsmouth, on England’s south coast, in 1923. She trained as a nurse, later joining the British Army and working

Scroll nets
Pablo Donato
https://arxiv.org/abs/2507.19689 https://arxiv.org/pdf/2507.19689

Scroll nets
We introduce a new formalism for representing proofs in propositional logic called "scroll nets". Its fundamental construct is the "scroll", a topological notation for implication proposed by C. S. Peirce at the end of the 19th century as the basis for his diagrammatic system of existential graphs (EGs). Scroll nets are derived from EGs by following the Curry-Howard methodology of internalizing inference rules inside judgments, just as terms in type theory internalize natural deduction rules. W…

Australia introduces 'climate visa' for Tuvaluans as rising sea levels threaten the island nation. #climatechange #climatesolutions #climate

A Special ‘Climate’ Visa? People in Tuvalu Are Applying Fast.
Nearly half the citizens of the tiny Pacific Island nation have already applied in a lottery for Australian visas amid an existential threat from global warming and sea-level rise.

This terrible, terrible bill is going to do direct, material harm to the country
- our health care system is going to be weakened,
- close to 100m people will be paying more for health care or lose their insurance,
- tens of millions will struggle to eat,
- our existential transition to a clean energy future undermined,
- an unprecedented domestic political police force will be established,
- the fiscal integrity of the United States will be in jeopardy t…

Signing This Terrible Bill Will Be A Loss For Trump - And America - Not A Win
Our leaders need to hear our roar of disapproval today, tomorrow, all week. Those of you with Republican Senators or House Members need to be particularly loud now

Machine vs Machine: Using AI to Tackle Generative AI Threats in Assessment
Mohammad Saleh Torkestani, Taha Mansouri
https://arxiv.org/abs/2506.02046 https:…

Machine vs Machine: Using AI to Tackle Generative AI Threats in Assessment
This paper presents a theoretical framework for addressing the challenges posed by generative artificial intelligence (AI) in higher education assessment through a machine-versus-machine approach. Large language models like GPT-4, Claude, and Llama increasingly demonstrate the ability to produce sophisticated academic content, traditional assessment methods face an existential threat, with surveys indicating 74-92% of students experimenting with these tools for academic purposes. Current respon…

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann, Markus Kr\"otzsch
https://arxiv.org/abs/2507.21851

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
Consequence-based reasoning can be used to construct proofs that explain entailments of description logic (DL) ontologies. In the literature, one can find multiple consequence-based calculi for reasoning in the $\mathcal{EL}$ family of DLs, each of which gives rise to proofs of different shapes. Here, we study three such calculi and the proofs they produce on a benchmark based on the OWL Reasoner Evaluation. The calculi are implemented using a translation into existential rules with stratified …

Despite the overwhelming interconnectedness of life's problems, even the smallest actions can send ripples of change through the whole web. full article @ https://www.brichapman.com/p/everything-is-connected-in-a-giant

Everything is Connected (In a Giant Tangled Knot)
welcome to the existential hairball 🐈

U.N. Court rules countries must act on climate change, setting precedent for global litigation and stricter emissions goals. #climatechange #climatesolutions #climate

Top U.N. Court Says Countries Must Act on Climate Change
The International Court of Justice called global warming an “urgent and existential threat” at a closely watched case in The Hague.

🇺🇦 Auf radioeins läuft...
Chloe Qisha:
🎵 Sex, Drugs & Existential Dread
#NowPlaying #ChloeQisha
#radioeins gespielten Titel als #Spotify Playliste: https://open.spotify.com/playlist/3hdH98B6uyXilhcWxCA6nv

"If everything is entangled, then no act is too small." -- more @ #activism

Everything is Connected (In a Giant Tangled Knot)
welcome to the existential hairball 🐈

Recognizing our interconnection isn't just comforting because it reminds us we matter; it can sometimes feel overwhelming because it also highlights the magnitude of the issues we face. full article @ https://www.brichapman.com/p/everything-is-connected-in-a-giant

Everything is Connected (In a Giant Tangled Knot)
welcome to the existential hairball 🐈

🇺🇦 Auf radioeins läuft...
Chloe Qisha:
🎵 Sex, Drugs & Existential Dread
#NowPlaying #ChloeQisha
#radioeins gespielten Titel als #Spotify Playliste: https://open.spotify.com/playlist/3hdH98B6uyXilhcWxCA6nv
Schon gewusst❓
Wenn Du einen Beitrag des Bots ⭐ FAVORISIERST, erfährt das nur der Bot - nicht Deine FollowerInnen.
Wenn Du einen Song weitererempfehlen möchtest, dann 🔁 TEILE ihn❗