Tootfinder

Does the DNC want to play 1840’s Whigs?
Because redoing party internal processes to dislodge a firebrand is a great way to inspire a hard schism.
But hey, I’m no Dem…

Syntactic Effectful Realizability in Higher-Order Logic
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
https://arxiv.org/abs/2506.09458

Syntactic Effectful Realizability in Higher-Order Logic
Realizability interprets propositions as specifications for computational entities in programming languages. Specifically, syntactic realizability is a powerful machinery that handles realizability as a syntactic translation of propositions into new propositions that describe what it means to realize the input proposition. This paper introduces EffHOL (Effectful Higher-Order Logic), a novel framework that expands syntactic realizability to uniformly support modern programming paradigms with sid…

Groups admitting Wirtinger presentations and Gromov hyperbolic groups
Toshiyuki Akita
https://arxiv.org/abs/2506.07143 https://arxiv.…

Groups admitting Wirtinger presentations and Gromov hyperbolic groups
Twisted Wirtinger presentations are generalizations of the classical Wirtinger presentations of knot and link groups. In this paper, we prove that if a finitely generated group admitting a twisted Wirtinger presentation is Gromov hyperbolic, then its second rational homology group vanishes. Moreover, if the group is torsion-free, then its second integral homology group also vanishes.

Grumble grumble upgrading Ubuntu-LTS grumble Postgres server grumble.
Even in a toy situation this never works.
I'm just going to deploy a new VM and restore the pg_dump backup onto it, like I should have originally.
#techgore #database

Protect the Arctic from deep sea mining #Arctic

The best thing in the world that you can do is to help someone else with something they need.
That’s not an ethical mandate, it’s a bit of hedonistic advice. Go help someone. If it doesn’t feel great, you’re not doing it hard enough.

From Partial to Monadic: Combinatory Algebra with Effects
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
https://arxiv.org/abs/2506.09453

From Partial to Monadic: Combinatory Algebra with Effects
Partial Combinatory Algebras (PCAs) provide a foundational model of the untyped $λ$-calculus and serve as the basis for many notions of computability, such as realizability theory. However, PCAs support a very limited notion of computation by only incorporating non-termination as a computational effect. To provide a framework that better internalizes a wide range of computational effects, this paper puts forward the notion of Monadic Combinatory Algebras (MCAs). MCAs generalize the notion of P…

Life goals. https://mastodon.social/@mlmartens/114667348291611576

Martin L. Martens (@mlmartens@mastodon.social)
Attached: 1 image A mossy stump in the forest.

Catherine is pretty amazing. Read the thread for the RE… https://mastodon.social/@whitequark/114664566955690364

But, they were evil. Even if you happen to be descended from them. They did a definitively evil thing, and it was a defining choice of their lives. Everyone knew that the war was about continuing and entrenching slavery. More than any modern war, it was feasible for conscripts to escape service, either by paying or by running west.
I guarantee that every person reading this has some evil ancestor.
Get over yourself, JD.