Tootfinder

Starting with August 25th 2025, #Google shuts down yet another very popular service: #URLshortener goo.gl
Billions of links will go dead.
Background:

LLM-Based Repair of Static Nullability Errors
Nima Karimipour, Michael Pradel, Martin Kellogg, Manu Sridharan
https://arxiv.org/abs/2507.20674 https://arxi…

LLM-Based Repair of Static Nullability Errors
Modern Java projects increasingly adopt static analysis tools that prevent null-pointer exceptions by treating nullness as a type property. However, integrating such tools into large, existing codebases remains a significant challenge. While annotation inference can eliminate many errors automatically, a subset of residual errors -- typically a mix of real bugs and false positives -- often persist and can only be resolved via code changes. Manually addressing these errors is tedious and error-p…

The Trump administration rescinds VOA layoff notices due to document errors that could have delayed or nullified the layoffs, plans to attempt the layoffs again (Minho Kim/New York Times)
https://www.nytimes.com/2025/06/27/us/politics/trump-voa-layoffs…

Trump Administration Rescinds Voice of America Layoffs After Errors in Notices
The errors in the layoff notices could have derailed President Trump’s effort to dismantle the news organization. The administration said it would attempt the layoffs again.

#NewRule – if you write an app or service that uses a #directory to save important files, and you generate #errors in your logs about the files in said directory, but don't document what, if anything the user can do about it…

New Rule: Thou Shalt Document Any Magic File Your Code Complains Or Warns The User About
From the And ANOTHER thing... department.. ok, #NewRule - if you write an app or service that uses a #directory to save important file...

Causal Link Discovery with Unequal Edge Error Tolerance
Joni Shaska, Urbashi Mitra
https://arxiv.org/abs/2507.21570 https://arxiv.org/pdf/2507.21570…

Causal Link Discovery with Unequal Edge Error Tolerance
This paper proposes a novel framework for causal discovery with asymmetric error control, called Neyman-Pearson causal discovery. Despite the importance of applications where different types of edge errors may have different importance, current state-of-the-art causal discovery algorithms do not differentiate between the types of edge errors, nor provide any finite-sample guarantees on the edge errors. Hence, this framework seeks to minimize one type of error while keeping the other below a use…

Refining Czech GEC: Insights from a Multi-Experiment Approach
Petr Pechman, Milan Straka, Jana Strakov\'a, Jakub N\'aplava
https://arxiv.org/abs/2506.22402

Refining Czech GEC: Insights from a Multi-Experiment Approach
We present a grammar error correction (GEC) system that achieves state of the art for the Czech language. Our system is based on a neural network translation approach with the Transformer architecture, and its key feature is its real-time synthetic generation pipeline, which dynamically augments sentences with artificial errors by introducing both language-agnostic and Czech-specific errors. We conduct a comprehensive series of experiments, investigating the Czech GEC corpora as bases for synth…

Characterizing the Sensitivity to Individual Bit Flips in Client-Side Operations of the CKKS Scheme
Matias Mazzanti, Augusto Vega, Esteban Mocskos
https://arxiv.org/abs/2507.20891

Characterizing the Sensitivity to Individual Bit Flips in Client-Side Operations of the CKKS Scheme
Homomorphic Encryption (HE) enables computation on encrypted data without decryption, making it a cornerstone of privacy-preserving computation in untrusted environments. As HE sees growing adoption in sensitive applications such as secure machine learning and confidential data analysis ensuring its robustness against errors becomes critical. Faults (e.g., transmission errors, hardware malfunctions, or synchronization failures) can corrupt encrypted data and compromise the integrity of HE opera…

Oh dear. This is the new economy columnist in the Morning Star.
Spot the errors.
Public investment-led growth is the key to solving the British crisis | Morning Star
https://morningstaronline.co.uk/article/public-investment-led-growth…

VArsity: Can Large Language Models Keep Power Engineering Students in Phase?
Samuel Talkington, Daniel K. Molzahn
https://arxiv.org/abs/2507.20995 https://…

VArsity: Can Large Language Models Keep Power Engineering Students in Phase?
This paper provides an educational case study regarding our experience in deploying ChatGPT Large Language Models (LLMs) in the Spring 2025 and Fall 2023 offerings of ECE 4320: Power System Analysis and Control at Georgia Tech. As part of course assessments, students were tasked with identifying, explaining, and correcting errors in the ChatGPT outputs corresponding to power factor correction problems. While most students successfully identified the errors in the outputs from the GPT-4 version …

This is a good outcome.
Now the government must give asylum to all likely to get it anyway, allow asylum seekers to do paid work, and advocate positively for their right to come here and seek sanctuary.
(Not holding my breath as Starmer is a Reform / #POX enabler).
Asylum seekers to remain at Epping hotel after court of appeal revokes ban | Immigration and asylum | The Guardian