Tootfinder

"After slashing foreign assistance and introducing steep tariffs, the Trump administration is proposing a new tax on remittances. African nations would be among the hardest hit."
Trump’s Domestic Policy Bill Could Hurt Global Poor, Especially Africa - The New York Times
https://www.nytimes.com/2025/06/03/world/africa/trump-bill-remittance-tax-africa.html

🇺🇦 #NowPlaying on BBCRadio3's #RoundMidnight
Dakota Staton:
🎵 My Heart's Delight
#DakotaStaton
https://open.spotify.com/track/1oFqsTBuXpStxQRxR93qE3

Was going to one bar but it turned out to be karaoke night so hard pass.
Walked on, past a bar called “The Eccentric“, and obviously I had to check it out. I am after all something of an eccentric myself, I hope.
The name is not misleading. You enter down a few steps into what looks like their liquor storage. The bar has more bottles of booze than I have ever seen in any bar. Apparently in fairly random order, but I am sure they have a very sophisticated system. Only customer so …

Unfolding Boxes with Local Constraints
Long Qian, Eric Wang, Bernardo Subercaseaux, Marijn J. H. Heule
https://arxiv.org/abs/2506.01079 https://

Unfolding Boxes with Local Constraints
We consider the problem of finding and enumerating polyominos that can be folded into multiple non-isomorphic boxes. While several computational approaches have been proposed, including SAT, randomized algorithms, and decision diagrams, none has been able to perform at scale. We argue that existing SAT encodings are hindered by the presence of global constraints (e.g., graph connectivity or acyclicity), which are generally hard to encode effectively and hard for solvers to reason about. In this…

Ahhhja. Rentnerin vergisst Herd abzuschalten und verlässt das Haus. War zum Glück Wasser drin, aber beim verdampfen wurde der Rauchmelder ausgelöst. Und jetzt beschwert sie sich, dass die Nachbarn die Feuerwehr angerufen haben und sie für den entstandenen Schaden zahlen soll.
Ich bin ja auch dafür im Zweifel erst mal nen Sanity-Check zu machen - wenn kein Rauch/Feuerschein zu sehen ist und das Ding nach ein paar Sekunden wieder Ruhe gibt oder man wen vor Ort antrifft muss sicher nicht…

Styled components has officially moved into maintenance-only mode: https://opencollective.com/styled-components/updates/thank-you
That's the bell I think, the era of runtime css-in-js libraries is now definitively over. So long and thanks for all the …

Thank you - styled-components
First and foremost, thank you to everyone who has contributed to styled-components over the years. Open Source is hard work, and many of the larger feature and/or refactoring drives probably would never have shipped without your support! As...

Yeah, I should have seen this coming: AI bots are taking online surveys more and more.
https://www.schneier.com/blog/archives/2025/05/more-ais-are-taking-polls-and-surveys.html

Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem
Zhidong Zhang
https://arxiv.org/abs/2505.18460 https://

Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem
The common feature for a nontrivial hard problem is the existence of nontrivial topological structures, non-planarity graphs, nonlocalities, or long-range spin entanglements in a model system with randomness. For instance, the Boolean satisfiability (K-SAT) problems are nontrivial, due to the existence of non-planarity graphs, nonlocalities, and the randomness. In this work, the relation between a spin-glass three-dimensional (3D) Ising model with the lattice size N = mnl and the K-SAT problems…