- 16 Static Certificate Transparency (merklemap.com)
- 56 Formally verifying Advent of Code using Dijkstra's program construction (haripm.com)
- 743 Writing a good Claude.md (humanlayer.dev)
- 31 Is Cloudflare Down Again? Also, DownDetector/Claude.ai/LinkedIn? ()
- 7 8086 Microcode Explorer (nand2mario.github.io)
- 9 Chamberlain blocks smart home integrations with its garage door openers – again (theverge.com)
- 64 The only winning move is not to play (gregg.io)
- 400 The "Mad Men" in 4K on HBO Max Debacle (fxrant.blogspot.com)
- 75 Cross-Compiling Common Lisp to WASM (turtleware.eu)
- 120 CJEU has made it effectively impossible to run a user-generated platform legally (techdirt.com)
- 7 Frank Gehry, masterful architect who transformed L.A.'s urban landscape, dies 96 (latimes.com)
- 110 Ask HN: Quality of recent gens of Dell/Lenovo laptops worse than 10 years ago? ()
ask - 51 SMS phishers pivot to points, taxes, fake retailers (krebsonsecurity.com)
- 80 Detainees at 'Alligator Alcatraz' facing 'harrowing human right violations' (theguardian.com)
- 21 Meta acquires AI-wearables startup Limitless (reuters.com)
- 193 X210Ai is a new motherboard to upgrade ThinkPad X201/200 (tpart.net)
- 10 Cancer rates in Australians under 50 are rising at an alarming pace (abc.net.au)
- 35 FDA proposes impossible standards for vaccines that could curtail access (cidrap.umn.edu)
- 208 All about automotive lidar (mainstreetautonomy.com)
- 338 Claude 4.5 Opus’ Soul Document (lesswrong.com)
- 178 Mapping the US healthcare system’s financial flows (healthisotherpeople.substack.com)
- 154 John Giannandrea to retire from Apple (apple.com)
- 32 Schubfach: The smallest floating point double-to-string impleme (vitaut.net)
- 204 India scraps order to pre-install state-run cyber safety app on smartphones (bbc.com)
- 212 School cell phone bans and student achievement (nber.org)
- 164 SmartTube Compromised (aftvnews.com)
- 259 What's Hiding Inside Haribo's Power Bank and Headphones? (lumafield.com)
- 309 Python Data Science Handbook (jakevdp.github.io)
- 74 Durin is a library for reading and writing the Dwarf debugging format (github.com)
- 419 GitLab discovers widespread NPM supply chain attack (about.gitlab.com)