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.

Bundesamt für Verfassungsschutz: Hier sind die ersten Belege zur Verfassungsfeindlichkeit der AfD https://fragdenstaat.de/artikel/exklusiv/2025/05/afd-gutachten-ausschnitt-verfassungsfeindlich/

Bundesamt für Verfassungsschutz: Hier sind die ersten Belege zur Verfassungsfeindlichkeit der AfD
Völkisch-nationalistisch, rassistisch, antidemokratisch – auch nach Ansicht des Geheimdienstes ist die AfD gesichert rechtsextrem. Wir veröffentlichen einen ersten Ausschnitt aus dem 1100 Seiten langen Gutachten.

📢 Verfassungsschutz setzt Einstufung der AfD als "gesichert rechtsextremistisch" vorerst aus
Das Bundesamt für Verfassungsschutz hat dazu eine "Stillhaltezusage" abgegeben. Dies ist keine Aussage über die Rechtmäßigkeit der Einstufung.
➡️ https:…

Verfassungsschutz setzt AfD-Einstufung als rechtsextremistisch vorerst aus
Im Rechtsstreit um die Einstufung der AfD als rechtsextremistisch hat der Verfassungsschutz eine "Stillhaltezusage" abgegeben. Bis zu einem Gerichtsurteil wird der Nachrichtendienst die Aussage nicht öffentlich wiederholen.

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…

Die Hamburger Volksinitiative »Schluss mit Gendersprache in Verwaltung und Bildung« ist vor dem #Verfassungsgericht gescheitert.

...c) capture that credential verification on their body-worn cameras. What's more, the policy states that the LAPD officers should "take appropriate enforcement action” if they determine an individual is not a legitimate federal enforcement officer, and "take crime reports for kidnapping or false imprisonment if agents have failed to identify themselves after a verification attempt." 2/2 (I verified this with several news sources.)
https://www.threads.com/@annepmitchellesq/post/DL0oDT7Sdnu

FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification
Gwok-Waa Wan, Shengchu Su, Ruihu Wang, Qixiang Chen, Sam-Zaak Wong, Mengnv Xing, Hefei Feng, Yubo Wang, Yinan Zhu, Jingyi Zhang, Jianmin Ye, Xinlai Wan, Tao Ni, Qiang Xu, Nan Guan, Zhe Jiang, Xi Wang, Yang Jun
https://arxiv.org/abs/2507.04276

FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification
Despite the transformative potential of Large Language Models (LLMs) in hardware design, a comprehensive evaluation of their capabilities in design verification remains underexplored. Current efforts predominantly focus on RTL generation and basic debugging, overlooking the critical domain of functional verification, which is the primary bottleneck in modern design methodologies due to the rapid escalation of hardware complexity. We present FIXME, the first end-to-end, multi-model, and open-sou…

Das Österreichische Staatsarchiv stellt seinen Benützer:innen hoffentlich auch die nötige Zeit zur Verfügung, um diese neu zur Verfügung gestellten digitalisierten Pläne durchzusehen: https://www.oesta.gv.at/veroeffentlichunge

Neues Outlook erhält mehr KI und verbesserte PST-Unterstützung
Microsoft hat dem neuen Outlook im Juni mit Updates mehr KI und bessere Unterstützung für PST-Dateien eingeimpft.
https://www.