Tootfinder

Some US states pass or explore laws aimed at reining in the cost of e-books for libraries, which often pay 10x more for e-book licenses than print copies (Erik Ofgang/New York Times)
https://www.nytimes.com/2025/07/16/books/l…

Some States Are Pushing Back on Library E-Book Licensing Fees
Proposed legislation would pressure publishers to adjust borrowing limits and find other ways to widen access.

1/N Johtaminen uudistuu! Eilen tuli televisiosta ohjelma, jossa demonstroitiin uutta johtamismallia "cheerleading" - kannustusjohtaminen. Uusi malli näyttää olevan varsinkin nuorten naisjohtajien suosiossa. Mallissa on erityisiä piirteitä:
SUHTAUTUMINEN ASIOIHIN: Malli on erittäin, jopa liioittelevan positiivinen
JOHTAJUUDEN JAKAMINEN: Malli on yhteispeliä, tiimityötä, koko johtoryhmän toiminta on tarkasti synkronisoitu

Don't think it'll pass but hey, one can dream, can't we?
MAGA entitlement audacity has long surpassed obnoxious.
Original post: https://bsky.app/profile/did:plc:3dt4dz5xu7y6vkssdh73jcpw/post/3ltiehl2wfc2x

Engineering an LTLf Synthesis Tool
Alexandre Duret-Lutz (LRE), Shufang Zhu (Chalmers), Nir Piterman (Chalmers), Giuseppe de Giacomo (UNIROMA), Moshe Y Vardi
https://arxiv.org/abs/2507.02491

Engineering an LTLf Synthesis Tool
The problem of LTLf reactive synthesis is to build a transducer, whose output is based on a history of inputs, such that, for every infinite sequence of inputs, the conjoint evolution of the inputs and outputs has a prefix that satisfies a given LTLf specification. We describe the implementation of an LTLf synthesizer that outperforms existing tools on our benchmark suite. This is based on a new, direct translation from LTLf to a DFA represented as an array of Binary Decision Diagrams (MTBDDs) …

please share this post with #bluesky folks https://bsky.app/profile/did:plc:letl2pb3pf55fgs6h75sjs5s/post/3lto2bfbt6c2m

🇺🇦 #NowPlaying on KEXP's #StreetSounds
Little Brother:
🎵 For You
#LittleBrother
https://raxofficial.bandcamp.com/track/think-big-little-brother

Shop Progressive Small Businesses at Little Blue Cart
https://littlebluecart.com/

In Windows 11's Kernel32.dll (well, KernelBase.dll) the check for "twain_32.dll" is still there. I wonder when it was the first time that thing was put there.

Solving MDPs with LTLf and PPLTL Temporal Objectives
Giuseppe De Giacomo, Yong Li, Sven Schewe, Christoph Weinhuber, Pian Yu
https://arxiv.org/abs/2505.17264

Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
The temporal logics LTLf+ and PPLTL+ have recently been proposed to express objectives over infinite traces. These logics are appealing because they match the expressive power of LTL on infinite traces while enabling efficient DFA-based techniques, which have been crucial to the scalability of reactive synthesis and adversarial planning in LTLf and PPLTL over finite traces. In this paper, we demonstrate that these logics are also highly effective in the context of MDPs. Introducing a technique …

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Red Astaire:
🎵 Ghetto Hell
#RedAstaire
https://open.spotify.com/track/3Y71Ecal1LOADulevhaVGI