1. Terence Tao: Mathematics in the Age of AI [pdf] (teorth.github.io)
    148 points by Anon84 1 day | 58 comments
  2. What is happening to jobs? Separating AI hype from reality (siepr.stanford.edu)
    283 points by pod_krad 2 days | 375 comments
  3. Prestel and Micronet: Britain's Lost Internet (www.escapistmagazine.com)
    7 points by speckx about 4 hours | 2 comments
  4. Introduction to Data-Oriented Design [pdf] (www.gamedevs.org)
    237 points by tosh 1 day | 69 comments
  5. Elevated errors on Claude Opus 5 (status.claude.com)
    48 points by flyaway123 about 12 hours | 24 comments
  6. Show HN: Watch 14-Byte AI "brains" attempt to solve a 2D maze (Its hard) (con-dog.github.io)
    20 points by purple-leafy about 13 hours | 7 comments
  7. How Unix spell ran in 64 kB of RAM (2025) (blog.codingconfessions.com)
    71 points by donw about 12 hours | 5 comments
  8. We have proof automation now (www.imperialviolet.org)
    220 points by zdw about 24 hours | 101 comments
  9. Using sed to make indexes for books (1997) (www.pement.org)
    66 points by TMWNN 5 days | 15 comments
  10. Why I Left Google DeepMind (www.lesswrong.com)
    160 points by eatitraw about 10 hours | 46 comments
  11. Work out daily? OK, but how socially fit are you? (2023) (news.harvard.edu)
    34 points by tchalla about 8 hours | 16 comments
  12. History of John Backus's functional programming project (draft) (softwarepreservation.computerhistory.org)
    35 points by cwbuilds 3 days | 3 comments
  13. iCloud-md: Bidirectional sync of Apple Notes to Markdown (github.com)
    6 points by braho about 7 hours | 1 comments
  14. Minecraft Java raises recommended memory to 16GB ahead of Vulkan transition (videocardz.com)
    64 points by haunter about 5 hours | 68 comments
  15. GrapheneOS protections against data extraction from locked devices (discuss.grapheneos.org)
    432 points by Cider9986 1 day | 250 comments
  16. Goodbye POSIX, Hello Tea Room: Inside MinervaOS Architecture
    7 points by xentnex about 5 hours | 4 comments
  17. Alien World Chemistry Found Inside Meteorite That Struck New Jersey Home (www.seti.org)
    177 points by spzx 2 days | 67 comments
  18. The Glass Famine (edconway.substack.com)
    10 points by baud147258 about 6 hours | discuss
  19. FOSS smashed one Microsoft monopoly. It's time to smash another (www.theregister.com)
    7 points by joebuckwilliams about 4 hours | discuss
  20. Evading Residential Proxy Networks (www.fbi.gov)
    3 points by willmeyers about 2 hours | 2 comments
  21. Plasma Tunnels Reveal How Dying Satellites Fall to Earth (spectrum.ieee.org)
    64 points by marc__1 about 24 hours | 39 comments
  22. Android may soon restrict on-device ADB (kitsumed.github.io)
    994 points by shscs911 3 days | 497 comments
  23. London Gatwick has launched a robotic airport parking service (aerospaceglobalnews.com)
    287 points by agotterer 1 day | 258 comments
  24. Nvidia's $750B in Deals Reignite Circular AI Fears (www.bloomberg.com)
    72 points by petethomas about 4 hours | 64 comments
  25. Batteries: Varta files for bankruptcy – Apple's departure takes its toll (en.ilsole24ore.com)
    10 points by ksec about 5 hours | 1 comments
  26. The Proof Machine (2016) (incredible.pm)
    26 points by BenoitP about 8 hours | 4 comments
  27. Zeiss expands German site that caps ASML's EUV scanner output (www.tomshardware.com)
    32 points by 01-_- about 12 hours | discuss
  28. Design is compromise (stephango.com)
    275 points by ankitg12 1 day | 89 comments
  29. Simulate cassette tape audio profiles using FFmpeg (github.com)
    165 points by xterminal 1 day | 75 comments
  30. It's not empowering to hand off the details (davidnicholaswilliams.com)
    216 points by davnicwil 1 day | 140 comments
More