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),, 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,, 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, The Cyber Vanguard, Michal Sapka's website, RogerBW's Blog,, mgreenbe(1), jdd's Home Page, Ray's Miscellany, Ron Garret's info site, My Diplomatic Life.

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, Website Explorer,, perhaps Sites on Neocities, Blog Surf.



Functional programming



Programming exercises



Entertainment, recreational, amusements






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


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



Links to articles are rotting surprisingly quickly, I should fix them somehow.



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.


Graphics and typography




Emergency exit