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.

Other search engines

Keep a list of sites you never heard of.

www.refseek.com - Academic Resource Search. More than a billion sources: encyclopedia, monographies, magazines.

www.worldcat.org - a search for the contents of 20 thousand worldwide libraries. Find out where lies the nearest rare book you need. \https://link.springer.com - access to more than 10 million scientific documents: books, articles, research protocols.

www.bioline.org.br is a library of scientific bioscience journals published in developing countries.

http://repec.org - volunteers from 102 countries have collected almost 4 million publications on economics and related science.

www.science.gov is an American state search engine on 2200+ scientific sites. More than 200 million articles are indexed.

www.base-search.net is one of the most powerful researches on academic studies texts. More than 100 million scientific documents, 70% of them are free

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

Golang

Modula 3

javascript and relatives

ML and relatives

OCaml

Rust

Other

Puzzles and Games

Sudoku

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/

Shared Worlds

Bibliographic databases

Programming tools

Coding examples

Mathematics

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

Patrick Massot's sphere eversion project

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

GENERAL THEORY OF NATURAL EQUIVALENCESSAMUEL EILENBERG AND SAUNDERS MacLANE

AN ELEMENTARY THEORY OF THE CATEGORY OF SETS

end Category Theory

Ordinals

end ordinals

Set theories

Proof Systems

Lean

Type theory

Physics

Octonions:

I haven't yet found all these videos.

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

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

Movies, Video

Short Videos

TO SEE: ??

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

Video production

Artwork, synthetic

Podcasts

archaeology podcast network

writing

Nanowrimo

Document compilers

Ascidoc

Document Editors

end writing

Kobo ebook reader

Biology

Music

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

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

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