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
- Scheme: Schemers.org, Scheme reports, Scheme working groups, GNU
Guile, Chicken Scheme, Racket
- Haskell: Ninety-Nine Haskell Problems, Hoogle, Learn You a
Haskell for Great Good!, Real World
Haskell, State
of the Haskell ecosystem, Haskell Weekly
- Agda: Agda tutorials
- Idris: Idris Documentation, Some Idris lectures
- Smaller interesting languages: kitten, neut.
Functional programming
Other
Collections
Programming exercises
Publications
Misc
Entertainment, recreational, amusements
Comics
Videos
- They're Made Out of Meat: a short video by this short story
- Adulting
- I did it!
- The Floofster Song
-
Youtube channels (crafts, maths, physics, history, etc):
Cody's Lab,
How To Make Everything,
Isaac Arthur,
Linus Tech Tips,
Numberphile,
Stand-up Maths,
Computerphile,
Veritasium,
SmarterEveryDay,
Adam Savage's Tested,
The 8-Bit Guy,
Ben Eater,
Primitive Technology,
StanfordUniversity,
Geek & Sundry,
Viva La Dirt League,
Sixty Symbols,
The Royal Institution,
Harry Rogers,
Ben & Lois Orford,
3Blue1Brown,
David Butler,
PBS Eons (and PBS channels are nice in general),
Adam Ruins Everything,
OverSimplified,
Sean Carroll's The Biggest Ideas in the Universe,
Economics Explained,
minutephysics,
ElectroBOOM,
NileRed,
Stuff Made Here,
GreatScott!,
Electrician U,
The Honest Carpenter,
Blacktail Studio (carpentry),
Home RenoVision DIY,
Fermilab,
my mechanics,
Hand Tool Rescue,
Technology Connections,
Practical Engineering (practical.engineering),
Machine Thinking,
Jeremy Fielding,
Wristwatch Revival,
StarTalk with Neil deGrasse Tyson,
Matthew Fairbanks,
Weird History,
Nutty History,
Modern History TV,
Thoughty2,
Ordinary Things,
Grandpa Amu,
AvE,
Townsends,
Tom Scott,
Applied Science,
Wondastic Tech.
See youtube-dl and invidious (or other alternative web
interfaces) for better UIs.
- South Park
- MegaCartoons.net
- Brewstew Cartoons (brewstewfilms at YouTube)
- My 90's TV!
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.
- Programming Languages: Application and Interpretation: nice and
relatively short/simple introductory book about interpreters
(including typing), a video linked from its introduction is nice
also.
- The Unix-Haters Handbook: funny and interesting book, as far as I can
tell after reading first 70 pages.
- Type Theory and Functional Programming - it has explicit enough
title, the book is nice.
- Types and Programming Languages - the same topic.
- Software Foundations: similar subject, with exercises and examples
in Coq. Works fine as reader's first book on topic of formal theorem
proving.
- SICP - this one is quite popular, but will link it from here anyway.
- Dragon Book - widely known also, but linking too; this (the "Red"
one), together with SICP, made me look at programming from a [one
more] different side.
- The HoTT Book + helpful materials:
- Conceptual Mathematics: A First Introduction to Categories
- Andrew S. Tanenbaum's books: pretty lengthy, but very readable, and
can be used as references.
- Lang's books for algebra, though they are not that easy to read.
- Seven Sketches in Compositionality: An Invitation to Applied Category Theory
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
Paper search