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.

Online Seminars

end of online seminars

Devuan

Dotfiles

Covid

end Covid

Programming languages

Lisps

Lisp Meetings

Other

Programming tools

Coding examples

Type theory

Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions

end programming languages

mathematics

Category Theory

presumably the presenter's website on 2020 09 16: tslil.xyz

Implementing category theory in ML.

This one looks interesting, with a

end Category Theory

Ordinals

end ordinals

end mathematics

Unitarian Church of Montreal

Media

Movies

Short Videos

TO SEE: ??

The Twelve Kingdoms, Moriboto, Claymore, most Ghibli films Urotsukidoj

Podcasts

archaeology podcast network

Other

MUAs for Linux

https://www.poetryfoundation.org/poems/46560/dulce-et-decorum-est

CBC war of the worlds

indent paragraphs kepler somnium

Laurie Anderson - 1983 (A Merman I Should Turn To Be) - Jimi Hendrix Cover

writing

end writing

Kobo

Physics

John Baez said

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.

end of John baez quote

end Physics

Music

See also Virtual coffee shops

End music

Miscellaneous

Babylon 6

https://soylentnews.org/comments.pl?sid=37279

Computing documents


Globe and Mail Canada https://www.theglobeandmail.com/canada/

Miscellaneous

See also: Codex Atlanticus, Codec Leiester, Codex Happer

OlderBookmarks

https://www.facebook.com/PatriciaTallmanPage/videos/627560674800549/

Filesystems:

DRM

games

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/

Shared Worlds

Operating Systems

Copernicanism

other

Other

Talks

Bereavement

Miscellaneous

Transient, new:

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

Incoming, largely unsorted

Octonions:

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.

Atlas Petabyte Data Store

Olympics 2020/1

more misc.

A library of formalised mathematics

Notes on the Kevin Buzzard's talk on Lean at the topos institute.

unimath -- Vladimir Voevodsky's library of univalent math. Very incomplete as ordinary mathematics goes, but contains lots ad lots of category theory

What is the Langlands program?

Patrick Massot's sphere eversion project

ISO Tea Standard

Did you know there's an ISO standard for brewing tea? See the wikipedia entry for ISO 3103!

There's a competing standard from the Royal Society of Chemistry.

Some memes

*chindogu