Tootfinder

Was für ein Verlust für die Kölner Kinoszene. Bernhard Marsch, zentrale Figur des Filmclub 813, ist Sonntagabend bei einem Unfall verstorben.
https://www.filmstiftung.de/news/bernhard-marsch-verstorben/

Bernhard Marsch verstorben - Film und Medien Stiftung NRW
Der Kölner Regisseur, Drehbuchautor, Filmproduzent und Schauspieler Bernhard Marsch ist überraschend bei einem tragischen Unfall im Alter von 63 Jahren verstorben.Der 1962 geborene Filmemacher war eine engagierte Persönlichkeit der Kölner Filmszene. 1990 gehörte Marsch zu den Gründungsmitgliedern des Filmclub 813, dessen langjähriger Vorsitzender er war. Der Filmclub wurde mehrfach mit dem Kinematheksverbundspreis ausgezeichnet und gilt als fester Bestandteil der Kölner Filmkultur.

#Schweiz Hedwig Zaugg wurde vor 110 Jahren in Walterswil geboren. Sie feiert im Seniorenpark Sonnegg in Huttwil ihren "Königinnentag"
#Alter #Seniorin

Walterswil: Älteste Bernerin feiert 110. Geburtstag
Die Walterswilerin Hedwig Zaugg wird am Samstag 110 Jahre alt. Ihr Leben hört sich an wie eine Reise in längst vergangene Zeiten.

"Bits & Böses": Wer moderiert den Hass im Netz?
"Hass im Netz kann zwar alle treffen, aber er trifft nicht alle gleich", sagt Jutta Brennauer von den Neuen Deutschen Medienmacher*innen im heise-Podcast.

Wero: Luxemburg stößt hinzu
„Ab Juni 2026 können Kunden von Spuerkeess, BIL, POST Luxembourg, Raiffeisen und BGL BNP Paribas die digitale Wallet Wero nutzen.“
„Zu erwähnen ist auch die geplante Integration von Payconiq, das 2023 von EPI übernommen wurde. Die Umstellung soll schrittweise erfolgen, wobei Payconiq voraussichtlich bis September 2026 vollständig durch Wero ersetzt wird.“
🌐

Is een golfbaan zonder energie wel aantrekkelijk? Olielampjes, bbq, fakkels en in de winter een kampvuurtje voor verwarming?
Advocaat Quote 500-lid Robert van der Wallen: 'Windturbines maken golfbaan Bernardus onaantrekkelijk' https://www.

The First Detection of Molecular Activity in the Largest Known Oort Cloud Comet - ALMA Imaging of C/2014 UN271 (Bernardinelli–Bernstein) at 16.6 au from the Sun: #Comet Ever Observed Reveals Its Secrets with ALMA’s Powerful Gaze: https://public.nrao.edu/news/largest-oort-cloud-comet-ever-observed-reveals-its-secrets-with-almas-powerful-gaze/ - giant comet’s molecular activity and chemistry detected at record distance.

But I owe a duty to Ireland:
I held her honour in my hand,
This lovely land that always sent
Her writers and artists to banishment
And in a spirit of Irish fun
Betrayed her own leaders, one by one.
James Joyce, Gas From a Burner (1912)
http://www.ricorso.net/rx/library/authors/classic/Joyce_J/Poetry/Gas_Burn.htm

Asymptotically Smaller Encodings for Graph Problems and Scheduling
Bernardo Subercaseaux
https://arxiv.org/abs/2506.14042 https://arx…

Asymptotically Smaller Encodings for Graph Problems and Scheduling
We show how several graph problems (e.g., vertex-cover, independent-set, $k$-coloring) can be encoded into CNF using only $O(|V|^2 / \lg |V|)$ many clauses, as opposed to the $Ω(|V|^2)$ constraints used by standard encodings. This somewhat surprising result is a simple consequence of a result of Erdős, Chung, and Spencer (1983) about biclique coverings of graphs, and opens theoretical avenues to understand the success of "Bounded Variable Addition'' (Manthey, Heu…

Role, cost, and complexity of software in the real-world: a case for formal methods
Giovanni Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi
https://arxiv.org/abs/2506.13821

Role, cost, and complexity of software in the real-world: a case for formal methods
In this chapter we outline the role that software has in modern society, along with the staggering costs of poor software quality. To lay this bare, we recall the costs of some of the major software failures that happened during the last~$40$ years. We argue that these costs justify researching, studying and applying formal software verification and in particular program analysis. This position is supported by successful industrial experiences.

How Viable are Energy Savings in Smart Homes? A Call to Embrace Rebound Effects in Sustainable HCI
Christina Bremer, Harshit Gujral, Michelle Lin, Lily Hinkers, Christoph Becker, Vlad C. Coroam\u{a}
https://arxiv.org/abs/2506.14653

How Viable are Energy Savings in Smart Homes? A Call to Embrace Rebound Effects in Sustainable HCI
As part of global climate action, digital technologies are seen as a key enabler of energy efficiency savings. A popular application domain for this work is smart homes. There is a risk, however, that these efficiency gains result in rebound effects, which reduce or even overcompensate the savings. Rebound effects are well-established in economics, but it is less clear whether they also inform smart energy research in other disciplines. In this paper, we ask: to what extent have rebound effects…