Saturday, 15 August 2026

Law enforcement enters the hacking era, Firefox stands alone on ad-blocking, and Auschwitz's unheeded warnings

Today's Lead

Engineering

Cryptography Engineering

Everything is about to 'Go Dark'

AI models can now find security vulnerabilities faster than before. This eliminates the unofficial market where law enforcement purchased hacking tools. Without this workaround, agencies may push for intentional backdoors in encryption. However, backdoors weaken domestic systems while foreign adversaries gain advantages. The article notes this creates a difficult choice for policymakers without clear solutions.

Read →

Engineering

PCWorld

Firefox is now the last major browser that still supports uBlock Origin

Firefox remains the only major browser that supports uBlock Origin fully. Other Chromium-based browsers move to Manifest V3, which prevents extensions from accessing the functions needed to block ads. Users who choose full ad block support must now use Firefox.

Read →

Google Security Blog

How Google is making private AI practical with homomorphic encryption

Google announced HEIR, an open-source compiler that converts AI models to work on encrypted data without exposure. Homomorphic encryption processes encrypted data without decryption, protecting sensitive information in healthcare, finance, and security applications. HEIR automates conversion tasks that previously required expert cryptographers.

Read →

Cloudflare Blog

How Cloudflare detects MCP traffic and helps secure it

Cloudflare now detects MCP traffic using the MCP-Protocol-Version header and provides security controls. Organizations can block direct MCP connections and allow approved Portal-routed traffic. A new dashboard shows MCP request metrics, users, servers, and identifies unauthorized shadow MCP connections.

Read →

Depot Blog

Improving system safety with Temporal Logic of Actions (TLA+)

TLA+ checks all possible states and transitions to find bugs that tests miss. AI agents translate code into specifications. This makes formal verification accessible to teams. Depot found a race condition in garbage collection. S3 bucket versioning prevents concurrent uploads from deleting live data.

Read →

dmitry.gr

RISC-V: They Should Have Known Better

A technical critique argues that RISC-V, despite being an open standard, has fundamental design flaws. The instruction set tries to serve incompatible use cases and makes almost every feature optional, which fragments implementations. RISC-V has weak interrupt handling, poor addressing modes, and lacks common instructions compared to ARM and x86.

Read →

o.ee

ActivityPub Won by Being Boring

ActivityPub succeeds as a federation protocol because it uses simple, ordinary web technologies like HTTP, URLs, and JSON. The protocol avoids complexity and lets independent networks exchange data without forcing shared databases or moderation rules. This simplicity makes ActivityPub implementable by competent web engineers and valuable for major platforms to adopt.

Read →
Humanities

The Universe of Discourse

Seven books I keep close because I love them

Dominus describes seven books he keeps close while writing. These books influence his thinking on language, history, mathematics, and philosophy. He values each book for different reasons: some offer classification systems, others provide historical context or mathematical foundations.

Read →