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