1. Why Writing Correct Software Is Hard
    (pron.github.io)

  2. Anthropic IPO
    (ipo.anthropic.com)

  3. Jane Street: Socratic Tutor
    (github.com)

  4. A live tree of systemd jobs on the boot console
    (codeberg.org)

  5. Tim Peters has died
    (discuss.python.org)

  6. 93% of paint splatters are valid Perl programs (2019)
    (www.mcmillen.dev)

  7. Critical RCE Vulnerability in Apache HTTP Server
    (www.wiz.io)

  8. AWS emulator
    (github.com)

  9. Researchers discover rare star system that emits radio signals every 8 minutes
    (www.curtin.edu.au)

  10. Making a €40 USB-C hub work as a Nintendo Switch 2 dock
    (blog.nozomi.space)

  11. A false smoke alarm almost drowned Jane Street's only NYC datacenter
    (michael.bacarella.com)

  12. Nvidia is preparing to oust Jensen Huang
    (www.wsj.com)

  13. Gemini Decisions API
    (blog.google)

  14. I'm Working on a FOSS Linux Pinbal Simulation Engine
    (www.getlazarus.org)

  15. Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017)
    (www.researchgate.net)

  16. United Airlines bans AI agents from booking flights on behalf of travelers
    (www.cbsnews.com)

  17. Lock Your GitHub Actions
    (hugovk.dev)

  18. Show HN: Aircad – Professional drafting and 3D modeling in the browser
    (aircad.com)

  19. Emacs in the Age of Magic
    (commandlinesystems.com)

  20. The Utah Teapot
    (graphics.cs.utah.edu)

  21. I gave an agent a lakehouse and control of my garden
    (jatorre.github.io)

  22. Hyper-realistic sand with WebGL2
    (av.github.io)

  23. A general purpose Apple Silicon layer for x86-64 PCs
    (github.com)

  24. My AI agents found an unmapped Maya site?
    (pietromiotti.com)

  25. Legocam: My Lego webcam from 2000, working on a modern Mac
    (blog.benjamin.ie)

  26. Did Life Begin in an RNA World?
    (www.quantamagazine.org)

  27. Faster Retrieval for Better, More Efficient RAG
    (machinelearning.apple.com)

  28. Show HN: Yogurt – Free, private, open-source alternative to Granola
    (github.com)

  29. Using voltage glitching to unleash the A100 in my mining card
    (blog.kate.land)

  30. Huawei releases MACaQ, its internal quantizer for local inference
    (github.com)