Top Stories

• Formally verifying Advent of Code using Dijkstra's program construction

  55 points by seafoamteal | 8 comments

• 8086 Microcode Explorer

  7 points by todsacerdoti | 1 comments

• FDA proposes impossible standards for vaccines that could curtail access

  34 points by pavel_lishin | 4 comments

• CJEU has made it effectively impossible to run a user-generated platform legally

  120 points by alsetmusic | 60 comments

• Writing a good Claude.md

  743 points by objcts | 290 comments

• The only winning move is not to play

  64 points by AIBytes | 24 comments

• Cross-Compiling Common Lisp to WASM

  75 points by jackdaniel | 4 comments

• The "Mad Men" in 4K on HBO Max Debacle

  400 points by tosh | 168 comments

• SMS phishers pivot to points, taxes, fake retailers

  51 points by todsacerdoti | 19 comments

• Jolla Phone Pre-Order

  224 points by jhoho | 223 comments

• Ask HN: Quality of recent gens of Dell/Lenovo laptops worse than 10 years ago?

  110 points by ferguess_k | 199 comments

• The Corrupt Memory Industry and Micron [GamersNexus] (NSFW Language) [video]

  10 points by pogue | 4 comments

• X210Ai is a new motherboard to upgrade ThinkPad X201/200

  193 points by walterbell | 80 comments

• Schubfach: The smallest floating point double-to-string impleme

  32 points by fanf2 | 3 comments

• Mapping the US healthcare system’s financial flows

  178 points by brandonb | 168 comments

• All about automotive lidar

  208 points by dllu | 98 comments

• Claude 4.5 Opus’ Soul Document

  338 points by the-needful | 242 comments

• India scraps order to pre-install state-run cyber safety app on smartphones

  204 points by wolpoli | 67 comments

• John Giannandrea to retire from Apple

  154 points by robbiet480 | 375 comments

• School cell phone bans and student achievement

  212 points by harias | 215 comments

• SmartTube Compromised

  164 points by akersten | 147 comments

• Python Data Science Handbook

  309 points by cl3misch | 61 comments

• What's Hiding Inside Haribo's Power Bank and Headphones?

  259 points by rozenmd | 100 comments

• Durin is a library for reading and writing the Dwarf debugging format

  74 points by mooreds | 20 comments

• Amazon launches Trainium3

  203 points by thnaks | 70 comments

• Last Week on My Mac: Losing confidence

  438 points by frizlab | 283 comments

• Addressing the adding situation

  268 points by messe | 98 comments

• GitLab discovers widespread NPM supply chain attack

  419 points by OuterVale | 258 comments

• Ask HN: Who is hiring? (December 2025)

  309 points by whoishiring | 481 comments

• Show HN: Marmot – Single-binary data catalog (no Kafka, no Elasticsearch)

  98 points by charlie-haley | 21 comments