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 you see anything here that shouldn't be public.

Access

I've found that for zoom. firefox works for video; chromium for audio. So I use both together. (as of 2022 11 24)

To get a link to a particular facebook post, click on the date it was posted.

Other search engines

Meetings

Online Seminars

Covid-19

Long covid

end Covid

Computing

Computing documents

Linux

Devuan

Systemd

Dotfiles

Filesystems:

DRM

Programming languages

Homoiconicity

Code Writing Code: An Introduction to the Theory and Practice of Modern Metaprogramming

Lisps

Racket

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

Links from the racket meet on 2022 02 04

Lisp Meetings

Others

Golang

Modula 3

javascript and relatives

ML and relatives

OCaml

Rust

Other

Puzzles and Games

Sudoku

Tabletop Role-playing games

Open Source Gaming

Systems

Games

Video

Issues

Game Development

Interactive Fiction = Text Adventures

Game Sites

Games

    https://www.protondb.com/search?q=Nier%20automata
    https://www.platinumgames.com/games/nier-automata
    https://store.steampowered.com/app/524220/NieRAutomata/

Game Systems

Shared Worlds

Bibliographic databases

Programming tools

Coding examples

Mathematics

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](Langlands program)?

Patrick Massot's sphere eversion project

agda

Calculation

Fast Inverse Square Root — A Quake III Algorithm

Math education

The role of mathematicians in K-12 mathematics education](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.845.294&rep=rep1&type=pdf) Fr. Ben Nebres (moderator)Shiu-Yuen Cheng, Konrad Osterwalder, and Hung-Hsi Wu (panelists)

Category Theory

Introductions

GENERAL THEORY OF NATURAL EQUIVALENCESSAMUEL EILENBERG AND SAUNDERS MacLANE

AN ELEMENTARY THEORY OF THE CATEGORY OF SETS

end Category Theory

Set Theory

Ordinals

end ordinals

Set theories

Proof Systems

Lean

Type theory

Physics

Quantum mechanics

Octonions:

I haven't yet found all these videos.

Speculative physics

John Baez

quote

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

end Physics

Unitarian Church of Montreal

Media

Anime and manga

DxD reading guide THis one is a wiki.

DxD reading guide With spoilers.

Download the DxD translated original novel

Japan Cultural Expo VIRTUAL PLATFORM Main Entrance

Comix

Comics Kingdom a site with many daily stripc -- but not the ones i particularly liked. Except Bizarro is there.

Movies, Video

Short Videos

TO SEE: ??

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

Video production

Artwork, synthetic

Podcasts

archaeology podcast network

writing

https://docs.google.com/spreadsheets/d/1FXJ-tLcdO5pnENeQXqU62kQT6hKap92gv8EvelxDiEk/edit#gid=0

Banned books

Nanowrimo

Document compilers

Ascidoc

Document Editors

end writing

Kobo ebook reader

Biology

Music

Theory

Practice

performance

See also Virtual coffee shops

End music

Miscellaneous

Other

CBC war of the worlds

indent paragraphs kepler somnium

Books

Japanese

Funny


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

Miscellaneous

See also: Codex Atlanticus, Codec Leiester, Codex Happer

OlderBookmarks

OpenGL

End Opengl


Operating Systems

Copernicanism

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%2525u2019s_Cauldron_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

Attention deficit

Computing devices

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.

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.

###IANA links

Some memes

Miscellaneous (as if the rest wasn't)

Tiffin services

Something I should look into sometime?

Anthem of Ukraine sang in English Language

What did Nietzsche mean by monsters and the abyss?

Oil gas fracking radioactivity

News in Slow Frnch

Greenpeace petition to support right-to-repair

github.com/ai4reason/ATP_Proofs#topology--the-clos...
https://bit.ly/300k9Pm
James M To Everyone
1:30:26 PM
JM
For the proofs that it could do already, are any different/better proofs done by it after the ML learning?
Yannis (NYC) To Everyone
2:05:26 PM
Y(
Do you think theorem proving with Artificial Intelligence will be subject to Godel's incompleteness/inconsistency theorems?
https://bit.ly/300k9Pm

2022 08 05

2022 08 09

2022 08 15

2022 08 20

2022 08 27

2022 08 31

2022 09 10

2022 09 11

2022 09 15

https://www.quora.com/Who-wrote-their-PhD-thesis-in-the-shortest-amount-of-time/answer/Cedric-Mamo?ch=10&oid=27575642&share=5f4e821a&srid=5GY2I&target_type=answer

Social media sites

Ones I know nothing about

2022 11 18

History:

2022 11 16

2022 11 20

2022 11 21

Russell and Gödel

2022 11 23

Canadian law

2022 11 13

2023 02 01