Bookmarks
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
Centre de Recherche en Théorie des Catégories -- Montréal -- Category Theory Research Center
What is an intuitive view of adjoints? (version 1: category theory)
presumably the presenter's website on 2020 09 16: tslil.xyz
New York ?university? category theoory at 7
Computational category theory Implementing category theory in ML. This one looks interesting, with a
Values and Inclusivity in the Applied CategoryTheory Community (pdf)
Calculations with presheaves
The Algebra of Grand Unified TheoriesJohn C. Baez, John Huerta
On my favorite conventions for drawing the missing diagrams in Category Theory Eduardo Ochs
Talks
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
Comixology ad
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
Koyaanisqatsi (1982)
Baraka (1992)
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
Marbles
TO SEE: ??
The Twelve Kingdoms, Moriboto, Claymore, most Ghibli films Urotsukidoj
https://www.poetryfoundation.org/poems/46560/dulce-et-decorum-est
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.
First track Gloria (in excelsis deo) (lyrics) is a fusion of Van Morrison's Gloria with her poem Oath: "Jesus died for somebody's sins but not mine"
Illuminations
The album that (I'm told) introduced electronic syntheses to folk music.
on youtube
[[MMD]Gimme×Gimme / Kagamine Rin Sour Ver x Hatsune Miku Sour Ver PV]](https://www.youtube.com/watch?v=Orb6mvWMyAs&list=RDUFTfJnkYS8A&index=1)
IA
SYML
In My Body full album stream
strange Brian Eno / Jon Hassell - Fourth World Vol. 1: Possible Musics Full Album (2014 Remaster)
Irene Cara - Flashdance What A Feeling (Official Music Video)
Kim Carnes - BETTE DAVIS EYE - Les années bonheur - Patrick Sébastien - Live
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
The Shangri- Las - Remember ( Walking in the Sand) - Long stereo mix
NENA | 99 Luftballons [Offizielles Musikvideo] (1983) Not the video with the nuclear explosions
Commentary
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
Fractal music
https://archive.org/details/future_music/13+Mixed+Bass+Self-Similar.mp3
Music:
Music:
See also Virtual coffee shops
https://soylentnews.org/comments.pl?sid=37279
Books
Art
Fractale -- Katharina Ellador a fractal showcase
QM
Discovering New Tessellations Using Dynamic Geometry Software
Japanese
epub
Lithium Epub reader
Posting memes until somone falls in love with you on a facebook page
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
Soylent News Community Roundtable -- contains a comment on the soylent news API
256-byte demo:
HAKMEM hakmem TODO: local copy?
Barbara Hudson
Self-hosted video and chat
Learning and testing AI
https://www.facebook.com/PatriciaTallmanPage/videos/627560674800549/
ZFS
What is ZFS? Why are People Crazy About it?
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.
turnkey systems
search for ADOM, MAngband, and dwarf fortress found
Septermber 18, 2018 is DRM-free day.
https://torrentfreak.com/international-day-against-drm-celebrates-its-12th-anniversary-180918/
https://www.defectivebydesign.org/dayagainstdrm (Is it September 18 every yeara? Why that day?)
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/
Crowdsourcing Open Interactive Narrative Matthew Guzdial, Brent Harrison, Boyang Li, Mark O. Ried:
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/
Racket
Gambit
OpenCog
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.
https://wiki.opencog.org/w/OpenCog_Development_Roadmap#Introduction
https://wiki.opencog.org/w/SatisfactionLink_and_BindLink
OpenGL
Constructive Solid Geometry
Soylent News Book CLub
Thierry
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
2018 Hugos:
https://www.tor.com/2018/08/20/announcing-the-2018-hugo-award-winners/
https://www.theverge.com/2018/8/20/17698208/2018-hugo-awards-n-k-jemisin-martha-wells-science-fiction-fantasy-books
Aready read
Interactove Fiction
Interactive Fiction Technology Foundation
tools
Narrascope an annual conference
Ink An interactive-fiction authoring tool.
Manga
System-d free hosting
https://devuanhosting.com/en-us/cms/
Power chip
Fishcam
Politics in general
[World Socialist Web Site]9http://www.wsws.org/)
Math
Golang
Security
Entertainment
Photography
ray-traced rendering in scheme Dominik Pantůček
3d
Blender
animation
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.
Complete series:
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)
The Kugelmass Episode By Woody Allen
Pijul A distributed revision control system with the clean theory of darcs, but efficient,
World Logic Day 2021
Complete list Not to useful; includes dates but no ttimes; links to a variety of not-always helpful websites.
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.
Attention deficit
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]
Grothendieck
What is proof that the sum of (1+1/2+1/3+…+1/n)-this series can't be an integer when n>1?
Monster design
http://monstermash.zone/?fbclid=IwAR0sGtbAghikDhJeSHdm60-DOVKqKth0is7356Fi8iIVok6pEoWA82DSoM4
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
N-category cafe entry This one has a lot of interesting comments.
Words and wordplay: The Phrontistery
XKCD Imposter
*NDG resto
Octonions:
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.
Blizzard Sounds for Sleep In a Soothing Room | Snowstorm Sounds with Fireplace Crackling And A Cat
https://tabletopaudio.com/
Zoom
Perimiter Institute Courses recordings of lectures in Perimiter Institute courses. *Perimiter Institure Recorded Seminar Archive perimeter institute videos a duckduckgo search
Covid life
epub
standard
How to create an eBook the open source way; i.e., in LibreOffice
cats in boxes
matrix Claims to be an open network for secure, decentaralised communication. How open is it?
Android
Android Debug Bridge (adb)https://developer.android.com/studio/command-line/adb)
Computer hardware
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
http://www.trc.ca/about-us/trc-findings.html
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.
Rinabow
Rinabow playing "Pokémon Alpha Sapphire randomizer ランダマイズ改造のポケモンアルファサファイア" on YouTube
She's translating luminous arc 3
Attempts at using AI for art
Alien Dreams: An Emerging Art Scene using a system called CLIP from OpenAI.
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
