1. Diode – Build, program, and simulate hardware view 43 comments
2. λProlog: Logic programming in higher-order logic view 12 comments
3. Terence Tao, at 8 years old (1984) [pdf] view 193 comments
4. Goodbye InnerHTML, Hello SetHTML: Stronger XSS Protection in Firefox 148 view 8 comments
5. A distributed queue in a single JSON file on object storage view 19 comments
6. The Missing Semester of Your CS Education – Revised for 2026 view 25 comments
7. Show HN: enveil – hide your .env secrets from prAIng eyes view 78 comments
8. I Ported Coreboot to the ThinkPad X270 view 46 comments
9. Show HN: X86CSS – An x86 CPU emulator written in CSS view 63 comments
10. Blood test boosts Alzheimer's diagnosis accuracy to 94.5%, clinical study shows view 128 comments
11. The Age Verification Trap: Verifying age undermines everyone's data protection view 1178 comments
12. Show HN: Steerling-8B, a language model that can explain any token it generates view 67 comments
13. Firefox 148 Launches with AI Kill Switch Feature and More Enhancements view 287 comments
14. Making Wolfram tech available as a foundation tool for LLM systems view 119 comments
15. Unsung heroes: Flickr's URLs scheme view 56 comments
16. “Car Wash” test with 53 models view 358 comments
17. Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r view 2 comments
18. UNIX99, a UNIX-like OS for the TI-99/4A (2025) view 59 comments
19. Graph Topology and Battle Royale Mechanics view 1 comments
20. Intel XeSS 3: expanded support for Core Ultra/Core Ultra 2 and Arc A, B series view 36 comments
21. ATAboy is a USB adapter for legacy CHS only style IDE (PATA) drives view 27 comments
22. Show HN: PgDog – Scale Postgres without changing the app view 54 comments
23. A simple web we own view 194 comments
24. Hetzner Prices increase 30-40% view 546 comments
25. Show HN: Cellarium: A Playground for Cellular Automata view discussion
26. Writing code is cheap now view 326 comments
27. Ladybird adopts Rust, with help from AI view 674 comments
28. Genetic underpinnings of chills from art and music view 21 comments
29. Discord cuts ties with Peter Thiel-backed verification software view 3 comments
30. What it means that Ubuntu is using Rust view 210 comments

More