# Links

In addition to the links gathered here, many topical ones are grouped into notes.

## 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, My Diplomatic Life, stormrider's homepage.

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.
- Typed Assembly Language

### Functional programming

- Lambda the Ultimate - news, links, reviews
- The Comonad.Reader

### Other

#### Collections

- Great Works in Programming Languages (collected by Benjamin C. Pierce)
- a few more collections at http://homes.cs.washington.edu/~csgordon/#reading
- Programming Language Research
- steshaw/plt-study
- bitemyapp/learnhaskell
- Edsger W. Dijkstra Archive

#### Programming exercises

- exercism.io
- Timus Online Judge
- VerifyThis, "A collection of verification benchmarks"
- Project Euler
- Logitext "is an educational proof assistant for first-order classical logic using the sequent calculus"
- Natural Number Game, a Lean 4 interactive tutorial.
- LeetCode
- Advent of Code

#### Publications

- CSAIL Publications - a lot of AI-related publications
- Fentic Publications - some SDN-related publications

#### Misc

- Perlis Languages
- OpenTheory Project
- Esolang, the esoteric programming languages wiki
- Collapse OS
- An Introduction to Quantum Algorithms
- Quantum Computing For Programmers
- ECE 4760/5730, Cornell University: Digital Systems Design Using Microcontrollers
- Scratchapixel, articles on computer graphics programming.

## Entertainment, recreational, amusements

### Comics

- XKCD: A webcomic of romance, sarcasm, math, and language.
- Existential comics: A philosophy comic about the inevitable anguish of living a brief life in an absurd world. Also jokes.
- Invisible Bread: there's an invisible bread in the lower-right corner.
- Saturday Morning Breakfast Cereal
- Dinosaur Comics
- SpiderForest | Webcomic Collective
- Comic Book Plus

### 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 (though has clickbait titles, sponsored content), SmarterEveryDay, Adam Savage's Tested, The 8-Bit Guy, Ben Eater, Primitive Technology, StanfordUniversity, Math at Andrews, Geek & Sundry, Viva La Dirt League, Mystery Quest, 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, Asianometry, TheBackyardScientist, Casual Navigation, The Thought Emporium, Process X, Sam Zeloof, The Action Lab, James Sharman, mitxela, NightHawkInLight, JBVCreative, Vsauce + D!NG, History Hit, Marti Group, Then & Now (by Lewis Waller), Unsolicited advice, Four Keys Book Arts, Me, Myself and Die!, Mathologer, Z&F Railways. 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)
- Humorous YouTube channels: Ryan George, Jon Lajoie, SkyCorp Home Video, KRAZAM.
- My 90's TV!
- Astronaut (random unnamed YouTube videos).
- EXP TV
- Connections (James Burke / BBC Documentary Series)
- Explore.org live cams

### Other

