• 266 OpenAI just open-sourced Codex Security (github.com)
  by bakigul 3 hours ago | 54 comments
• 61 Underwater Oxygen Loss Threatens Earth's Stability, Researchers Warn (scripps.ucsd.edu)
  by littlexsparkee an hour ago | 30 comments
• 93 Half-Life ported to Mac OS 9 (mac-classic.com)
  by freediver 3 hours ago | 28 comments
• 44 Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript (github.com)
  by twalichiewicz an hour ago | 20 comments
• 366 Substack writers, you need a website (elizabethtai.com)
  by speckx 7 hours ago | 195 comments
• 11 Banning AI will not make it go away (vishal.rs)
  by vishalontheline an hour ago | 12 comments
• 42 Anthropic publishes a practical key-recovery attack on HAWK-256 (github.com)
  by bakigul 2 hours ago | 3 comments
• 178 Steel Bank Common Lisp version 2.6.7 (sbcl.org)
  by tmtvl 6 hours ago | 77 comments
• 271 Kimi K3 Architecture Overview and Notes (sebastianraschka.com)
  by ModelForge 8 hours ago | 34 comments
• 219 Delayed Gratification – Proud to Be 'Last to Breaking News' (slow-journalism.com)
  by speerer 8 hours ago | 121 comments
• 121 The iPhone Upgrade Program is being replaced by Apple Upgrade (apple.com)
  by lkurtz 6 hours ago | 210 comments
• 63 The Fabled Flatbreads of Uzbekistan (2015) (aramcoworld.com)
  by jxub 4 days ago | 40 comments
• 173 Zig's Incremental Compilation Internals (mlugg.co.uk)
  by garyhtou 8 hours ago | 127 comments
• 29 Toolcraft (toolcraft.sh)
  by handfuloflight 3 hours ago | 6 comments
• 93 MCP 2026-07-28 Specification: transport going stateless (blog.modelcontextprotocol.io)
  by Eldodi 5 hours ago | 29 comments
• 31 Interview with Boris Cherny [video] (youtube.com)
  by knighthacker a day ago | 20 comments
• 29 Show HN: How far do I have to go to run into 100k people? (imjasonh.github.io)
  by ImJasonH 5 days ago | 24 comments
• 532 New HIV vaccine shows unprecedented success in preclinical study (lji.org)
  by codebyaditya 10 hours ago | 232 comments
• 161 Discovering Cryptographic Weaknesses with Claude (anthropic.com)
  by gslin 6 hours ago | 87 comments
• 12 Robotics development made dead simple (open source) ()
  by Ekami 2 days ago | 5 comments
• 124 Una GPS smart watch – Repairable, USB-C charging, developer-friendly (unawatch.com)
  by pimterry 9 hours ago | 84 comments
• 105 How Do I Profile eBPF Code? (naveensrinivasan.com)
  by snaveen 8 hours ago | 6 comments
• 265 Kimi Linear: An Expressive, Efficient Attention Architecture (2025) (arxiv.org)
  by ronfriedhaber 13 hours ago | 114 comments
• 106 Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library (github.com)
  by apetuskey 8 hours ago | 40 comments
• 90 Harmony Explained: Progress Towards a Scientific Theory of Music (2012) (arxiv.org)
  by surprisetalk 8 hours ago | 73 comments
• 435 How to survive boiling water (taxa.substack.com)
  by cainxinth 4 days ago | 99 comments
• 135 Anthropeum – Where in the world, and when, does this human artifact belong? (anthropeum.com)
  by bookofjoe 9 hours ago | 40 comments
• 27 Hulios: An eBPF-powered, transparent Tor gateway for Linux (github.com)
  by ghaziwali 4 hours ago | 2 comments
• 13 Type checker may be wrong – Lean and the Curry-Howard correspondence (max-amb.github.io)
  by max-amb 3 days ago | 2 comments
• 3 Leeaky Catches hidden fees draining your travel budget (leeaky.vercel.app)
  by Elijah908 43 minutes ago | discuss