Tootfinder

Chance is number 1.
Choice will always be number 2. But it's still our main preoccupation.
If you choose not to decide, you still have made a choice! -Neil Peart, from Freewill lyrics
Geddy Lee puts the "!" in everything, and it's worth it.
#Rush #ChooseMusic

Rätselaufgabe des heutigen Sommerabends auf der heimischen Terrasse:
Höre ich die Musik aus dem Schützenzelt in Holt-Zentrum, oder ist es der Live-Auftritt von Neil Young im Hockeypark in Holt-West?
Gesendet aus Holt-Ost.
#Mönchengladbach

Modelling Program Spaces in Program Synthesis with Constraints
Tilman Hinnerichs, Bart Swinkels, Jaap de Jong, Reuben Gardos Reid, Tudor Magirescu, Neil Yorke-Smith, Sebastijan Dumancic
https://arxiv.org/abs/2508.00005

Modelling Program Spaces in Program Synthesis with Constraints
A core challenge in program synthesis is taming the large space of possible programs. Since program synthesis is essentially a combinatorial search, the community has sought to leverage powerful combinatorial constraint solvers. Here, constraints are used to express the program semantics, but not as a potentially potent tool to remove unwanted programs. Recent inductive logic programming approaches introduce constraints on the program's syntax to be synthesized. These syntactic constraints allo…

PAL: Designing Conversational Agents as Scalable, Cooperative Patient Simulators for Palliative-Care Training
Neil K. R. Sehgal, Hita Kambhamettu, Allen Chang, Andrew Zhu, Lyle Ungar, Sharath Chandra Guntuku
https://arxiv.org/abs/2507.02122

PAL: Designing Conversational Agents as Scalable, Cooperative Patient Simulators for Palliative-Care Training
Effective communication in serious illness and palliative care is essential but often under-taught due to limited access to training resources like standardized patients. We present PAL (Palliative Assisted Learning-bot), a conversational system that simulates emotionally nuanced patient interactions and delivers structured feedback grounded in an existing empathy-based framework. PAL supports text and voice modalities and is designed to scaffold clinical skill-building through repeated, low-co…