Tootfinder

https://www.ndr.de/nachrichten/niedersachsen/feuchttuecher-politik-diskutiert-ueber-abgabe-oder-verbot,feuchttuecher-100.html
Wer kommt den auf diese Idee? Ich werfe gebrauchte Feuchttücher selbstverstän…

Problem Feuchttücher: Politik diskutiert über Abgabe oder Verbot
Feuchttücher werden zu einem immer größeren Problem für unser Abwassersystem. Niedersachsens Umweltminister Meyer will jetzt die Hersteller in die Pflicht nehmen - mit einer Abgabe. Andere fordern sogar ein Verbot.

Viral ‘Cheater Buster’ Sites Use Facial Recognition to Let Anyone Reveal Peoples’ Tinder Profiles https://www.404media.co/viral-cheater-buster-sites-use-facial-recognition-to-let-anyone-reveal-peoples-tinder-profiles/…

Verbieten klingt erst einmal gut, löst aber nicht das Problem: 53 % der Deutschen befürworten ein Social-Media-Verbot für Kinder. Klingt vernünftig – bis man merkt: Die Risiken der digitalen Welt verschwinden nicht mit dem Ausloggen. Statt komplexe Probleme zu verbieten, sollten wir sie verstärkt an der Wurzel anpacken: Plattformregeln statt Pausenknopf. #Statista

Formally Verified Certification of Unsolvability of Temporal Planning Problems
David Wang, Mohammad Abdulaziz
https://arxiv.org/abs/2510.10189 https://arxi…

Formally Verified Certification of Unsolvability of Temporal Planning Problems
We present an approach to unsolvability certification of temporal planning. Our approach is based on encoding the planning problem into a network of timed automata, and then using an efficient model checker on the network followed by a certificate checker to certify the output of the model checker. Our approach prioritises trustworthiness of the certification: we formally verify our implementation of the encoding to timed automata using the theorem prover Isabelle/HOL and we use an existing cer…

"Ich halte die Debatte für Augenwischerei, die auf dem Rücken der nächsten Generation von den wirklichen Problemen im Umgang mit Social Media ablenkt – und den aktuell überforderten Erwachsenen eine scheinbar einfache Antwort anbietet." @… - Statt Verbote zu fordern, brauchen wir Medienkompetenz! Wer Kinder schützen will, muss Plattformen regulieren – nicht ih…

Social-Media-Verbot in Australien tritt in Kraft: Jugendliche verlieren Accounts
Ab Mittwoch müssen TikTok, Instagram & Co. australische Nutzer unter 16 Jahren sperren. Die Plattformen setzen auf Gesichtserkennung – mit Problemen.

Sam Altman says OpenAI plans a ChatGPT version with a "personality that behaves more like what people liked about 4o" and will add "erotica for verified adults" (Sam Altman/@sama)
https://x.com/sama/status/1978129344598827128

Sam Altman (@sama) on X
We made ChatGPT pretty restrictive to make sure we were being careful with mental health issues. We realize this made it less useful/enjoyable to many users who had no mental health problems, but given the seriousness of the issue we wanted to get this right. Now that we have

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
Jinhua Wu, Yuting Wang, Liukun Yu, Linglong Meng
https://arxiv.org/abs/2510.10015

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
Program safety (i.e., absence of undefined behaviors) is critical for correct operation of computer systems. It is usually verified at the source level (e.g., by separation logics) and preserved to the target by verified compilers (e.g., CompCert), thereby achieving end-to-end verification of safety. However, modern safe programming languages like Rust pose new problems in achieving end-to-end safety. Because not all functionalities can be implemented in the safe language, mixing safe and unsaf…

E-Zigaretten als Wegwerfprodukt: Politik treibt Verbot voran
Einweg-E-Zigaretten sind immer beliebter aber auch ein gravierendes Elektroschrott-Problem. Die Bundesregierung soll hier aktiv werden, fordert der Bundestag.

Reddit starts a limited test of verified profiles, an opt-in feature that places a gray checkmark beside the usernames of notable people or businesses (Amanda Silberling/TechCrunch)
https://techcrunch.com/2025/12/10/reddit-is-testing-verification-badges/

Reddit is testing verification badges | TechCrunch
Verified users will actually be notable figures, not just people who paid for the checkmark.