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.
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
- 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
- The Wombles - The Wombling Song
- News Anchor Cracking Up over Swimming Cat
-
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,
Math at Andrews,
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,
Looking Glass 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,
Carl Bugeja,
engineerguy,
Steve Mould,
Clough42,
I did a thing,
Asianometry,
TheBackyardScientist,
Casual Navigation,
The Thought Emporium,
Process X,
Sam Zeloof,
The Action Lab.
See youtube-dl and invidious (or
other alternative web interfaces) for better UIs. Top 70000
educational YouTube channels in 20 languages by category for
popular and categorized educational channels.
- South Park
- MegaCartoons.net
- Brewstew Cartoons (brewstewfilms at YouTube)
- Other humorous videos: Ryan George, Jon Lajoie.
- My 90's TV!
- Astronaut (random YouTube videos).
- EXP 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
- NASA Software Engineering and Assurance Handbook
- Systems Engineering Body of Knowledge
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
Paper search