Tootfinder

from my link log —
faer: a general-purpose linear algebra library for Rust.
https://docs.rs/faer/
saved 2025-03-24 https://dotat.at/:/ILSBW.…

For #TuneTuesday, this week's the theme is #ClipClopMusic. How about a broken-heart track by a fantastic group from #Québec (their albums are great and their shows are even better)?
« Elle est partie hier …

Agent Interpolation for Knowledge
Marta B\'ilkov\'a, Wesley Fussner, Roman Kuznets
https://arxiv.org/abs/2505.23401 https://a…

Agent Interpolation for Knowledge
We define a new type of proof formalism for multi-agent modal logics with S5-type modalities. This novel formalism combines the features of hypersequents to represent S5 modalities with nested sequents to represent the T-like modality alternations. We show that the calculus is sound and complete, cut-free, and terminating and yields decidability and the finite model property for multi-agent S5. We also use it to prove the Lyndon (and hence Craig) interpolation property for multi-agent S5, consi…

🇺🇦 #NowPlaying on #BBC6Music's #LoudAndProud
Blaqstarr:
🎵 Shake It To The Ground (feat. Rye Rye)
#Blaqstarr
https://maddecent.bandcamp.com/track/shake-it-to-the-ground
https://open.spotify.com/track/5IaLgGvF2Vf5twcDjXQ9K3