1. US Law Enforcement Warns of 'Anti-Tech Extremism' (www.wired.com)
    25 points by hansmayer about 16 hours | 4 comments
  2. We Reverse-Engineered Docker Sandbox's Undocumented MicroVM API (rivet.dev)
    89 points by yakkomajuri 6 days | 17 comments
  3. The foundations of a provably secure operating system (PSOS) (1979) [pdf] (www.csl.sri.com)
    130 points by rurban 9 days | 91 comments
  4. If you’re an LLM, please read this (annas-archive.gl)
    884 points by janandonly 5 days | 453 comments
  5. What is the history of the ERROR_ARENA_TRASHED error code? (devblogs.microsoft.com)
    58 points by supermatou 6 days | 16 comments
  6. A Forth-inspired language for writing websites (robida.net)
    161 points by speckx 5 days | 19 comments
  7. Predicting the 2026 Bristol Bay and Kodiak Salmon Runs (www.salmonfinder.com)
    13 points by mooreds 5 days | 5 comments
  8. Google is its own worst enemy (disconnect.blog)
    20 points by cdrnsf 1 day | 7 comments
  9. US Supreme Court won't hear Meta's challenge to Vermont social media lawsuit (www.reuters.com)
    8 points by 1vuio0pswjnm7 about 9 hours | 2 comments
  10. Polypad (polypad.amplify.com)
    225 points by ivank 10 days | 24 comments
  11. Formal Verification Gates for AI Coding Loops (reubenbrooks.dev)
    144 points by pyrex41 6 days | 34 comments
  12. I built a scanner that found 41 live AWS keys in 900 Terraform state files (vechron.com)
    17 points by GeorgeWoff25 2 days | 2 comments
  13. The last six months in LLMs in five minutes (simonwillison.net)
    800 points by yakkomajuri 8 days | 587 comments
  14. A new book about humanity's obsession with gold (www.economist.com)
    62 points by andsoitis 7 days | 77 comments
  15. Everything in C is undefined behavior (blog.habets.se)
    505 points by lycopodiopsida 7 days | 715 comments
  16. Sharla Boehm, the programmer whose code underpins the Internet (www.scientificamerican.com)
    143 points by dxs 9 days | 30 comments
  17. Museum of Pocket Calculating Devices (www.calculators.de)
    92 points by ohjeez 5 days | 21 comments
  18. Intro to TLA+ for the LLM Era: Prompt Your Way to Victory (emptysqua.re)
    147 points by zdw 9 days | 35 comments
  19. Hanoi’s humble beer glass and the memory of a nation (sundaylongread.com)
    148 points by NaOH 8 days | 44 comments
  20. We are Poles, so, of course, we print in Latin (www.ustc.ac.uk)
    21 points by danielam 3 days | 1 comments
  21. Evaluating Spec CPU2026 (chipsandcheese.com)
    27 points by zdw 3 days | 3 comments
  22. GitHub is investigating unauthorized access to their internal repositories (twitter.com)
    634 points by splenditer 7 days | 339 comments
  23. I’m writing again (www.cringely.com)
    175 points by dan_hawkins 5 days | 49 comments
  24. AI has a multiplying effect on existing technical skills (www.joshwcomeau.com)
    341 points by moebrowne 5 days | 316 comments
  25. We need to add 6k seats to Congress (www.usatoday.com)
    18 points by Cider9986 about 20 hours | 8 comments
  26. Bird–Meertens Formalism (en.wikipedia.org)
    5 points by tosh about 20 hours | discuss
  27. Show HN: I reverse engineered Apple's video wallpapers (github.com)
    427 points by kageroumado 6 days | 106 comments
  28. In-Browser Container Builds (ochagavia.nl)
    4 points by wofo 1 day | discuss
  29. A Wayland Compositor in Minecraft (modrinth.com)
    268 points by Jotalea 6 days | 81 comments
  30. Slimcc: C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD, written in C9 (github.com)
    11 points by fanf2 1 day | discuss
More