- 63
Rune 1.3: adds TypeScript, a Helix editor, Kitty graphics and OSC-7501
(rune.build)
- 567
Claude Duet
(claude.com)
- 938
Show HN: SimCity, but with Permits
(permit.petercai.com)
- 70
Reverse engineer of PC-98 Touhou games retires
(rec98.nmlgc.net)
- 21
Progressive disclosure in agents to make them 2.3x faster
(skyvern.com)
- 18
Psilocybin Replaces Lost Synapses in Depressed Brains
(neurosciencenews.com)
- 16
Monoidal computer I: Basic computability by string diagrams (2012)
(arxiv.org)
- 74
LISP Comes of Age (1980)
(microship.com)
- 51
Reforming English Spelling
(blog.oup.com)
- 44
Moreutils: The utilities package every Unix/Linux/Mac OS developer should know
(rentes.github.io)
- 55
A whirlwind tour of systemd-nspawn containers (2025)
(quantum5.ca)
- 57
A Bicycle Journey Across Brazil to Find a Vanishing Savanna
(e360.yale.edu)
- 235
Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key
(github.com)
- 176
Air Purifiers as White Noise Machines
(jefftk.com)
- 25
Noyb win: German DPA finds microtargeting by major political parties illegal
(noyb.eu)
- 24
Focused Company Operating Principles
(focused.io)
- 77
Show HN: Swurf – Swipe through the real web
(swurf.org)
- 180
Dream-1
(dreamlabs.ai)
- 8
Crosscut – Drawing Dynamic Models
(inkandswitch.com)
- 69
Launch HN: Alter (YC S25) – Access control for multi-user agents
(alterauth.com)
- 215
Good type against all odds
(unsung.aresluna.org)
- 130
Semantic search across major museums
(lastmuseum.com)
- 769
Voxtral 3
(mistral.ai)
- 134
Cloudflare deploys protections against php2shell vulnerability
(blog.cloudflare.com)
- 12
In China, the AI bubble has burst
(reuters.com)
- 462
LLMs are making formal software verification feasible at a much larger scale
(anthropic.com)
- 170
Brown student maps the hidden global labor powering AI
(brown.edu)
- 707
EA is shutting down BioWare
(theverge.com)
- 665
Woman charged with computer fraud due to scam CashApp account being in her name
(404media.co)
- 27
The Chalk and the Airplane
(unintendedconsequenc.es)