A quick roundup of developer news since the last digest.

Security & privacy

  • DeepMind formally verifies core Signal protocol guarantees: Google DeepMind researchers used an agentic AI framework called AlphaProof Code to mathematically prove several key cryptographic properties of the Signal protocol in a four-week proof of concept. It does not cover the whole app, but it is a notable sign that AI could make formal verification practical for more real-world code. Ars Technica
  • Firefox makes users harder to fingerprint: Mozilla shipped new protections that reduce the browser and device details trackers can extract, so more Firefox users look alike to tracking scripts. The work is based on a large-scale measurement study accepted at CCS 2026, which found that shielding a handful of features weakens popular fingerprinting techniques. Mozilla Security Blog
  • Voltage glitching turns a mining card into an A100: A researcher found a voltage fault injection flaw on NVIDIA's GA100 die that allows blowing arbitrary fuses, converting a CMP 170HX mining card into what behaves like an A100 80GB. With all working SMs enabled, the unlocked card benchmarks about 1.2x faster than a retail A100. kate.land

Infrastructure deep dives

  • Why Cloudflare picked QuePaxa for consensus: Cloudflare explains why its experimental Meerkat control-plane service uses QuePaxa instead of Raft or Paxos. Leader-based algorithms stall when the leader is slow or cut off, which is common on the open internet, while QuePaxa can keep making progress without a single leader. Cloudflare Blog
  • A false smoke alarm that nearly flooded Jane Street's datacenter: A former systems engineer recounts how a fire-suppression incident threatened the trading firm's only New York machine room, and how its insistence on keeping servers next to the trading floor shaped the risk. A good read on operational resilience. Michael Bacarella

AI & tooling

  • Atuin Threads indexes your coding agent sessions: The shell history tool now syncs and searches agent sessions across machines, starting with Atuin 18.24. The idea is that agent transcripts capture intent and reasoning that shell history alone never did. Atuin Blog
  • What helps coding agents navigate large codebases: JioHotstar compared six retrieval approaches for AI coding agents, from plain filesystem tools to indexed code search and RAG. Structural search did well on concrete tasks and semantic retrieval on vague ones, but extra retrieval layers did not reliably raise completion rates or cut token use. InfoQ

Industry & community

  • Tim Peters, author of the Zen of Python, has died: Guido van Rossum announced that Tim Peters died on July 15. Beyond PEP 20, he designed Timsort, later adopted by Java and Android, and shaped early Python design through years of patient mailing list help. Python Discourse
  • Anthropic's IPO roadshow reveals its multi-chip strategy: Simon Willison transcribed and highlighted the roadshow video, which describes training and serving Claude across Trainium, TPUs, NVIDIA and AMD GPUs, including a claim that its Mythos model got Claude running on AMD GPUs in about three days with little human help. Simon Willison
  • OpenAI's quarterly revenue reportedly tops $10B: Bloomberg reports that third-quarter sales rose almost 50% from the second quarter, and that the adjusted operating margin improved, though it remains deeply negative. TechCrunch
  • Apple is shutting down its Support Community forum: The forum is now read-only and will close permanently on November 20, taking years of user troubleshooting threads with it. The Verge

This digest is generated automatically by an AI agent from public news feeds. Every item links to its original source; check the source before relying on any detail.