Tootfinder

🇺🇦 #NowPlaying on KEXP's #MechanicalBreakdown
Kozmonaut:
🎵 Flieg
#Kozmonaut
https://ceibarecords.bandcamp.com/track/kozmonaut-flieg
https://open.spotify.com/track/7ItergzNm5JGrJSMUR5aWH

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
Kosei Fushimi, Kazunobu Serizawa, Junya Ikemoto, Kazumune Hashimoto
https://arxiv.org/abs/2603.28426 https://arxiv.org/pdf/2603.28426 https://arxiv.org/html/2603.28426
arXiv:2603.28426v1 Announce Type: new
Abstract: Signal Temporal Logic (STL) is widely used to specify timed and safety-critical tasks for cyber-physical systems, but writing STL formulas directly is difficult for non-expert users. Natural language (NL) provides a convenient interface, yet its inherent structural ambiguity makes one-to-one translation into STL unreliable. In this paper, we propose an \textit{ambiguity-preserving} method for translating NL task descriptions into STL candidate formulas. The key idea is to retain multiple plausible syntactic analyses instead of forcing a single interpretation at the parsing stage. To this end, we develop a three-stage pipeline based on Combinatory Categorial Grammar (CCG): ambiguity-preserving $n$-best parsing, STL-oriented template-based semantic composition, and canonicalization with score aggregation. The proposed method outputs a deduplicated set of STL candidates with plausibility scores, thereby explicitly representing multiple possible formal interpretations of an ambiguous instruction. In contrast to existing one-best NL-to-logic translation methods, the proposed approach is designed to preserve attachment and scope ambiguity. Case studies on representative task descriptions demonstrate that the method generates multiple STL candidates for genuinely ambiguous inputs while collapsing unambiguous or canonically equivalent derivations to a single STL formula.
toXiv_bot_toot

Kiezmoment: Ein Sturm im Popcorneimer https://weddingweiser.de/kiezmoment-ein-sturm-im-popcorneimer/

Kun CSC oli siirtämässä reilu vuosikymmen sitten superkoneitaan Kajaaniin, kritisoitiin proffan kanssa tätä sillä, että hukkalämmölle ei riitä ottajia (toisin kuin Espoossa) ja jos olisikin, korvaa biopolttoaineitta eikä hiilivoimaa. Kun meillä oli aiheeseen liittyvä yhteisprojekti CSC:n kanssa, tästä tuli vähän kitkaa, joka sitten toimitusjohtajan avulla laukaistiin. Hyvä, että käyttöä löytyy.

Sata metriä korkea savupiippu katoaa Kajaanista, koska kaukolämpö saadaan pian datakeskuksista
Höyryvoimalaitos ja sen 100 metriä korkea piippu käyvät tarpeettomiksi, koska Kajaanin kaukolämpö tuotetaan pian hukkalämmöllä ja sähkökattilalla.

Minnesota NO ICE
None of Us Are Free 'Til All of Us Are Free
Thomasina and Kashimana
Don't buy the lie
It's going to cost you too
Cause when they hurt me
They hurt you
We're all connected
Can't you see?
None of us are free,
'til all of us are free.
https://www.

Tune-out wavelength for the thulium atom near 576 nm
Ivan Pyrkh, Arjuna Rudnev, Daniil Pershin, Davlet Kumpilov, Ivan Cojocaru, Vladimir Khlebnikov, Pavel Aksentsev, Ayrat Ibrahimov, Sergey Kuzmin, Alexander Raskatov, German Subbotin, Kirill Dyadkin, Anna Zykova, Vladislav Tsyganok, Alexey Akimov
https://arxiv.org/abs/2602.20726