ahlCVA
- Karma
- 0
- Created
- ()
- Submissions
- 0
- LLM policy for drivers/staging/ going forward (lore.kernel.org)
- Ten Advances in Mathematics and Theoretical Computer Science [pdf] (cdn.openai.com)
- Signal is working on registration without a phone number (aboutsignal.com)
- Counterexample to the Lean Conjecture (Soundness Bug) (leanprover.zulipchat.com)
- Laser Fault Injection on the TROPIC01 Open-Source Secure Element (donjon.ledger.com)
- Valve open-source the Steam Machine e-ink screen so you can make your own (gamingonlinux.com)
- Black Box Probing: A Security Analysis of Xiaomi's MJA1 Secure Chip (blog.quarkslab.com)
- German ruling declares Google liable for false answers in AI Overviews (the-decoder.com)
- Programming the Apollo Guidance Computer in Blockly (neil.fraser.name)
- The Empty Field That Wasn't: GPS, OTAD and Two Decades of Encrypted Broadcasts (lsc-pagepro.mydigitalpublication.com)
- Ugetty: A modern, lightweight, multi-protocol Getty (github.com)
- You're probably taking the wrong painkiller (dynomight.net)
- A Server That Forgets: Exploring Stateless Relays (blog.torproject.org)
- Conway's Game of Life, in real life (lcamtuf.coredump.cx)
- Sashiko – an agentic system for Linux kernel changes (lore.kernel.org)
- The Need for Understanding (2025) (blog.information-superhighway.net)
- Ucode (ucode.mein.io)
- Help us test WEBCAT alpha (securedrop.org)
- AI controls is coming to Firefox (blog.mozilla.org)
- Rust for C Programmers (rust-for-c-programmers.com)