Tootfinder

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Cannibal Ox:
🎵 Vein
#CannibalOx
https://makindosrecords.bandcamp.com/track/cannibal-ox-the-cold-vein-abstract-minimix-remix
https://open.spotify.com/track/6gZtLtpiM0SEuVALe0JrzQ

Jihaad Campbell injury update: Eagles DC says first-round linebacker won't be ready until August

https://www.cbssports.com/nfl/news/jihaad-

The 81st edition of De Programmatica Ipsum is out!
This month, we worry about the perils of vibe coding in the minds of new generations of software developers; in the Library section, we review "Geek Sublime" by Vikram Chandra; and in our Vidéothèque section, we watch a 1986 interview of Grace Hopper at "Late Night with David Letterman".

Issue 081: Compilers
Welcome to the 81st issue of De Programmatica Ipsum, about Compilers. In this edition, we worry about the perils of vibe coding in the minds of new generations of software developers; in the Library section, we review "Geek Sublime" by Vikram Chandra; and in our Vidéothèque section, we watch a 1986 interview of Grace Hopper at "Late Night with David Letterman".

Bowser hit with ethics complaint over travel paid for by Qatar (Brady Knox/Washington Examiner)
https://www.washingtonexaminer.com/news/justice/3429846/muriel-bowser-qatar-ethics-complaint-travel-paid/
http://www.memeorandum.com/250603/p127#a250603p127

Alphabet offers to spend $500M over ten years to rebuild its global compliance structure, in a settlement proposal for an antitrust lawsuit from shareholders (Michael Acton/Financial Times)
https://www.ft.com/content/6df5a2c7-d9ae-49ac-a709-c478a3dd69dd…

Google to spend $500mn on compliance to settle shareholder antitrust suit
Latest move comes as tech giant is attacked on multiple legal fronts that threaten its break-up

On the Transfer of Completeness and Projection Properties in Truncated Vector Lattices
Mohamed Habibi, Hamza Hafsi
https://arxiv.org/abs/2505.24484 https:/…

On the Transfer of Completeness and Projection Properties in Truncated Vector Lattices
In this work we investigate the transfer of fundamental order and completeness properties between truncated Riesz spaces and their unitizations. Specifically, we provide characterizations and equivalences for several notions of completeness: the Archimedean property, relatively uniform completeness, Dedekind completeness, lateral completeness, universal completeness, and the projection property. Counterexamples are presented to illustrate the necessity of assumptions and the independence of var…

Complex wave functions, CPT and quantum field theory for classical generalized Ising models
Christof Wetterich
https://arxiv.org/abs/2505.24392 https://

Complex wave functions, CPT and quantum field theory for classical generalized Ising models
The quantum or quantum field theory concept of a complex wave function is useful for understanding the information transport in classical statistical generalized Ising models. We relate complex conjugation to the discrete transformations charge conjugation ($C$), parity ($P$) and time reversal ($T$). A subclass of generalized Ising models are probabilistic cellular automata (PCA) with deterministic updating and probabilistic initial conditions. Two-dimensional PCA correspond to discretize…

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
Chanuka Wijayakoon, Hai Dong, H. M. N. Dilum Bandara, Zahir Tari, Anurag Soin
https://arxiv.org/abs/2506.00943

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
Smart contracts can implement and automate parts of legal contracts, but ensuring their legal compliance remains challenging. Existing approaches such as formal specification, verification, and model-based development require expertise in both legal and software development domains, as well as extensive manual effort. Given the recent advances of Large Language Models (LLMs) in code generation, we investigate their ability to generate legally compliant smart contracts directly from natural lang…

Populous the Beginning: completed!
Level 24, Journey's End, feels like a culmination of all the stages so far. You start on a small area of land, with established Green enemies to the North and Yellow wrapping around the world to the East and West. All other tribes are well established, and very soon after starting the level the Greens cast a land bridge to start attacking.

2025 NFL Draft first-round pick contract tracker: Patriots sign Will Campbell; Giants' Abdul Carter inks deal

https://www.cbssports.com/nfl…