Tootfinder

Fight Chat Control – Protect Digital Privacy in the EU: The EU (still) wants to scan your private messages and photos.
The "Chat Control" proposal would mandate scanning of all private digital communications, including encrypted messages and photos. This threatens fundamental privacy rights and digital security for all EU citizens.
🇪🇺 https://

hey. hey do you know the `-----BEGIN PRIVATE KEY-----` thing you see in files with key material? the files whose name ends in .pem? do you know what .pem stands for?
i just learned it stands for "Privacy-Enhanced Mail" https://en.wikipedia.org/wiki/Privacy-Enhanced_Mail

How to Get Actual Privacy and Utility from Privacy Models: the k-Anonymity and Differential Privacy Families
Josep Domingo-Ferrer, David S\'anchez
https://arxiv.org/abs/2510.11299

How to Get Actual Privacy and Utility from Privacy Models: the k-Anonymity and Differential Privacy Families
Privacy models were introduced in privacy-preserving data publishing and statistical disclosure control with the promise to end the need for costly empirical assessment of disclosure risk. We examine how well this promise is kept by the main privacy models. We find they may fail to provide adequate protection guarantees because of problems in their definition or incur unacceptable trade-offs between privacy protection and utility preservation. Specifically, k-anonymity may not entirely exclude …

NIИ - The Purrfect Cat :blep:
[Chorus]
You are the purrfect cat,
the purrfect cat,
the purrfect cat!

"Europe is provoking WWIII": dispelling Russian propaganda myths: https://benborges.xyz/2025/10/15/ampquoteurope-is-provoking-wwiiiampquot-dispelling.html

French MPs Submit Proposal Calling for the End of Caged Farming for Laying Hens in the EU https://vegconomist.com/politics-law/french-mps-submit-proposal-end-caged-farming-laying-hens-eu/

French MPs Submit Proposal Calling for the End of Caged Farming for Laying Hens in the EU - vegconomist - the vegan business magazine
MP Josiane Corneloup from France’s Les Républicains party has submitted a proposal for a European resolution to end caged farming for laying hens.

from my link log —
Perfecting anti-aliasing on signed distance functions.
https://blog.pkh.me/p/44-perfecting-anti-aliasing-on-signed-distance-functions.html
saved 2025-07-26

Perfecting anti-aliasing on signed distance functions

This Send/Sync Secret Separates Professional From Amateur #Rust Developers
https://blog.cuongle.dev/p/this-sendsync-secret-separates-professional-and-amat…

When Explainability Meets Privacy: An Investigation at the Intersection of Post-hoc Explainability and Differential Privacy in the Context of Natural Language Processing
Mahdi Dhaini, Stephen Meisenbacher, Ege Erdogan, Florian Matthes, Gjergji Kasneci
https://arxiv.org/abs/2508.10482

When Explainability Meets Privacy: An Investigation at the Intersection of Post-hoc Explainability and Differential Privacy in the Context of Natural Language Processing
In the study of trustworthy Natural Language Processing (NLP), a number of important research fields have emerged, including that of \textit{explainability} and \textit{privacy}. While research interest in both explainable and privacy-preserving NLP has increased considerably in recent years, there remains a lack of investigation at the intersection of the two. This leaves a considerable gap in understanding of whether achieving \textit{both} explainability and privacy is possible, or whether t…

Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure
Seiji Hattori, Takuya Matsuzaki, Makoto Fujiwara
https://arxiv.org/abs/2509.09726

Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure
This paper proposes a natural language translation method for machine-verifiable formal proofs that leverages the informalization (verbalization of formal language proof steps) and summarization capabilities of LLMs. For evaluation, it was applied to formal proof data created in accordance with natural language proofs taken from an undergraduate-level textbook, and the quality of the generated natural language proofs was analyzed in comparison with the original natural language proofs. Furtherm…