- Regex Crossword
- King James Programming
- gamegen
- Sad Server
- PLT HULK
- Martin Gardner's puzzles
- Math Professor Quotes
- The Old Friary
- Math Fun Facts!
- C/C++ Request For Enlightenment 0
- RFC 1925: The Twelve Networking Truths
- RFC 1984: IAB and IESG Statement on Cryptographic Technology and the Internet
- Wiby - Search Engine for the Classic Web
- Marginalia Search
- Peelopaalu, "an unsorted link directory"
- The Voluntary Human Extinction Movement
- Centre for Applied Eschatology
- wikiHow
- Dinosaur Pictures and Facts
- 100R
- Tributes to naive and/or poorly made old websites: realultimatepower.net, LINGsCARS.
- IT'S CAT TOWN
- everything2
- Something Awful
- 1337.net
- Same Energy | Visual Search Engine
- Floor796
- Journal of Astrological Big Data Ecology
- Womble Lovers (and the rest of the Fidella's Home Page)
- code relay - Fontemon
- The Cloud Appreciation Society
- Human Shader
- Lambda Diagrams
- Rotating Sandwiches
- Ex Astris Scientia
- Apostrophe Protection Society
- 37 Heaven
- The Onion
- Hard Drive
- sniggle.net, "the culture jammer's encryclopedia"

### Games

- Debian Games Packages
- Nicky Case
- Universal Paperclips
- A Dark Room
- Theory of Magic
- Candy Box!, Candy Box 2
- Dungeon Crawl
- Lost Pig
- Discworld MUD
- Neal.fun
- FlashMuseum
- DOS games
- SIC-1
- The Password Game
- Clusters, Particle Life, Gene Pool
- NandGame

## 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:
  - Topology by Munkres
  - Algebraic Topology by Hatcher
  - Higher Inductive Types: a tour of the menagerie
  - CW complexes
  - CW Defn and Examples
  - Wikipedia and SO are helpful, too
- 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

- Project Gutenberg
- Wikibooks

## Articles

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

### Programming-related

#### Parsing/printing

- Monadic Parser Combinators
- Monadic Parsing in Haskell
- Invertible syntax descriptions: Unifying parsing and pretty printing
- Total Parser Combinators

#### DTLC

- Simpler, Easier!
- Pi-Forall + corresponding lectures
- ΠΣ: Dependent Types without the Sugar
- nano-Agda
- A tutorial implementation of a dependently typed lambda calculus
- How to implement dependent type theory I

#### GADTs, (Co)inductive types, CciC

- Co-Logic Programming: Extending Logic Programming with Coinduction
- Coinductive Logic Programming and its Applications
- The Algebra of Data, and the Calculus of Mutation
- CPDT chapters: Inductive Types, Coinductive
- Termination Checking Nested Inductive and Coinductive Types
- Wellfounded Recursion with Copatterns
- MiniAgda: Integrating Sized and Dependent Types
- A predicative analysis of structural recursion
- Termination Checking Nested Inductive and Coinductive Types
- Pattern matching without K
- Elimination with a Motive

#### Functional programming

- Theorems for free!
- Understanding F-Algebras
- Category Theory for Programmers
- Can programming be liberated from the von Neumann style?
- Programming Language Theory in Agda
- Lenses for philosophers

#### Programming with dependent types

- The Power of Pi

#### Session types

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

- Haskell Session Types with (Almost) No Class
- A Gentle Introduction to Multiparty Asynchronous Session Types
- Multiparty Asynchronous Session Types
- From Data Types to Session Types: A Basis for Concurrency and Distribution (a lot of papers)

#### Unsorted

- trx : Regular-tree expressions, now in Scheme:

  > Regular-tree expressions are to semi-structured data, such as XML and Lisp s-expressions, what standard regular expressions are to strings

- What Every Computer Scientist Should Know About Floating-Point Arithmetic; And there's also a nice wiki article: it's always better to know and remember such little things.
- Church, "A set of postulates for the foundation of logic", Annals of Mathematics, Series 2, 33:346–366 (1932)
- F. Cardone and J. R. Hindley, History of Lambda-Calculus and Combinatory logic (2006)
- Call-By-Push-Value
- "The Map of Mathematics" (one of those not-quite-complete and controversial maps, but not particularly bad; there are better videos on the subject and other maps though).
- Greg's Wiki

- Why I Hate Exceptions
- Neural network zoo
- X Window System explanations
- Case against OOP is understated, not overstated
- How the ARPANET Protocols Worked
- "It's not mathematics that you need to contribute to"

### Unix-related

- Terminal quirks
- Fonts on Unix

### Graphics and typography

- On the typography of flight-deck documentation (NASA contractor report # 177605)
- Color Graphics, also by NASA, and includes topics like legibility

### Non-technical

- Computing Machinery and Intelligence
- The Man Who Would Teach Machines to Think
- Why Functional Programming Matters
- "Too long? Read anyway."
- #git: guidelines for helping
- How to help someone use a computer

### Other

- Music theory for nerds
- The Long, Painful History of Time
- Why Adventure Games Suck
- Creating an Autonomous System for Fun and Profit
- Anonymity and privacy on the network
- On the Phenomenon of Bullshit Jobs: A Work Rant and the rise of the pointless job by David Graeber.
- A History of Computation, Logic and Algebra
- A history of HTML
- Britney Spears' Guide to Semiconductor Physics
- Timeline of the human condition (see also: List of timelines in Wikipedia)
- USB Made Simple

## Other

### Emergency exit

- lostallhope.com - statistics, method descriptions and references
- The Peaceful Pill Handbook
- Final Exit - reference, various materials
- Dignitas - assisted suicide services for terminally ill
- How to kill a human being (a BBC documentary film)
- Suicide methods
- A protocol for dying
- Organize your family's essential information in case of an emergency
- How Doctors Die
- Ask HN: What do you put in a “in case of death” file?

### Misc

- Wikipedia
- OpenStreetMap
- OpenRailwayMap
- info.cern.ch – "home of the first website"
- Lojban
- Lamdu
- Lincos
- SDF Public Access UNIX System
- tilde.club
- tildeverse
- thunix.net
- envs.net
- Disroot
- monkey.org
- Dedoimedo: "A place to learn a lot about a lot!" (software, in particular)
- Off-the-Record Messaging
- Theorem of the Day
- Privacy tools
- h-node: FLOSS-friendly hardware database
- POSIX.1-2008
- How the Great Firewall of China is Blocking Tor
- Xiph.Org Foundation + Streaming directory
- RadioBrowser
- Radionetz (includes freely available reference radios)
- Rekt Network
- lofi.cafe
- Gmane
- OpenCircuits wiki
- SL4 mailing list
- Wikipedia:Vital articles
- Computer latency: 1977-2017
- SWPhonetics
- Homemade IC
- Cybersecurity as Realpolitik by Dan Geer
- ACM Code of Ethics and Professional Conduct
- Stuff in Space
- Center for Inquiry
- NASA Glenn Learning Technologies Project (LTP)
- NASA Earth Observatory
- Wide-band WebSDR
- WebSDR (a directory)
- The world's coolest Washing Machines, Dryers and Dishwashers
- FreeSewing
- The UK National Health Service and Merck Manuals: supposedly nice alternatives to the more popular WebMD. Perhaps Mayo Clinic too.
- McMaster-Carr (an US-only hardware store, but a nice one).
- Giza Project: "Guided tours featuring artifacts, photographs, and research materials about the cemetery on the Giza Plateau", with 3D models.
- Nature (journal)
- Science (journal)
- Phys.org
- Astronomy Magazine
- NASA
- United States Geological Survey
- Light pollution map
- CABLE AND HARNESS GENERAL REQUIREMENTS
- Hacker News
- Hackaday
- Quanta Magazine
- Atlas Obscura
- Sapiens
- Nautilus
- Scientific American
- The DigiBarn Computer Museum
- History of Mathematics Project
- Genode Operating System Framework
- Trustworthy Systems
- FOSS and Crafts (a podcast)
- IEEE Spectrum
- DIY Bookbinding
- Anatomy Explorer
- American Physical Society
- Low-tech Magazine
- Inference
- ALTEXXANET
- OldHacker.org
- Eternal September
- Animated Knots
- Universal Declaration of Human Rights
- Version Museum
- Universe Today
- LWN.net
- Sci-fi interfaces
- A Cambridge Diary
- Open Standards
- Green’s Dictionary of Slang
- The Phrontistery
- Futility Closet
- Science Notes and Projects
- IndieWeb
- The Book of Zines
- Circuit Simulator Applet
- Take Our Word For It
- textfiles.com
- Antarctic Fire Department
- StickMan Physics
- PhysicsLAB
- The Physics Hypertextbook

### Internet- and FSF-related organizations

- Free Software Foundation
- The Free Software Directory
- Electronic Frontier Foundation
- The GNU Operating System and the Free Software Movement
- Internet Society
- The Citizen Lab
- World Wide Web Consortium
- XMPP Standards Foundation
- Internet Archive
- Common Crawl
- Wikimedia
- Internet Engineering Task Force (IETF)
- OpenNIC
- freedns.afraid.org
- Tor Project

### Paper search

- CiteSeerX
- Google Scholar
- dblp
- ACM Digital Library
- Sci-Hub
- arXiv
- Library Genesis: Scientific articles
- Anna's Archive