- 1Show HN: Neural Network Formal Verification (github.com)
- 1The Tragedy of the Oxide Root of Trust (danielmangum.com)
- 1Why Your AI Agent Can't Solve CTF Challenges (h4c.team)
- 2Extropy, journal of transhumanist thought, 1988-1996, complete archive (extropy.agoraops.org)
- 4Show HN: No more code reviews. Fuzz instead ()
- 1Empires of AI – The Rise and Fall of a New Global Order (foreignaffairs.com)
- 2Lockheed Martin's Mk21A Reentry Vehicle Completed Maiden Test Flight (forbes.com)
- 1Show HN: Shutdown Watch – App shutdowns, export deadlines, and alternatives (shutdownwatch.com)
- 1Bob Dylan – The Entrance (medium.com)
- 3Reproducible Builds (reproducible-builds.org)
- 96Why I will not be using LLMs in my coding (polso.info)
- 3Why Hasn't Figma Shut Down Already? (elnahla.com)
- 4NetBSD 11 desktop on a Raspberry Pi 4 (neongd.com)
- 2The Boostrappable Builds Project (bootstrappable.org)
- 2Russia races to build rival to Elon Musk's Starlink (ft.com)
- 3Afterlife of Pi (pudding.cool)
- 1Show HN: Cake Farm. Cozy multiplayer communal farm. Grow berries to bake cakes (cakefarm.net)
- 1UmbrelOS 2.0 – Whats New (umbrel.com)
- 2Space become critical to balance of the war (theguardian.com)
- 1Hyperliquid whales are adding to their $BTC shorts ()
- 1Show HN: Gitbet – A free sourcetree style Git client for Linux (gitbet.dev)
- 1Etsy AI training terms change (consumerrights.wiki)
- 1Artificial Intelligence in higher education – gov report (Norwegian) (regjeringen.no)
- 2Kon-Tiki Expedition (en.wikipedia.org)
- 3Tesla Model Y – Best Selling Car in the World Again (focus2move.com)
- 1Show HN: aiport – A self-improving local LLM gateway for the erratic vibe coder (github.com)
- 1Terminal, Augmented (younghoandrewchaa.github.io)
- 2Bella Caledonia Statement on Artificial Intelligence (bellacaledonia.org.uk)
- 1Finding Bugs in DuckDB with Property-based Testing (wyounas.github.io)
- 2Norwegian Heavy Water Sabotage (en.wikipedia.org)