Links

Personal websites

John McCarthy's Home Page, Dennis Ritchie Home Page, Andrew S. Tanenbaum, Richard Stallman's Personal Site, call-with-current-musing, John Cowan's Home Page and his blog, synthcode, Xah Code, Wisdom and Wonder, λ Tony's blog λ, Things that amuse me, oxij, puffnfresh blog, Conor McBride's site, David Christiansen blog, Existential Type, tailcalled, Hackery, Math & Design, Christian Neukirchen's web site, Chris Done's Homepage, The Wisdom of James Mickens, DataGenetics Blog, mjg59's journal, Conal Elliott's homepage, Thomas E. Dickey's software development projects (xterm, lynx, autoconf, terminfo, ncruses, tin, and others)., catern's blog, Tim Berners-Lee's website, his blog, "Design Issues", Bastian Rieck's blog, Erik McClure's homepage, The blog at the bottom of the sea, Nathan's Toasty Technology page, Пагапо|а 2.O, Slate Star Codex, Simplifier (tinkering), A Collection of Unmitigated Pedantry (history), AllGoodBits.org, Colin's Blog, Things Of Interest, Still Drinking, Charlie's Diary, Schneier on Security, The Best Page In The Universe, One Div Zero, Philip Zimmermann's Home Page, D. J. Bernstein, Science Hobbyist, BEEJ.US 64 WEBPAGE V2, Vi Hart, Bartosz Ciechanowski, Red Blob Games (Amit Patel), Shtetl-Optimized (The Blog of Scott Aaronson), Mel Conway’s Home Page, Volution Notes, Shoelaces, software, graphics & more from Ian Fieggen.

Personal blog collections: Ask HN: Favorite Blogs by Individuals?, Ask HN: Great Blogs by Programmers, Awesome Personal Blogs, Ask HN: Share your personal site.

Random personal website discovery: The Forest, indieblog, marginalia.nu Website Explorer.

Programming

Languages

Functional programming

Other

Collections

Programming exercises

Publications

Misc

Entertainment, recreational, amusements

Comics

Videos

Other

Games

Books

Probably I'll try to backup all this and replace it with links to files later.

Technical

It's not easy to list all the nice books, or even to decide which books to list, but here are some.

Collections

Articles

Links to articles are dying surprisingly fast, I should fix them somehow.

Parsing/printing

DTLC

GADTs, (Co)inductive types, CciC

Functional programming

Programming with dependent types

Session types

It's useful to read about π-calculus (FAQ on π-Calculus) before reading about session types, and familiarity with typed λ-calculusis is assumed.

Unsorted

Graphics and typography

Non-technical

Other

Other

Emergency exit

Misc