Y Hacker News new | ask | show | jobs

user: ahlCVA created: 2021-05-19 karma: 1368 submissions: Counterexample to the Lean Conjecture (Soundness Bug) 2 points | 0 comments Laser Fault Injection on the TROPIC01 Open-Source Secure Element 2 points | 0 comments Valve open-source the Steam Machine e-ink screen so you can make your own 612 points | 114 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Black Box Probing: A Security Analysis of Xiaomi's MJA1 Secure Chip 3 points | 0 comments German ruling declares Google liable for false answers in AI Overviews 1021 points | 552 comments Programming the Apollo Guidance Computer in Blockly 3 points | 0 comments The Empty Field That Wasn't: GPS, OTAD and Two Decades of Encrypted Broadcasts 3 points | 0 comments Ugetty: A modern, lightweight, multi-protocol Getty 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments You're probably taking the wrong painkiller 4 points | 0 comments Linux PTP mainline development war story and new features 25 points | 0 comments A Server That Forgets: Exploring Stateless Relays 1 points | 0 comments Conway's Game of Life, in real life 12 points | 1 comments Sashiko – an agentic system for Linux kernel changes 4 points | 1 comments The Need for Understanding (2025) 2 points | 0 comments Ucode 1 points | 0 comments Help us test WEBCAT alpha 2 points | 0 comments AI controls is coming to Firefox 34 points | 29 comments Building cryptographically verifiable integrity into Linux systems 7 points | 0 comments 0 points | 0 comments Rust for C Programmers 6 points | 3 comments SoundSlab: How It Started 2 points | 0 comments ASCII diagrams extracted from open source code-bases 3 points | 0 comments