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