Tootfinder

A New Grandson, a Lost Friend, and an Exoneration
This week brought both celebration and sorrow: the loss of a former Army comrade, the early arrival of a new grandson, and news of three Pennsylvania men finally exonerated after nearly three decades in prison. A reminder that life rarely comes in simple categories.

A New Grandson, a Lost Friend, and an Exoneration – Bob Mueller
A lost friend, a new grandson, and a Pennsylvania exoneration highlight a week of grief, joy, and questions about justice.

🇺🇦 #NowPlaying on BBCRadio3's #EssentialClassics
Wolfgang Amadeus Mozart, Martin Owen, Gšbor Takšcs‐Nagy & Manchester Camerata:
🎵 Horn Concerto No. 4 in E Flat Major, K. 495: I. Allegro maestoso
#MartinOwen
https://open.spotify.com/track/3JTPwxy3cSmCPFCtR5UZYP

Sources: Sonos' layoffs include some top design and product executives, like VP of Design Dana Krieger; CEO Tom Conrad says the move reduces management layers (Chris Welch/Bloomberg)

in diesem jahr feiert mein #abi-jahrgang 30jähriges jubiläum. (gottsindwiralt.) 🥳
in den nächsten tagen gehen die einladungen an die lehrer:innen raus, zu denen es noch anschriften gibt. ✉️
ich bin gespannt, wie viele kommen werden (können)!
#münster

🇺🇦 #NowPlaying on BBCRadio3's #EssentialClassics
Wolfgang Amadeus Mozart, Jean‐Efflam Bavouzet, Manchester Camerata & Gšbor Takšcs‐Nagy:
🎵 Concerto no. 5 in D major K.175 for piano and orchestra - 3rd Mov
https://open.spotify.com/track/6zVOlPFjO4flZSfxdbWcmx

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- The EDGE Language: Extended General Einsums for Graph Algorithms
Odemuyiwa, Porumbescu, Nayak, Pellauer, Emer, Owens
https://arxiv.org/abs/2404.11591 https://mastoxiv.page/@arXiv_csDS_bot/112291034292734261
- Composable Verification Pipelines for Multi-Agent Systems
Julian Alfredo Mendez, Andreas Br\"annstr\"om
https://arxiv.org/abs/2607.16266 https://mastoxiv.page/@arXiv_csLO_bot/116956805448253784
- AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang, Wenda Li, Haonan Li, Luke Ong, Conrad Watt
https://arxiv.org/abs/2607.16372 https://mastoxiv.page/@arXiv_csSE_bot/116956840082703202
- Exact Network Surgery: Functional Invariance and Gradient Plasticity in Reactive Computational Gr...
Abdallah Khemais (ISITCOM, University of Sousse)
https://arxiv.org/abs/2607.16568 https://mastoxiv.page/@arXiv_csAI_bot/116957045910225353
- Topology in Synthetic Domain Theory and its Formalisation in Agda
Runze Xue
https://arxiv.org/abs/2607.17292 https://mastoxiv.page/@arXiv_csLO_bot/116956840838635477
- Portable models as a replacement for industrial heuristics in compiler optimizations
Fot Nikolai, Vinarsky Alexander
https://arxiv.org/abs/2607.17389 https://mastoxiv.page/@arXiv_csSE_bot/116957129471226499
- Proceedings 42nd International Conference on Logic Programming
Wolfgang Faber, Laura Giordano, Ricardo Rocha, V\'itor Santos Costa
https://arxiv.org/abs/2607.17707 https://mastoxiv.page/@arXiv_csLO_bot/116956852438717401
toXiv_bot_toot

🇺🇦 #NowPlaying on BBCRadio3's #NightTracks
Wolfgang Amadeus Mozart, Martin Owen, Manchester Camerata & Gšbor Takšcs‐Nagy:
🎵 Horn concerto no. 4 in E flat major K.495 (2nd mvt)
#WolfgangAmadeusMozart #MartinOwen #newRelease 🆕 album
https://open.spotify.com/track/4x6iehFgnjucFSRAo2sBo3

🇺🇦 #NowPlaying on BBCRadio3's #Breakfast
Wolfgang Amadeus Mozart, Jean‐Efflam Bavouzet, Manchester Camerata & Gšbor Takšcs‐Nagy:
🎵 Piano Concerto no.16 in D major K.451 (3rd mvt)
#WolfgangAmadeusMozart #JeanEfflamBavouzet #ManchesterCamerata #GáborTakácsNagy

🇺🇦 #NowPlaying on BBCRadio3's #Breakfast
Wolfgang Amadeus Mozart, Martin Owen, Gšbor Takšcs‐Nagy & Manchester Camerata:
🎵 Rondo for Horn and Orchestra in E Flat Major, K. 371
#WolfgangAmadeusMozart #MartinOwen #newRelease 🆕 album
https://open.spotify.com/track/7g4uBfewHsK8di4KSx6S36

🇺🇦 #NowPlaying on BBCRadio3's #EssentialClassics
Wolfgang Amadeus Mozart, Jean‐Efflam Bavouzet, Manchester Camerata & Gšbor Takšcs‐Nagy:
🎵 Piano Concerto No.14 in E flat K449
#WolfgangAmadeusMozart #JeanEfflamBavouzet #ManchesterCamerata #GáborTakácsNagy