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.
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.
[[MMD]Gimme×Gimme / Kagamine Rin Sour Ver x Hatsune Miku Sour Ver PV]](https://www.youtube.com/watch?v=Orb6mvWMyAs&list=RDUFTfJnkYS8A&index=1)
Fractale -- Katharina Ellador a fractal showcase
Anime and manga
Batou shojo The girl who verbally abuses -- Matoko arc
Hige wo Soru. Soshite Joshikousei wo Hirou. / Shave the beard and pick up the high school girl is on Crunchyroll. Sounds like a sexploitation title, but it is anything but.
Wolf's Rain is on funimation. Good anime about a change in the world.
Indexes and recommendations found on the webpage https://www.reddit.com/r/anime/comments/5w0g9o/anime_with_lots_of_rain/
anime streaming search engine Canadian edition
Blue reflection Ray -- crunchyroll news; should start April 09, 2021
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
music GARNiDELiA 『起死回生』MV
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
ImSLP Petrucci Free Music LibrarySharing the world’s public domain music.
Music: I'm your venus
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?
Rinabow playing "Pokémon Alpha Sapphire randomizer ランダマイズ改造のポケモンアルファサファイア" on YouTube
A post I'm trying to understand about paper Higher cup products on hypercubic lattices: application to lattice models of topological phases