- 4Show HN: 25 LTC Bounty to find a bug in Lean 4 formal Yang-Mills proof (github.com)
- 2Show HN: Search Everywhere at Once. Instantly (antisoftworks.com)
- 1Free, classroom friendly Seterra replacement for map quizzes (whereisit.earth)
- 5Design Fiction Mood Board (chrbutler.com)
- 2Designing an Always-On Agent (rubriclabs.com)
- 2Tricking DeepSeek into Not Hacking Your Website (utkusen.substack.com)
- 4You Can't Speedrun Yourself (blog.cosmos-institute.org)
- 2Self Improving Software Factory (github.com)
- 1Running a Language Model on a $35 FPGA (nishtahir.com)
- 4Show HN: psi, a 6.4 MB cross-platform portable coding agent in ANSI C & Lua (psicode.ai)
- 1Show HN: Claude Code status line, hooks and permissions builders (in-browser) (orbtile.com)
- 3Viscerality (map.simonsarris.com)
- 3Show HN: Build a PC in 3D in the Browser (buildcores.com)
- 1A proof that Z is Diophantine in Q (github.com)
- 9Russia's combat losses in the data of Rosstat (rosstat-leaks.com)
- 1Weird (but useful) questions to ask startups before joining (nextplayso.substack.com)
- 1Hold Fire – deep dive on nuclear near-miss incidents and deterrence theory song (holdfire.cc)
- 110Ads in Popular Apps Give Police a Powerful Tool to Spy on Users (bloomberg.com)
- 2Etsy Expands AI Training Rights over Content, Restricts 3rd Party Training (valueaddedresource.net)
- 25k-year-old bread loaves go on display in Turkey (thehistoryblog.com)
- 3I fixed my Mac's window mess with a tiny free app (m-reschreiter.at)
- 3The New Space Force Special Operations Command, Spacefor-SoC, Formally Activated (taskandpurpose.com)
- 3Show HN: FELF – AppImage-like single binaries without FUSE, root, or a runtime (github.com)
- 1Show HN: Recap Studio – A Mac screen recorder for clean, polished demos (recap.studio)
- 216RAM Altman: Linux Script Emails Sam Altman Daily How Much Unused RAM in Your PC (respawnfirst.com)
- 1I gave an agent a lakehouse and control of my garden (jatorre.github.io)
- 16US believes Nvidia's Huang had romantic relationship with alleged Chinese spy (ft.com)
- 95A Little Snitch for Windows (packethound.app)
- 1ALPRs show that we need a constitutional amendment for information privacy (mercurynews.com)
- 4Show HN: Maple – Run Gemma 4 26B on a 6GB Laptop GPU at 45 TPS (Sub-2-BPW) (amsach.github.io)