Tootfinder

Cowboys QB Dak Prescott cares not for legacy, says he has to win a Super Bowl 'for my sanity'

https://www.cbssports.com/nfl/news/cowboys

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.

Notes on applicative matching logic
Laurentiu Leustean
https://arxiv.org/abs/2506.10088 https://arxiv.org/pdf/2506.10088

Notes on applicative matching logic
Matching logic (ML) was developed by Grigore Roşu and collaborators as a logic for defining the formal semantics of programming languages and for specifying and reasoning about the behavior of programs. These lecture notes present basic definitions and results on applicative matching logic (AML), a functional variant of ML introduced recently by Xiaohong Chen and Grigore Roşu. They can be used as an introductory text in the theory of AML. Monk's textbook on mathematical logic has an enormous …

How lakes connect to groundwater critical for resilience to climate change, research finds https://phys.org/news/2025-07-lakes-groundwater-critical-resilience-climate.html

How lakes connect to groundwater critical for resilience to climate change, research finds
Understanding whether lakes are fed predominantly by groundwater or rainwater is critical to managing our water resources in the face of droughts and shortages, new research has found.

Kinda cool to see the programme for the UN's open source week... https://www.un.org/digital-emerging-technologies/content/open-source-week-2025 but, of course, it's already almost entirely co-opted by corporate interests. They shit on ev…

A cavity array microscope for parallel single-atom interfacing
Adam L. Shaw, Anna Soper, Danial Shadmany, Aishwarya Kumar, Lukas Palm, Da-Yeon Koh, Vassilios Kaxiras, Lavanya Taneja, Matt Jaffe, David I. Schuster, Jonathan Simon
https://arxiv.org/abs/2506.10919

A cavity array microscope for parallel single-atom interfacing
Neutral atom arrays and optical cavity QED systems have developed in parallel as central pillars of modern experimental quantum science. While each platform has demonstrated exceptional capabilities-such as high-fidelity quantum logic in atom arrays, and strong light-matter coupling in cavities-their combination holds promise for realizing fast and non-destructive atom measurement, building large-scale quantum networks, and engineering hybrid atom-photon Hamiltonians. However, to date, experime…

Five late-round quarterbacks to draft in your Fantasy Football leagues that FFT loves for the 2025 season

https://www.cbssports.com…

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
Antonella Bilotta
https://arxiv.org/abs/2506.10048 https://…

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
The present dissertation introduces the research project on HOLMS (\textbf{HOL} Light Library for \textbf{M}odal \textbf{S}ystems), a growing modular framework for modal reasoning within the HOL Light proof assistant. To provide an accessible introduction to the library, the fundamentals of modal logic are outlined first, followed by a concise manual for the proof assistant itself. The core contribution of this work on HOLMS is the development of a unified and modular strategy for proving adequ…

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.

Cowboys QB Dak Prescott focused on winning Super Bowl: 'The legacy will take care of itself' https://www.nfl.com/news/cowboys-qb-dak-prescott-focused-on-winning-super-bowl-the-legacy-will-take-care-of-itself