#research

Xena Project Blog

Kevin Buzzard's personal blog documenting the Xena project—a long-running effort to formalize mathematics in Lean. Posts explore the intersection of interactive theorem provers, mathematical research, AI tools, and the future of formal mathematics. Substantial, opinionated writing from an academic mathematician.

Atlas - Interactive Research Paper Map

Interactive visualization mapping 8.5M+ research papers from arXiv by field and sub-cluster. Pick a domain, see where research is most active, and explore paper relationships and connections across fields.

30 Essential ML Papers - Curated Learning List

A hand-curated collection of 30 foundational AI and deep learning papers with plain-language explanations, based on Ilya Sutskever's reading list for John Carmack. Full papers hosted with beginner-friendly guides to difficult concepts.

The Naturalist's Library

A complete digital edition of William Jardine's 40-volume natural history series (1833–1843) with over 1,300 restored hand-drawn illustrations of birds, mammals, insects, and fish. Preservation and restoration project organized by subject (ornithology, mammalia, entomology, ichthyology). High-quality facsimile editions with thoughtful presentation.

Honeypot Live Stream

Real-time interactive dashboard displaying live telemetry from an SSH honeypot for security research, threat intelligence, and educational purposes. Shows attacker behavior, commands, credentials, and client fingerprints in real-time.

Nielsen Norman Group

UX research and usability articles. The authority on user experience since 1998.

A Few Thoughts on Cryptographic Engineering

Matthew Green's blog on cryptography and security. Accessible explanations of complex crypto topics.

Project Drawdown

World's leading resource for climate solutions. 100 solutions to reverse global warming.

CourtListener

Free legal research from Free Law Project. Search millions of court opinions and oral arguments.

Scattered Thoughts

Jamie Brandon on programming languages, databases, and software design.

Exploit Database

Archive of public exploits and vulnerable software. Essential resource for security researchers and penetration testers.

Quanta Magazine

Science and math journalism. Accessible coverage of cutting-edge research.

Citizen Lab

Research lab studying digital threats to civil society. Exposes government surveillance and spyware.

Examine

Unbiased nutrition and supplement information. Evidence-based health research.

PubMed Central

Free archive of biomedical research. Millions of full-text articles.

bioRxiv

Preprint server for biology. New research before peer review.

Semantic Scholar

AI-powered research tool. Find and understand scientific papers.

Google Scholar

Search scholarly literature. Papers, theses, and citations.

Sci-Hub

Free access to research papers. Controversial but used by millions.

Zooniverse

People-powered research. Help scientists with real research projects.

JSTOR Open Content

Free access to thousands of academic articles and books. Scholarly research without paywalls.

OEIS

Online Encyclopedia of Integer Sequences. Look up any sequence of numbers and find its mathematical meaning.

Gwern Branwen

Extensive essays on statistics, psychology, technology, and self-experiments. A masterclass in long-form web writing.

Are.na

Visual bookmarking for creative research. Build collections, discover connections, no algorithms.

Our World in Data

Research and data to make progress against the world's largest problems. Free, open, accessible.

Distill

Machine learning research journal with interactive visualizations. Making ML concepts understandable.