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 (Lennart Augustsson's blog), 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, The Man in Seat 61 | The train travel guide, Sheldon Brown's Bicycle Technical Info, brr, boltblog, Bruce MacEvoy's website, pema.dev, Andrej Bauer, Sinclair Target (+ Two-Bit History), Fabien Sanglard's Website, Vidar's Index, John Graham-Cumming, Jason Kottke, Allen Bukoff, wingolog, Daniel Lawrence Lu, Hugo Landau, The Universe of Discourse, Proper Fixation, Dan Sanderson, rachelbythebay, Timothy Vladimír Hobbs, Andrew Ayer, Bradley M. Kuhn, Max Slater, David Ravoy, Loup Vaillant's Home Page, A Neighborhood of Infinity, John Tromp, Sam Zeloof, JP's Website, philpem's homepage, MaiZure's Projects, Dercuano, Mark Irons' Home Page, Ben Eater, Computers Are Bad, Obbe Vermeij (on GTA development), im_oisin, mitxela, Erik Demaine, The Roots of Progress blog, Spencer Baugh's catern.com, The Cyber Vanguard, Michal Sapka's website, RogerBW's Blog, bsandro.tech, mgreenbe(1), jdd's Home Page, Ray's Miscellany, Ron Garret's info site.

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

Random personal website discovery: The Forest. Other personal website (and/or blog) directories: indieblog, marginalia.nu Website Explorer, ooh.directory, perhaps Sites on Neocities, Blog Surf.

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 rotting surprisingly quickly, 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