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

Game Development

Interactive Fiction = Text Adventures


game Nier Automata

Shared Worlds

Programming languages



Racket is an implementation of Scheme, a Lisp derivative. Well, not just an implementation. It differs in a number of ways, notably in preferring immutable data structures (but nor requiring them), in its extensive set of libraries, some of which actually implement new compatible languages.

Racket Sublanguages

Lisp Meetings

javascript and relatives


Programming tools

Type theory

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

end programming languages


Category Theory

Implementing category theory in ML.

This one looks interesting, with a

end Category Theory


end ordinals

end mathematics

Unitarian Church of Montreal


Movies, Video

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



Speculative 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


See also Virtual coffee shops

End music


Babylon 6

Computing documents

Globe and Mail Canada


See also: Codex Atlanticus, Codec Leiester, Codex Happer




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.

Some memes

Miscellaneous (as if the rest wasn't)

Tiffin services

Something I should look into sometime?