Tootfinder

FCC filing: Larry Ellison will hold a minority voting interest of ~35.5% in the combined Paramount-Skydance company, without any veto or special voting rights (Lucas Manfredi/The Wrap)
https://www.thewrap.com/larry-ellison-paramount-skydance-merger-voting-right…

Larry Ellison to Hold 35.5% of Family's Voting Rights in New Paramount, National Amusements After Skydance Merger Closes
The Oracle chairman will not have any "veto rights, or any special or outsized voting rights," per an amendment filed with the FCC

High temporal stability of niobium superconducting resonators by surface passivation with organophosphonate self-assembled monolayers
Harsh Gupta, Rui Pereira, Leon Koch, Niklas Bruckmoser, Moritz Singer, Benedikt Schoof, Manuel Kompatscher, Stefan Filipp, Marc Tornow
https://arxiv.org/abs/2508.15957…

High temporal stability of niobium superconducting resonators by surface passivation with organophosphonate self-assembled monolayers
One main limiting factor towards achieving high coherence times in superconducting circuits is two level system (TLS) losses. Mitigating such losses requires controlling the formation of native oxides at the metal-air interface. Here, we report the growth of alkyl-phosphonate self-assembled monolayers (SAMs) on Nb thin films following oxide removal. The impact of passivation was evaluated via the performance of coplanar waveguide resonators at 10mK, in terms of quality factor and resonant frequ…

I regularly work on Go code and my IDE is…
If you use another, drop it in replies and let’s see how many likes it gets.
[Boost if you think you have gophers in your following?]

I have a dual-boot setup with Debian and Elementary on my laptop, because Elementary was my very first Linux distro, so it’s got a place in my heart.
Anyway, here are some shirts I own, along with two logos and a tux I made at work using the Plasma CNC!
#ElementaryOS #Elementary

@… 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.

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-…

Do you like Ankh-Morpork and Lego?
Then you should vote to make this real:
#legoideas

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.

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…

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