1. AR Computers to Terminate Eyestrain and Myopia
    28 points 16 comments
  2. Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
    145 points 42 comments
  3. RubyUI (Former PhlexUI): Ruby Gem for RubyUI Components
    142 points 29 comments
  4. The state of binary compatibility on Linux and how to address it
    123 points 78 comments
  5. Dave Täht has died
    203 points 40 comments
  6. The psychology behind why children are hooked on Minecraft
    6 points 2 comments
  7. Show HN: Nue – Apps lighter than a React button
    698 points 507 comments
  8. I can smell when people have cancer
    9 points 1 comments
  9. US Marines to get high-speed, radar-evading electric seagliders for rescue ops
    129 points 89 comments
  10. Show HN: Terminal dashboard that throttles my PC during peak electricity rates
    91 points 58 comments
  11. The April Fools joke that might have got me fired
    483 points 232 comments
  12. Debts, Tech and Otherwise
    38 points 16 comments
  13. CERN scientists find evidence of quantum entanglement in sheep
    314 points 100 comments
  14. The timeless genius of a Atari developer and his swimming salmon masterpiece
    19 points 0 comments
  15. New in Gmail: Making E2E encrypted emails easy to use for all organizations
    50 points 12 comments
  16. Neuralatex: A machine learning library written in pure LATEX
    13 points 1 comments
  17. Mithril.js: small (8.96 KB gzipped) modern client-side JavaScript framework
    21 points 9 comments
  18. Show HN: Make SVGs interactive in React with 1 line
    40 points 16 comments
  19. Tailscale Enterprise Plan 9 Support
    29 points 1 comments
  20. Netflix’s Media Production Suite
    244 points 133 comments
  21. Show HN: JavaScript PubSub in 163 Bytes
    96 points 34 comments
  22. Cuneiforms: New digital tool for translating ancient texts
    29 points 3 comments
  23. Show HN: VaporVibe – auto-generate video demos for vibe-coded projects
    4 points 3 comments
  24. Experimental Tauri Verso Integration
    132 points 43 comments
  25. The Guardian flourishes without a paywall
    593 points 474 comments
  26. Why Kagi launched "no use, no pay"
    63 points 19 comments
  27. Show HN: Duolingo-style exercises but with real-world content like the news
    441 points 167 comments
  28. Why F#?
    321 points 282 comments
  29. Sales Compensation Simulator
    102 points 21 comments
  30. Launch HN: Augento (YC W25) – Fine-tune your agents with reinforcement learning
    97 points 57 comments
more