Tootfinder

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…

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

🇺🇦 Auf radioeins läuft...
Adam Green:
🎵 Superstar Blues
#NowPlaying #AdamGreen
https://open.spotify.com/track/1D5gByHILQbhn23bkgqK80

🇺🇦 #NowPlaying on #BBC6Music's #6Musics00sForever
Super Furry Animals:
🎵 God! Show Me Magic
#SuperFurryAnimals
https://open.spotify.com/track/6iIE1l1QopHXcDTfbLE9oI

One of the reasons I love FOSS and small commercial developers is that they don’t have teams of quasi-competitive coders and/or “product managers” who have formal incentives to make visible changes to software
E.g. Apple keeps changing their decor with apparently no real goal or concept of there being objectively better or worse visual styles. Someone made Liquid Glass & probably got a bonus for doing so. Quality of UX be damned, the look must always be fresh & new.

Federico Viticci :ticciseal: (@viticci@macstories.net)
Attached: 1 image Pocket Casts for iOS 18 on the left, Apple Podcasts for iOS 26 on the right. Between the illegible glass and the tab bar that disappears on scroll, I honestly have no idea who can take a look at this and say "Yes, that'll do it. That's good." Liquid Glass is a mess so far, *especially* on iOS. Actually pushing me to use apps without Liquid Glass.

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 …

I installed #iOS26 on my personal phone for the first time (dev beta3) and hoooly moly the UI design is as bad as everyone has been saying—and worse. Frustrations in the first day: functional content viewports noticeably smaller on my Mini display; lower info density everywhere; buttons over photos completely illegible; diffraction effects incredibly distracting; low/no-contrast UI boundaries with…

Most abbreviations are illegible

🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Antonín Dvořšk, Miluska Kvechova, Ludmila Vernerovš, Olga Kodesova, Vladimír Okénko, Ilja Prokop, Czech Radio Choir, Pilzen Radio Orchestra & Lubomír Mštl:
🎵 Mass in D major, Op 86
#AntonínDvořák #MiluskaKvechova #IljaProkop

🇺🇦 Auf radioeins läuft...
Stateless:
🎵 Bloodstream
#NowPlaying #Stateless
https://ras5502.bandcamp.com/track/stateless-bloodstream-cover-lead-guitar
https://open.spotify.com/track/5I2UElY0XPnPhQhBTxBcq3