• 295 Codex Security (github.com)
  by bakigul 3 hours ago | 65 comments
• 116 Half-Life ported to Mac OS 9 (mac-classic.com)
  by freediver 3 hours ago | 40 comments
• 75 Show HN: I was tired of opening 2 tabs for every HN link, so I made a userscript (github.com)
  by twalichiewicz 2 hours ago | 28 comments
• 387 Substack writers, you need a website (elizabethtai.com)
  by speckx 7 hours ago | 199 comments
• 54 Anthropic publishes a practical key-recovery attack on HAWK-256 (github.com)
  by bakigul 3 hours ago | 2 comments
• 185 Steel Bank Common Lisp version 2.6.7 (sbcl.org)
  by tmtvl 7 hours ago | 79 comments
• 288 Kimi K3 Architecture Overview and Notes (sebastianraschka.com)
  by ModelForge 8 hours ago | 35 comments
• 226 Delayed Gratification – Proud to Be 'Last to Breaking News' (slow-journalism.com)
  by speerer 8 hours ago | 126 comments
• 128 The iPhone Upgrade Program is being replaced by Apple Upgrade (apple.com)
  by lkurtz 7 hours ago | 220 comments
• 180 Zig's Incremental Compilation Internals (mlugg.co.uk)
  by garyhtou 9 hours ago | 131 comments
• 68 The Fabled Flatbreads of Uzbekistan (2015) (aramcoworld.com)
  by jxub 4 days ago | 46 comments
• 37 Toolcraft (toolcraft.sh)
  by handfuloflight 4 hours ago | 7 comments
• 169 Discovering Cryptographic Weaknesses with Claude (anthropic.com)
  by gslin 7 hours ago | 109 comments
• 95 Underwater oxygen loss threatens earth's stability, researchers warn (scripps.ucsd.edu)
  by littlexsparkee 2 hours ago | 47 comments
• 8 Teach yourself programming in ten years (1998) (norvig.com)
  by vinhnx 3 days ago | 1 comments
• 60 Pacing the frontier (pacingthefrontier.com)
  by reducesuffering 4 hours ago | 50 comments
• 95 MCP 2026-07-28 Specification: transport going stateless (blog.modelcontextprotocol.io)
  by Eldodi 6 hours ago | 31 comments
• 38 Interview with Boris Cherny [video] (youtube.com)
  by knighthacker a day ago | 26 comments
• 34 Show HN: How far do I have to go to run into 100k people? (imjasonh.github.io)
  by ImJasonH 5 days ago | 28 comments
• 77 Running Kimi K3 on a M1 Max (github.com)
  by tito 3 hours ago | 56 comments
• 543 New HIV vaccine shows unprecedented success in preclinical study (lji.org)
  by codebyaditya 11 hours ago | 233 comments
• 18 An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)
  by max-amb 3 days ago | 3 comments
• 130 Una GPS smart watch – Repairable, USB-C charging, developer-friendly (unawatch.com)
  by pimterry 9 hours ago | 86 comments
• 267 Kimi Linear: An Expressive, Efficient Attention Architecture (2025) (arxiv.org)
  by ronfriedhaber 13 hours ago | 116 comments
• 105 How Do I Profile eBPF Code? (naveensrinivasan.com)
  by snaveen 8 hours ago | 6 comments
• 108 Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library (github.com)
  by apetuskey 8 hours ago | 40 comments
• 103 Now is the time to give LLMs access to the ACM digital library (cacm.acm.org)
  by rbanffy 9 hours ago | 93 comments
• 445 How to survive boiling water (taxa.substack.com)
  by cainxinth 4 days ago | 100 comments
• 93 Harmony Explained: Progress Towards a Scientific Theory of Music (2012) (arxiv.org)
  by surprisetalk 9 hours ago | 81 comments
• 143 Anthropeum – Where in the world, and when, does this human artifact belong? (anthropeum.com)
  by bookofjoe 9 hours ago | 42 comments