1. Kagi Translate now supports LinkedIn Speak as an output language
    (translate.kagi.com)

  2. Kagi Small Web
    (kagi.com)

  3. Leanstral: Open-source agent for trustworthy coding and formal proof engineering
    (mistral.ai)

  4. The unlikely story of Teardown Multiplayer
    (blog.voxagon.se)

  5. Meta’s renewed commitment to jemalloc
    (engineering.fb.com)

  6. Grace Hopper's Revenge
    (www.thefuriousopposites.com)

  7. The “small web” is bigger than you might think
    (kevinboone.me)

  8. The American Healthcare Conundrum
    (github.com)

  9. Gitana 18: the new flying Ultim trimaran
    (www.boatnews.com)

  10. Every layer of review makes you 10x slower
    (apenwarr.ca)

  11. US SEC preparing to scrap quarterly reporting requirement
    (www.reuters.com)

  12. Sci-Fi Short Film “There Is No Antimemetics Division” [video]
    (www.youtube.com)

  13. Pyodide: a Python distribution based on WebAssembly
    (github.com)

  14. My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
    (community.home-assistant.io)

  15. Beyond has dropped “meat” from its name and expanded its high-protein drink line
    (plantbasednews.org)

  16. Why I love FreeBSD
    (it-notes.dragas.net)

  17. What CI looks like at a 100-person team (PostHog)
    (www.mendral.com)

  18. Monkey Island for Commodore 64 Ground Up
    (pixeldust.se)

  19. Claude Tips for 3D Work
    (www.davesnider.com)

  20. Fatal Core Dump Game
    (www.robopenguins.com)

  21. Show HN: Oxyde – Pydantic-native async ORM with a Rust core
    (github.com)

  22. Starlink Mini as a failover
    (www.jackpearce.co.uk)

  23. In space, no one can hear you kernel panic (2020)
    (increment.com)

  24. Show HN: Thermal Receipt Printers – Markdown and Web UI
    (github.com)

  25. AirPods Max 2
    (www.apple.com)

  26. Polymarket gamblers threaten to kill me over Iran missile story
    (www.timesofisrael.com)

  27. Lies I was told about collaborative editing, Part 2: Why we don't use Yjs
    (www.moment.dev)

  28. The bureaucracy blocking the chance at a cure
    (www.writingruxandrabio.com)

  29. Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)
    (arxiv.org)

  30. Jepsen: MariaDB Galera Cluster 12.1.2
    (jepsen.io)