Reader Tools

This site is built for readers. Everything here works in your browser — no account, no tracking, no data leaves your device.

Search

Full-text search across every article, library text, and project page. Filter by section.

New to the site? A curated introduction to the best of what we publish.

All your highlights, notes, and bookmarks across the site. Export, search, and manage.

Articles you have saved to read later. Stored in your browser, exportable as JSON.

Articles grouped into numbered editions, printable as PDF.

Browse all articles by topic tag.

See what is stored in your browser, export it, import it on another device, or clear it.

Subscribe in any RSS reader. No algorithms, no tracking, just the articles.