Tootfinder

@… The blog post will be on logic programming, but maybe there’s another one somewhere on failing fast. I would need to experiment more, though.

Apache Flink is uniquely positioned to serve as the backbone for AI agents, equipping them with the powerful new tool of stream processing. Join Steffen Hoellinger at this year's Berlin Buzzwords to explore how Flink jobs can be transformed into “Agents”—autonomous, goal-driven entities that dynamically interact with data streams, trigger actions, and adapt their behaviour based on real-time insights.
Learn more:

Apple strikes a first-look deal with Peter Chernin's North Road studio, which has been aligned with Netflix for five years, to give Apple access to new films (Lucas Shaw/Bloomberg)
https://www.bloomberg.com/news/articles/20

It seems like, again, just following the plain logic of the Constitution and Declaration of Independence (which, again, I do not subscribe to), that every law passed under Trump, every supreme court justice appointment by Trump, every supreme court ruling by Trump appointed justices, all the illegal firing, etc, must all, necessarily, be null and void.
And if not following from the insurrection act, or from the oath of office, then following from the Declaration of Independence itself. The logic here being that a constitution is a contract between the people and their government, which the later upholds in order to maintain its legal status. The violation of said laws by the government violates "consent of the governed" (which, again, I have issues with the concept entirely but we're just going to ignore that) and therefore nullifies the authority of that government, granting " the right of the people to alter or to abolish it."
That seems a lot like the hard reset some folks have been looking for. Given that existing flaws allowed this state to be reached, it would also be necessary for the true authority to correct those mistakes before assuming authority that derives from these principles.
Now, personally, I don't subscribe to any of this logic but it's interesting to explore, as an outsider, where the logic goes.

»One of Mr. Reagan's advisers, David Stockman, later wrote that the real aim of fiscal policy was to create a ›strategic deficit‹ that would slam the door and reduce the size of the federal government.« https://www.nytimes.com/2004/06/07/opinion/ronald-reagan.html

Computational Complexity of Model-Checking Quantum Pushdown Systems
Deren Lin, Tianrong Lin
https://arxiv.org/abs/2506.18439 https://…

Computational Complexity of Model-Checking Quantum Pushdown Systems
In this paper, we study the problem of model-checking quantum pushdown systems from a computational complexity point of view. We arrive at the following equally important, interesting new results: We first extend the notions of the {\it probabilistic pushdown systems} and {\it Markov chains} to their quantum analogues and investigate the question of whether it is necessary to define a quantum analogue of {\it probabilistic computational tree logic} to describe the probabilistic and branching-…

Randall Monroe's recent "xkcd What if" video has a Great Lakes connection.
"What if you funneled Niagara Falls through a straw?"
Super cool system where we did fieldwork some year ago.
Kudos for mentioning trouble with the Niagara Board of Control. 🏅
https://youtu.be/pfbzrr…

The Cradle of Civilization
Assyria Babylonia Sumer Persia Elam Medes Parthian
Babylonia - Born Again
https://www.youtube.com/watch?v=5Iy4u3E6iLA
e
DIODATO - Babilonia

Automata on $S$-adic words
Val\'erie Berth\'e, Toghrul Karimov, Mihir Vahanwala
https://arxiv.org/abs/2506.17460 https://arxi…

Automata on $S$-adic words
A fundamental question in logic and verification is the following: for which unary predicates $P_1, \ldots, P_k$ is the monadic second-order theory of $\langle \mathbb{N}; <, P_1, \ldots, P_k \rangle$ decidable? Equivalently, for which infinite words $α$ can we decide whether a given Büchi automaton $A$ accepts $α$? Carton and Thomas showed decidability in case $α$ is a fixed point of a letter-to-word substitution $σ$, i.e., $σ(α) = α$. However, abundantly more words, e.g., Sturmian wor…

Now personally, I'm not invested in the law and I reject the logical underpinnings of the whole thing. The US is founded on land that already had people on it, that already had multiple systems of authority, so there can be no claim that it has any legal authority to exist at all.
But it's hard to ignore the inconsistency here. Accepting the logic from the Declaration of Independence and the Constitution, there is no way in which the current state can be legitimate and which Trump has the authority to do anything. The last legal president, again, following the logic that assumes such a thing even possible, was Barak Obama. Since the transfer of power, the country has failed to enforce the law.
If the executive cannot complete their oath, then they are considered vacant under the 25th amendment. If the cabinet fails to invoke article 4, then they too are involved in the insurrection (again, simply following the logic outlined pretty clearly here) as are any who would fail to support the invocation.
Since a full takeover of the federal government by insurrectionists wasn't really planned for, I'm guessing that it would necessarily go to the states, being the only remaining legal authority.