A list of bookmarks, largely uncurated. Not all are valid. Many aren't even significant. This is not any kind of definitive, or even recommended, list.
They're things I saw linked to and thought I might want to look at in detail sometime.
Let me know if anything you see here shouldn't be public.
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
presumably the presenter's website on 2020 09 16: tslil.xyz
New York ?university? category theoory at 7
Here's the zoom link
Computational category theory Implementing category theory in ML. This one looks interesting, with a
Calculations with presheaves
The Algebra of Grand Unified TheoriesJohn C. Baez, John Huerta
Graphical Linear Algebra A presentation of linear algebra without all the arrays of numbers. It uses categorical strinf diagrams. But it's not clear that this is a reasonable introduction to linear algebra.
Anime and manga
My Neighbour Totoro. My all-time favorite movie.
A weird interpretation of the film which the makersof the movie reject. Watch the movie before you read this interpretation.
Documentary movie Empire of the Ants - BBC Documentary HD
The Revenant https://www.imdb.com/title/tt1663202/
365 Days https://en.wikipedia.org/wiki/365Days(2020_film) I probably don't want to watch this
Eyes Wide Shut
8. The Sumerians - Fall of the First Cities Someone recommended this to me. Seems to be 8th in a history of Sumaria. On Youtube.
Quibi -- a video streming service with short films
A Promising Young Woman -- Jane recommended this to me with warnings.
Shadow and Bone ??? on netflix, rcommended in newspaper
TO SEE: ??
The Twelve Kingdoms, Moriboto, Claymore, most Ghibli films Urotsukidoj
archaeology podcast network
MUAs for Linux
CBC war of the worlds
indent paragraphs kepler somnium
Laurie Anderson - 1983 (A Merman I Should Turn To Be) - Jimi Hendrix Cover
For instance, I tried searching for "Why is the Higgs mechanism needed?" and I only found news articles that basically said "because it gives particles mass!"
Instead of Google searches it's probably better to get a stock of QFT books like Itzykson and Zuber, Weinberg, and so on. Even if you can't understand all the details, there are some very nice paragraphs here and there.
Easier books, which I find to be full of wisdom, are these:
Kerson Huang, Quarks, Leptons & Gauge Fields, World Scientific, Singapore, 1982.
L. B. Okun, Leptons and Quarks, translated from Russian by V. I. Kisin, North-Holland, 1982. (Huang's book is better on mathematical aspects of gauge theory and topology; Okun's book is better on what we actually observe particles to do.)
T. D. Lee, Particle Physics and Introduction to Field Theory, Harwood, 1981.
Horses -- Patti Smith Patti Smiths' debut album.
[[MMD]Gimme×Gimme / Kagamine Rin Sour Ver x Hatsune Miku Sour Ver PV]](https://www.youtube.com/watch?v=Orb6mvWMyAs&list=RDUFTfJnkYS8A&index=1)
Kim Carnes - Bette Davis Eyes (Extended Mix) (on June, 2021: Gary Schneider 1 month ago Oh yes, 1981. I was 13 and just figuring out the girl next door was actually the best friend I had, ever had, or ever will have. I still remember my dads little talk. I thought it was going to be the birds and bees talk. He looked at me all serious and said "Son don't screw this up cause she's the best you'll ever get" There was never anybody else. Four kids and 11 grandchildren later and life is good. God Bless to you all. )
Mary Hopkin Those were the days lyrics GPITRAL2 Music for Learning English with subtitles
NENA | 99 Luftballons [Offizielles Musikvideo] (1983) Not the video with the nuclear explosions
music browser: Debian package gmusicbrowser for libraries with a very large number of songs (over 10.000)
Opossum Carols or Walt Kelly's Xmas Postludicrosity contains sheet music for Boston Charlie music GARNiDELiA 『起死回生』MV
See also Virtual coffee shops
Fractale -- Katharina Ellador a fractal showcase
Also go visit aptitude and search for "handbook"
kalsarikännit: The feeling when you are going to get drunk home alone in your underwear – with no intention of going out. A drink. At home. In your underwear.
See also: Codex Atlanticus, Codec Leiester, Codex Happer
HAKMEM hakmem TODO: local copy?
Self-hosted video and chat
btrfs A btrfs installation introduced a bug few months ago (now maybe a few years ago) that cost Sti his entire file system. Fortunately, he had a backup. Thie is not a glowing recommendation.
search for ADOM, MAngband, and dwarf fortress found
game Nier Automata https://www.protondb.com/search?q=Nier%20automata https://www.platinumgames.com/games/nier-automata https://store.steampowered.com/app/524220/NieRAutomata/
RSS feed reader
RSSTail is more or less an rss reader: it monitors an rss-feed and if it detects a new entry it'll emit only that new entry. https://vanheusden.com/rsstail/
Looks useful, but seems to be more a research proposal than a usable project. There does appear to be some usable code, though I'm not sure it's useful as is.
Constructive Solid Geometry
Soylent News Book CLub
Reading or watching
To buy and read?
maybe free? Clarkesworld magazine
http://www.gutenberg.org/files/18139/18139-h/18139-h.htm -- within chapter 6
https://www.fanfiction.net/s/10360716/1/The-Metropolitan-Man -- halfway through chapter 1
System-d free hosting
Politics in general
[World Socialist Web Site]9http://www.wsws.org/)
ray-traced rendering in scheme Dominik Pantůček
Gayle says: Pedro Urvi - Path of the Ranger (8 books +), Iliana Enigma, the Secret of the Golden Harley Merlyn Bella Forrest Chrona trigger (old game)
Mike B.:this is me https://www.mediafire.com/file/mq7uwq32ag4dy7f/Tasha%2525u2019sCauldron_of_Everything%2528HQ%252C_Both_Covers%2529.zip/file https://www.mediafire.com/file/0bj44ew6dep4w17/Player%2527s_Handbook.pdf/file https://www.mediafire.com/file/dfrctd15c620hfd/Xanathar%2527s_Guide_to_Everything.pdf/file
Peter C.:https://ddb.ac/campaigns/join/16327232861135165 ￼Mike B.:https://thetrove.net/Books/
Legend of the Overfiend
The Theory of Quantized Fields. I by Schwingre -- the first of a series of six papers introducing quantum fielld theory. Where to get this? What's on that website is just an abstract, and the rest seems to be paywaled.
The Theory of Quantized Fields. I Julian Schwinger Phys. Rev. 82, 914 (1951)
The Theory of Quantized Fields. II Julian Schwinger Phys. Rev. 91, 713 (1953)
The Theory of Quantized Fields. III Julian Schwinger Phys. Rev. 91, 728 (1953)
The Theory of Quantized Fields. IV Julian Schwinger Phys. Rev. 92, 1283 (1953)
The Theory of Quantized Fields. V Julian Schwinger Phys. Rev. 93, 615 (1954)
The Theory of Quantized Fields. VI Julian Schwinger Phys. Rev. 94, 1362 (1954)
Agda (programming language)
The Kugelmass Episode By Woody Allen
Pijul A distributed revision control system with the clean theory of darcs, but efficient,
World Logic Day 2021
Mathematical Problems of Non-perturbative Quantum General Relativity -- Abhay Ashtekar Ashtekar explains the state of quantum gravity research at about 1993. An interesting and seemingly comprehensible exposition, though so far I've read it only to page 13, and I can't say I understand all the jargon. Hoping to figure it out as I go on.
Dependent Type Checking
[Checking Dependent Types with Normalization by Evaluation: A Tutorial][http://www.davidchristiansen.dk/tutorials/nbe/#%28part._.Bidirectional_.Type_.Checking%29] by David Thrane Christiansen. Has a umber of links to other techniques.
[An algorithm for type-checking dependent types Thierry Coquand][https://reader.elsevier.com/reader/sd/pii/0167642395000216?token=2E9063E6889B4EA440A8A9C853EFF36A270B0D80E34EC1B08A92C919227413EDF127E0345E1B087FA1F51FBCD8E8E87F]
Dungeon mapping software https://www.kickstarter.com/projects/1024146278/dungeon-alchemisttm?utm_medium=referral&utm_source=14.backer.camp&ref=7lylru&gclid=Cj0KCQiA-OeBBhDiARIsADyBcE4c6Ly6o7rPBKSYFTDmdHyz1BJoeOO2J0RrWRsrL6K5MQClT8-n_SUaAutyEALw_wcB
Natural Type Theory
Words and wordplay: The Phrontistery
Virtual coffee shops
Ambient sounds (still need to try these out)
https://www.ambient-mixer.com/ This one has short pauses every 5 seconds or so.
Ad for master classes
cats in boxes
matrix Claims to be an open network for secure, decentaralised communication. How open is it?
Procedural text generation
A post I'm trying to understand about paper Higher cup products on hypercubic lattices: application to lattice models of topological phases
Feature structure grammars
Are they good for anything? Are thy just needlessly complicated formalism? Do they have enough structire to reason about?
Kent SappAuthor Hendrik Boom never vacuum as that can cause static, blow with either pressurized air or an air duster. Hold your fans so they don't mess up the bearings. Everything else gets wipes with a Clorox disinfectant wipe, or several. Screen gets a microfibre cloth that has been slightly sprayed with a bit of water.
She's translating luminous arc 3
Attempts at using AI for art
books on discovering math
How TO Splve It, by Polya
There's a book describibg the proof of Euler's theorem about vertices, edges, and faes, and how it developed over the ages. I thought it was by Polya, but it doesn't seem to be mentioed in his Wikipedia entry, so maybe not.
The book about mathematics in weather forecasting
Mathematician's Delight, bu=y Sawyer,
The book about the monster group
Atlas Petabyte Data Store
Alternative video and the like