Tootfinder

President Trump signs an EO scrapping or revising several Biden- and Obama-era cybersecurity programs, including for AI security and post-quantum cryptography (Eric Geller/Cybersecurity Dive)
https://www.cybersecuritydive.com/news/tru

Trump scraps Biden software security, AI, post-quantum encryption efforts in new executive order
The White House accused the Biden administration of trying to “sneak problematic and distracting issues into cybersecurity policy.” 

"The industry perpetuates this state of things, keeping itself in a state of blissful high-hormone idiocy. Software is important, so clearly those who are writing it must be hailed as the holders of some occult knowledge and the purveyors of infinite wisdom. Through bribery, hubris, or ill luck, some of those same assholes find themselves later in management positions, and continue the tradition by hiring more people like themselves, because that is what humans do."

The Insane Cult Of The Asshole
If we had to choose just one profession that falls into the cult of the asshole, software craftsmanship (call it engineering or development) would certainly come to mind. Writing code is ripe to endless, serial, toxic demonstrations of manhood, bundled together with an endless admiration for those historical figures (usually referred to as "pundits" or "moguls") who show certain supposedly manly traits.

In a few days I’ll have a CSV/json of exported Cryptpad answers for some kind of census. Are there any open source softwares out there that make analysing these kind of stuff easier?
Instead of just like opening it on a fucking libreoffice spreadsheet or something.
Ideally it’d give me like the amount of people who selected each option on a question, same for written ones (being able to set aliases like “abcd = ABCD” and “Guix = GNU Guix” bc people can’t be consistent when answering polls), with the ability to understand comma-separated replies to those questions as if they were multiple selections on a checkbox question).
Maybe being able to generate some graphs too, but at least giving me a list with like “question1, reply1, amount” for each so I can easily make graphs myself.

Integration of quantum random number generators with post-quantum cryptography algorithms
Paula Alonso Blanco, Luis Trigo Vidarte, Marc Romeu Casas, Jos\'e Ram\'on Mart\'inez Saavedra, Fernando de la Iglesia, Jordi Mur-Petit, Valerio Pruneri
https://arxiv.org/abs/2507.00658

Integration of quantum random number generators with post-quantum cryptography algorithms
As quantum technologies advance, the security of popular cryptographic protocols becomes more threatened by the capabilities of Cryptographically Relevant Quantum Computers (CRQCs). In this scenario, Post-Quantum Cryptography (PQC) has become a potential solution to prolong the life of existing Public Key Infrastructure (PKI) systems. However, PQC protocols depend on high-quality randomness for key generation and encapsulation procedures, with the quality of the entropy source potentially havin…

The human aspects of the Ukrainian operation Spider's Web i find the most amazing, driving all those trucks through Russia, having drone operators on site (!), evading all checks and controls within Russia. Very likely a lot of bribing was involved, the extreme level of corruption makes Russia weak.
#ukraine

This https://arxiv.org/abs/2405.08965 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Meaning-Typed Programming: Language Abstraction and Runtime for Model-Integrated Applications
Software development is shifting from traditional logical programming to model-integrated applications that leverage generative AI and large language models (LLMs) during runtime. However, integrating LLMs remains complex, requiring developers to manually craft prompts and process outputs. Existing tools attempt to assist with prompt engineering, but often introduce additional complexity. This paper presents Meaning-Typed Programming (MTP) model, a novel paradigm that abstracts LLM integratio…

All Proof of Work But No Proof of Play
Hayder Tirmazi
https://arxiv.org/abs/2506.23435 https://arxiv.org/pdf/2506.23435

All Proof of Work But No Proof of Play
Speedrunning is a competition that emerged from communities of early video games such as Doom (1993). Speedrunners try to finish a game in minimal time. Provably verifying the authenticity of submitted speedruns is an open problem. Traditionally, best-effort speedrun verification is conducted by on-site human observers, forensic audio analysis, or a rigorous mathematical analysis of the game mechanics. Such methods are tedious, fallible, and, perhaps worst of all, not cryptographic. Motivated b…

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
Zhiwei Zhang, Samy Wu Fung, Anastasios Kyrillidis, Stanley Osher, Moshe Y. Vardi
https://arxiv.org/abs/2506.00674

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
The Boolean satisfiability (SAT) problem lies at the core of many applications in combinatorial optimization, software verification, cryptography, and machine learning. While state-of-the-art solvers have demonstrated high efficiency in handling conjunctive normal form (CNF) formulas, numerous applications require non-CNF (hybrid) constraints, such as XOR, cardinality, and Not-All-Equal constraints. Recent work leverages polynomial representations to represent such hybrid constraints, but it re…

London-based OneBalance, which lets developers integrate crypto features into their apps, raised a $20M Series A led by Cyber Fund and Blockchain Capital (Catherine McGrath/Fortune)
https://fortune.com/crypto/2025/06/11/

Crypto software company OneBalance raises $20 million from cyber•Fund and Blockchain Capital
Crypto company OneBalance plans to use the funding to support additional blockchains.

EIM-TRNG: Obfuscating Deep Neural Network Weights with Encoding-in-Memory True Random Number Generator via RowHammer
Ranyang Zhou, Abeer Matar A. Almalky, Gamana Aragonda, Sabbir Ahmed, Filip Roth Tr{\o}nnes-Christensen, Adnan Siraj Rakin, Shaahin Angizi
https://arxiv.org/abs/2507.02206 …

EIM-TRNG: Obfuscating Deep Neural Network Weights with Encoding-in-Memory True Random Number Generator via RowHammer
True Random Number Generators (TRNGs) play a fundamental role in hardware security, cryptographic systems, and data protection. In the context of Deep NeuralNetworks (DNNs), safeguarding model parameters, particularly weights, is critical to ensure the integrity, privacy, and intel-lectual property of AI systems. While software-based pseudo-random number generators are widely used, they lack the unpredictability and resilience offered by hardware-based TRNGs. In this work, we propose a novel an…