1. STV: A full-motion video codec for the Atari ST (medium.com)
    4 points by indyjo about 9 hours | discuss
  2. Test the Email Verification Protocol with an origin trial (developer.chrome.com)
    4 points by nreece about 23 hours | discuss
  3. First CHERIoT Silicon (cheriot.org)
    7 points by fanf2 about 10 hours | discuss
  4. Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)
    18 points by kbradero 2 days | 2 comments
  5. An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)
    27 points by max-amb 6 days | 6 comments
  6. Building Hollywood Motion Capture from Scratch (www.youtube.com)
    3 points by ivanjermakov about 10 hours | discuss
  7. Amazon's Zoox wins first US approval for paid robotaxis with no human controls (www.reuters.com)
    8 points by mortenjorck about 14 hours | 2 comments
  8. The New Science of Inflammation (www.nytimes.com)
    6 points by elo2000 about 12 hours | 2 comments
  9. Alien World Chemistry Found Inside Meteorite That Struck New Jersey Home (www.seti.org)
    182 points by spzx 5 days | 67 comments
  10. What AI developers could learn from Charles Bukowski? (galjot.si)
    70 points by sedovsek 3 days | 50 comments
  11. French firefighters face 'pyrocumulonimbus' for first time (www.france24.com)
    460 points by saaaaaam 4 days | 368 comments
  12. More than 12M eye drops recalled contamination could harm vision (www.dailymail.com)
    16 points by Bender 1 day | 6 comments
  13. New MCP Protocol: Bringing MCP 2026-07-28 to Claude (claude.com)
    4 points by BearBest about 24 hours | discuss
  14. The BBC Tetris Companion (www.leadedsolder.com)
    14 points by zdw 2 days | 2 comments
  15. Show HN: Alarium – a live 3D flight tracker built on community ADS-B (www.alarium.tech)
    4 points by brandonponce 1 day | discuss
  16. Shay Locomotives (www.shaylocomotives.com)
    81 points by Rygian 4 days | 22 comments
  17. Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy (swag.htmx.org)
    511 points by rcy 5 days | 206 comments
  18. Uefa to discuss boycotting World Cup in emergency meeting after FIFA bombshell (www.independent.co.uk)
    10 points by vrganj about 16 hours | discuss
  19. Three Theses on the Literacy Crisis (trevoraleo.substack.com)
    54 points by samclemens 5 days | 49 comments
  20. Anthropic Doesn't Want Open Weight Models Banned. Just All That Makes Them Good (www.techdirt.com)
    40 points by cdrnsf 1 day | 6 comments
  21. Airlines Race to Adopt AI 'Surveillance Pricing' That Could Kill Off Cheap Seats (simpleflying.com)
    11 points by thm about 18 hours | 4 comments
  22. Relaxin Jailbreak for iOS 17.0-17.3.1 Released (onejailbreak.com)
    21 points by madihaa 2 days | 1 comments
  23. Underwater oxygen loss threatens earth's stability, researchers warn (scripps.ucsd.edu)
    171 points by littlexsparkee 2 days | 86 comments
  24. Ask HN: Navigating Source Code (especially on large projects)
    5 points by thekey about 14 hours | 1 comments
  25. Terence Tao: Mathematics in the Age of AI [pdf] (teorth.github.io)
    164 points by Anon84 5 days | 64 comments
  26. AI Facebook Ads Creator: Create High-Converting Video Ads (textideo.com)
    3 points by cloaud 1 day | discuss
  27. Netflix employee fired for sharing personal details in retreat trust exercise (nypost.com)
    439 points by softwaredoug 3 days | 501 comments
  28. Using AI to Strengthen Learning, Not Replace It (studywisdom.co.uk)
    11 points by behindai 1 day | 1 comments
  29. Xenharmlib (music theory library) adds support for Just Intonation (xenharmlib.readthedocs.io)
    18 points by retooth 2 days | 3 comments
  30. Grok Introducing Build Mode (x.ai)
    16 points by BoumTAC 2 days | 3 comments
More