Tootfinder

Wenn ich mich so durch den E-Mail-Anbietertest des @… klicke, bin ich ganz zufrieden mit den europäischen Anbietern (abgesehen von der #Telekom, #Vodafone und ein paar kleineren wie ko…

I ran a broken link checker on jws.dev and found out that the Milwaukee Hack & Tell website is gone.

🔐 📧 Web Key Directory Checker #WKD
#Email

I feel like this is opening a new labor market: Legal fact-checker who verifies an AI-produced brief. I recall reading that hallucinations like this were expected by the creators of #LLM, almost a mathematical probability. #AI

California issues historic fine over lawyer’s ChatGPT fabrications
The court of appeals issued an historic fine after 21 of 23 quotes in the lawyer's opening brief were fake. Courts want more AI regulations.

The Washington Post's Fact Checker Glenn Kessler is leaving the paper after over 27 years, having taken a buyout, and is "not sure" if his role will be replaced (Sean Burch/The Wrap)
https://www.thewrap.com/washington-post-fact-checker-exits/

Washington Post Fact Checker Exits, Says He's 'Not Sure' if Paper Will Replace Role
WaPo Fact Checker Glenn Kessler on Monday said he was leaving the "best job in journalism" after accepting a buyout offer from the outlet

... and now (because we use eu-west-1at work), our automated AWS service checker for that region has just lit up like a christmas tree.
Problems incoming to many online services across much of Europe, I suspect.
#AWS

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…

MICA: Multi-Agent Industrial Coordination Assistant
Di Wen, Kunyu Peng, Junwei Zheng, Yufan Chen, Yitain Shi, Jiale Wei, Ruiping Liu, Kailun Yang, Rainer Stiefelhagen
https://arxiv.org/abs/2509.15237

MICA: Multi-Agent Industrial Coordination Assistant
Industrial workflows demand adaptive and trustworthy assistance that can operate under limited computing, connectivity, and strict privacy constraints. In this work, we present MICA (Multi-Agent Industrial Coordination Assistant), a perception-grounded and speech-interactive system that delivers real-time guidance for assembly, troubleshooting, part queries, and maintenance. MICA coordinates five role-specialized language agents, audited by a safety checker, to ensure accurate and compliant sup…

check out this *client side captcha* https://www.telstrawholesale.com.au/3G-Network-Closure-Blocked-Devices-Checker.html

check out this *client side captcha* https://www.telstrawholesale.com.au/3G-Network-Closure-Blocked-Devices-Checker.html

The Fact Checker rose in an era of false claims. Falsehoods are now winning. (Glenn Kessler/Washington Post)
https://www.washingtonpost.com/politics/2025/07/31/fact-checker-falsehoods-glenn-kessler/
http://www.memeorandum.com/250731/p23#a250731p23

I know it's hopelessly naive of me (and it's going to go over like a lead balloon on here), but I often think that AI can kind of reset the scales on Brandolini's law.
You see some of this dynamic with Grok already, where despite Musk's best efforts, the poor bot just keeps outputting consensus reality.
What's more, the hardcore X crowd is more than happy to ask Grok to fact check any single tweet. There is real appetite for a quick, automated fact checker.

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
Chester J. F. Gould, William J. Bowman
https://arxiv.org/abs/2509.13489 https://

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
A key part of any dependent type-checker is the method for checking whether two types are equal. A common claim is that syntax-directed equality is more performant, although type-directed equality is more expressive. However, this claim is difficult to make precise, since implementations choose only one or the other approach, making a direct comparison impossible. We present some work-in-progress developing a realistic platform for direct, apples-to-apples, comparison of the two approaches, qua…

Мобильный интернет у меня ущербный (скриншот 1), не даёт зайти на крабу, но и тут меня выручает домашний сервер.
Я свободно пускаю трафик по #WireGuard, и интернет сразу хорошеет (скриншот 2).
#ДомашнийСервер

Washington Post fact-checker takes buyout (Dominick Mastrangelo/The Hill)
https://thehill.com/homenews/media/5423747-washington-post-fact-checker-leaves/
http://www.memeorandum.com/250728/p101#a250728p101

Der Urlaubs-Checker - So verlängern Sie 2026 geschickt Ihre Freizeit #News #Nachrichten

Ich benutze schon eine Weile das LanguageTool: https://languagetool.org/ für Thunderbird und habe gerade gemerkt, dass es für Firefox existiert und es ist echt cool. Es erkennt nicht nur Rechtschreibung, sondern auch Satzbau.
Vermutlich werden die wieder Daten sammeln oder so, aber es ist erstmal sehr nützlich…

Free AI Grammar Checker - LanguageTool
Instantly check grammar, punctuation, and spelling errors with LanguageTool's AI-powered grammar checker. Enhance your writing in over 30 languages with ease.

CNN fact-checker spends four minutes debunking Trump’s multiple ‘lies’ in his speech to US military top brass | The Independent
https://www.independent.co.uk/news/world/americas/us-politics/trump-military-speech-lies-debunked-cnn-b2836902.html

Oh fun find, there was actually something called Oxide in the history of #Rust already - a formalization attempt:
https://arxiv.org/abs/1903.00982 🦀
cc @…

Oxide: The Essence of Rust
Rust claims to advance industrial programming by bridging the gap between low-level systems programming and high-level application programming. At the heart of the argument that this enables programmers to build more reliable and efficient software is the borrow checker - a novel approach to ownership that aims to balance type system expressivity with usability. And yet, to date there is no core type system that captures Rust's notion of ownership and borrowing, and hence no foundation for rese…

from my link log —
Lower your guards: a compositional pattern-match coverage checker.
https://dl.acm.org/doi/10.1145/3408989
saved 2025-07-16 htt…

Huch, ich hab wohl die letzten Jahre geschlafen. Es scheint wieder kostenlose Linking/Backling-Checker zu geben. Spontan sieht #searchtools

This resonates 50% with me. But the other 50%, I am like you and your manager have to become more the architects and less the lines-of-code-checker. Also thinking about tests and edge cases is even more important now. https://exquisite.social/@thomholwerda/114959217780568638…

Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers
Xin-Qiang Cai, Wei Wang, Feng Liu, Tongliang Liu, Gang Niu, Masashi Sugiyama
https://arxiv.org/abs/2510.00915

Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers
Reinforcement Learning with Verifiable Rewards (RLVR) trains policies against automated verifiers to avoid costly human labeling. To reduce vulnerability to verifier hacking, many RLVR systems collapse rewards to binary $\{0,1\}$ during training. This choice carries a cost: it introduces \textit{false negatives} (rejecting correct answers, FNs) and \textit{false positives} (accepting incorrect ones, FPs). For instance, a rule-based checker may mark the correct fraction $\frac{12}{36}$ as wrong …

🇺🇦 #NowPlaying on #KEXP's #Continent
Chief Checker:
🎵 Africa Irie
#ChiefChecker

After more than 27 years at The Washington Post, including almost 15 as The Fact Checker, I will be leaving on July 31, having taken a buyout. ... (Glenn Kessler/Glenn Kessler on LinkedIn)
https://www.linkedin.com/posts/glennkessler_after-more-than-27-years-at-the-washington-activity-7355582813510766592-ybj-
http://www.memeorandum.com/250728/p130#a250728p130