Stories by ahlCVA

LLM policy for drivers/staging/ going forward

Ten Advances in Mathematics and Theoretical Computer Science [pdf]

Signal is working on registration without a phone number

Counterexample to the Lean Conjecture (Soundness Bug)

Laser Fault Injection on the TROPIC01 Open-Source Secure Element

Valve open-source the Steam Machine e-ink screen so you can make your own

Black Box Probing: A Security Analysis of Xiaomi's MJA1 Secure Chip

German ruling declares Google liable for false answers in AI Overviews

Programming the Apollo Guidance Computer in Blockly

The Empty Field That Wasn't: GPS, OTAD and Two Decades of Encrypted Broadcasts

Ugetty: A modern, lightweight, multi-protocol Getty

You're probably taking the wrong painkiller

Linux PTP mainline development war story and new features

A Server That Forgets: Exploring Stateless Relays

Conway's Game of Life, in real life

Sashiko – an agentic system for Linux kernel changes

The Need for Understanding (2025)

Ucode

Help us test WEBCAT alpha

AI controls is coming to Firefox

1