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




end Covid

Programming languages

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


Category Theory

presumably the presenter's website on 2020 09 16:

Implementing category theory in ML.

This one looks interesting, with a

end Category Theory


end ordinals

end mathematics

Unitarian Church of Montreal



Short Videos

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


end writing



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


See also Virtual coffee shops

End music


Babylon 6

Computing documents

Globe and Mail Canada


See also: Codex Atlanticus, Codec Leiester, Codex Happer





game Nier Automata

Shared Worlds

Operating Systems







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

Peter C.: Mike B.:

Legend of the Overfiend

Incoming, largely unsorted


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.


A language with Type-Dependent Equality by Florian Rabe

Tuesday 2021-10-26. 2pm-5pm UTC

Wednesday 2021-12-15. 7am-10am UTC

Some memes