Bookmarks

A list of bookmarks, largely uncurated. Not all are valid. Many aren't even significant. Some are obsolete by now. This is not any kind of definitive, or even recommended, list.

There should be a better way to organise these.

They're things I saw linked to and thought I might want to look at in detail sometime.

Maybe I'll try to divide it into an organised and a disorganised part?

Let me know if you see anything here that shouldn't be public.

Miscellaneous

Access

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

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

Speialized and lesser-known search engines

s

Web browsers

Meetings

Online Seminars

Series

Some of these are no longer running.

Formal logic

Category Theory

Health

Attention deficit

Diet and nutrition

https://www.theglobeandmail.com/life/health-and-fitness/article-eating-the-right-diet-can-help-stave-off-sarcopenia-when-youre-older/

Medical Assistance in Dying (MAID)

Covid-19

Long covid

end Health

Computing

Computing documents

Networking

Network protocols

Linux

Devuan Linux

Devuan is a Debian deriviative without systemd. Some packages have been patched to no longer require systemd; those too deeply enmeshed with systemd are missing altogether.

Systemd

Dotfiles

Filesystems:

DRM

Programming

Programming languages

Compiling

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, and not quite 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 interoperable 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

[ANN] New Get Started Documentation on OCaml.org

Rust

Other

Puzzles and Games

Sudoku

Tabletop Role-playing games

Open Source Gaming

Systems

Games

Video

Issues

Game Development

Procedural Generation

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

RPG Tools

I haven't tested these at all. Just noticed them advertised online.

Shared Worlds

Bibliographic databases

Programming tools

Coding examples

Mathematics

Geometry

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

algebras

end Category Theory

Set Theory

Ordinals

end ordinals

Set theories

Proof Systems

Lean

Type theory

Physics

Indefinite causal order

Cosmology

Quantum mechanics

Interpretations of Quantum Mechanics

Quaternions:

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

Nanowrimo

###Nanowrimo 2023:

###nanowrimo 2024

end nanowrimo

Markup systems

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

Fiction

Banned books

Art

Japanese

Funny


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

Miscellaneous

See also: Codex Atlanticus, Codec Leiester, Codex Happer

AI

OlderBookmarks

OpenGL

End Opengl


Operating Systems

Copernicanism

other

Talks

Bereavement

Miscellaneous

Transient, new:

Incoming, largely unsorted

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

Mathematical art

https://youtu.be/Pu8jkCqKHpY?list=PLuAO-1XXEh0ZiJlRKz7EuODAdIOjC5-1l

Trains

water

*Mail Merge as a First Programming Language

Molecular chemistry

https://forums.sufficientvelocity.com/threads/demotivator-reaction-gif-picture-threa +d.109/page-245

Arepo

P.1: https://imgur.com/gallery/oawZSrb

P.2: https://imgur.com/gallery/h3LBSsr

https://www.theglobeandmail.com/opinion/article-diefenbaker-and-pearson-gave-us-the-canada-that-polarization-could/

Network protocols

Linux init

Comparisons

old init

runit

DNS

tinydns

Tinydns seems also, and informally, to be called djbdns. djbdns is the original, tinydns is a renamed or later version, or one modified by other than the original author. Not sure

unvettes:

lighttpd

Postfix

email issues as of 2024

The main problem was to get gmail to accept messages from an independent server. As of February, this seems to have required

Now for the reference documentation:

Let's Encrypt. The certbot.

google gmail

Document Notations

https://www.patreon.com/login?ru=%2FJackie_Wohlenhaus

Site-vetting sites

“You never know what you will learn ‘til you start writing. Then you discover truths you never knew existed.” — Anita Brookner

News

Units

CLoud

Dynasm

Dynasm is a code-generation tool. Mor precisely, it's a code generator generator.

DunASM source code looks like C with embedded assembler, but the assembler is not stuff to be evaluated when the C code is riun (as was traditional in the early C implementations). Instead, the assembler is translated into C code that, when executed, will generate machine code corresponding to the assember in the source code.