Tootfinder

heise | Pocket verabschiedet sich: Sieben Read-It-Later-Alternativen vorgestellt
Mozilla beendet seinen Read-Later-Dienst Pocket. Wir testen die Alternativen und zeigen, wie Sie Ihre Daten retten und in einen neuen Dienst importieren.

Einige der zuletzt hier besonders häufig geteilten #News:
Verfassungsgericht: Staatstrojaner sind bei "Alltagskriminalität" tabu

Verification of Visual Controllers via Compositional Geometric Transformations
Alexander Estornell, Leonard Jung, Michael Everett
https://arxiv.org/abs/2507.04523

Verification of Visual Controllers via Compositional Geometric Transformations
Perception-based neural network controllers are increasingly used in autonomous systems that rely on visual inputs to operate in the real world. Ensuring the safety of such systems under uncertainty is challenging. Existing verification techniques typically focus on Lp-bounded perturbations in the pixel space, which fails to capture the low-dimensional structure of many real-world effects. In this work, we introduce a novel verification framework for perception-based controllers that can genera…

Supporting Software Formal Verification with Large Language Models: An Experimental Study
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao
https://arxiv.org/abs/2507.04857

Supporting Software Formal Verification with Large Language Models: An Experimental Study
Formal methods have been employed for requirements verification for a long time. However, it is difficult to automatically derive properties from natural language requirements. SpecVerify addresses this challenge by integrating large language models (LLMs) with formal verification tools, providing a more flexible mechanism for expressing requirements. This framework combines Claude 3.5 Sonnet with the ESBMC verifier to form an automated workflow. Evaluated on nine cyber-physical systems from Lo…

Zum Abend noch einige der heute besonders häufig geteilten #News:
Verfassungsgericht: Staatstrojaner sind bei "Alltagskriminalität" tabu

Verfassungsgericht: Staatstrojaner sind bei "Alltagskriminalität" tabu
Die Polizei darf Staatstrojaner laut Bundesverfassungsgericht nicht einsetzen, wenn eine Tat mit Höchstfreiheitsstrafe von 3 Jahren oder weniger geahndet wird.

Tesla stellt hauseigenes KI-Projekt Dojo ein
Dojo sollte Videodaten verarbeiten und die Fahrassistenten in Tesla-Fahrzeugen verbessern. Jetzt verkündete CEO Elon Musk einen Strategiewechsel.
https://www.

Zum Abend noch einige der heute besonders häufig geteilten #News:
Verfassungsgericht: Staatstrojaner sind bei "Alltagskriminalität" tabu

SwitchBot K20 Pro: Saugbot mit fahrendem Serviertablett verfügbar
Der Saug- und Wischroboter SwitchBot K20 Pro putzt nicht nur den Boden, sondern bringt Frühstück ans Bett oder den Ventilator dorthin, wo es heiß ist.

Streit beigelegt? Nintendo Switch 2 jetzt bei Amazon US verfügbar
In den USA konnte man die Switch 2 lange nicht bei Amazon kaufen – offenbar wegen eines Streits mit Nintendo. Nun ist die Konsole wieder verfügbar.