- 20Lisp: Notes on its Past and Future (1980) (www-formal.stanford.edu)
- 119Why don't you use dependent types? (lawrencecpaulson.github.io)
- 177Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
- 32Using FreeBSD to make self-hosting fun again (jsteuernagel.de)
- 98Anti-cybercrime laws are being weaponized to repress journalism (cjr.org)
- 59Linux gamers on Steam cross over the 3% mark (gamingonlinux.com)
- 8Printed circuit board substrates derived from lignocellulose nanofibrils (nature.com)
- 13Reproducing the AWS Outage Race Condition with a Model Checker (wyounas.github.io)
- 86X.org Security Advisory: multiple security issues X.Org X server and Xwayland (lists.x.org)
- 85Autodesk's John Walker Explained HP and IBM in 1991 (2015) (cringely.com)
- 256URLs are state containers (alfy.blog)
- 241Notes by djb on using Fil-C (cr.yp.to)
- 51Writing FreeDOS Programs in C (freedos.org)
- 99At the end you use Git bisect (kevin3010.github.io)
- 261Backpropagation is a leaky abstraction (2016) (karpathy.medium.com)
- 99Mock – An API creation and testing utility: Examples (dhuan.github.io)
- 40OpenBSD 7.8 Highlights (rsadowski.de)
- 105New South Korean national law will turn large parking lots into solar farms (electrek.co)
- 74Rats filmed snatching bats from air (science.org)
- 10Is Your Bluetooth Chip Leaking Secrets via RF Signals? (semanticscholar.org)
- 58Go Primitive in Java, or Go in a Box (donraab.medium.com)
- 430Visopsys: OS maintained by a single developer since 1997 (visopsys.org)
- 70Welcome to hell; please drive carefully (2earth.github.io)
- 418Claude Code can debug low-level cryptography (words.filippo.io)
- 83When O3 is 2x slower than O2 (cat-solstice.github.io)
- 26A man who changes the time on Big Ben (mylondon.news)
- 479Updated practice for review articles and position papers in ArXiv CS category (blog.arxiv.org)
- 424How I use every Claude Code feature (blog.sshh.io)
- 119HyperRogue – A non-Euclidean roguelike (roguetemple.com)
- 252Pomelli (blog.google)