Tootfinder

🇺🇦 #NowPlaying on BBCRadio3's #EssentialClassics
Alexander Glazunov, Maxim Vengerov, Berliner Philharmoniker & Claudio Abbado:
🎵 Violin Concerto in A minor, Op 82
#AlexanderGlazunov #MaximVengerov #ClaudioAbbado
https://open.spotify.com/track/1VGLsUxqCzUvTHBoqTrdH1

🇺🇦 #NowPlaying on KEXP's #MiddayShow
Tunde Adebimpe:
🎵 Magnetic
#TundeAdebimpe
https://tundeadebimpe.bandcamp.com/track/magnetic
https://open.spotify.com/track/46BIkntVmeG382rIo93J3d

🇺🇦 #NowPlaying on KEXP's #VarietyMix
D’Angelo and The Vanguard:
🎵 1000 Deaths
#DAngeloandTheVanguard
https://open.spotify.com/track/5Zvp0QO5e9cGhYHywdrfyQ

Properties of UTxO Ledgers and Programs Implemented on Them
Polina Vinogradova (Input Output Global), Alexey Sorokin (Input Output Global)
https://arxiv.org/abs/2506.05832

Properties of UTxO Ledgers and Programs Implemented on Them
Trace-based properties are the gold standard for program behaviour analysis. One of the domains of application of this type of analysis is cryptocurrency ledgers, both for the purpose of analyzing the behaviour of the ledger itself, and any user-defined programs called by it, known as smart contracts. The (extended) UTxO ledger model is a kind of ledger model where all smart contract code is stateless, and additional work must be done to model stateful programs. We formalize the application of …