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

Computing

Dotfiles

• Drawing graphs with dot

Filesystems:

DRM

• Septermber 18, 2018 is DRM-free day.
• https://torrentfreak.com/international-day-against-drm-celebrates-its-12th-anniversary-180918/
• https://www.defectivebydesign.org/dayagainstdrm (Is it September 18 every yeara? Why that day?)
• DRM-free video
• DRM-free literature

Programming languages

• Your Language Sucks Things wrong with some popular programming languages
• unfwics and piglet
• Algol W compiler
• From Uwe Nestmann nestmann@gmail.com :
• a group of bright Master students of mine produced a series of 13 screencasts covering the “Lambda Cube Unboxed” and made it accessible on Youtube at https://www.youtube.com/playlist?list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4. It is largely based on parts of the wonderful book https://www.cambridge.org/de/academic/subjects/computer-science/programming-languages-and-applied-logic/type-theory-and-formal-proof-introduction by Rob Nederpelt and Herman Geuvers.

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

• Fluxus A language for live-coding; i.e., you write your program in publuc, before an audience, with the results on a screen everybody can watch. The language is of course designed to make this easy, enabling fast interaction to fix errors. Ot's progrmming! Of course there are bugs!

• Gallery Unfortunately, a numner of these videos are Flash animations, which is now obsolete enough to no longer work in most browser.
• Documentation
• Constructive Solid Geometry in Racket

• Graphite -- A language for data visualisation.

Links from the racket meet on 2022 02 04
• https://people.cs.uchicago.edu/~jacobm/pubs/topsl.pdf
• http://topsl.sourceforge.net/
• https://en.wikipedia.org/wiki/BarCamp
• https://avc.sh/

ML and relatives

• See Rescript above
• [[ANN] Brr 0.0.2, a toolkit for programming browsers] ](https://discuss.ocaml.org/t/ann-brr-0-0-2-a-toolkit-for-programming-browsers/8521)

Rust

• Ruffle Flash reimplemented in Rust
• I was trying to figure out how to represent bitstrings of length 9 and be able to do the usual bitwise Boolean operations on them. the answer turned out to be to use integers, as in C. It wasn't easy to find the details on the net. Of course, now it is easy:
• nim-langallegedly a fast secure language

Other

• Jai (TODO: What is this?)

• Futhark Futhark is a small programming language designed to be compiled to efficient parallel code. It is a statically typed, data-parallel, and purely functional array language in the ML family, and comes with a heavily optimising ahead-of-time compiler that presently generates either GPU code via CUDA and OpenCL, or multi-threaded CPU code.

• Carbon yet another C++ replacement

Puzzles and Games

Games

• Progress Qest

• recommeded in comment in https://soylentnews.org/article.pl?sid=18/01/25/150250&from=rss. "No snooping, no massive bandwidth/ data requirements, plenty of customisation options and user-generated content. Oh, and free."

• Oolite: an open-world space opera

• The Battle for Wesnoth

• ADOM, MAngband, and dwarf fortress on the roguelike end

• Google search reveals: Some great old games, apparenty open-source/free/libre:

• Roguelike

• MAngband (mayne type for Angband?)

• Dwarf Fortress

• After Nethack, Dwarf Fortress, and Transcendence - Ars Technica ... https://arstechnica.com/civis/viewtopic.php?f=22&t=98176

• Roguelike - NetHack Wiki https://nethackwiki.com/wiki/Roguelike https://nethackwiki.com/wiki/Forum:Roguelikes

• www.roguebasin.com/index.php?title=Major_roguelikes www.roguebasin.com/index.php?title=Talk:Major_roguelikes

• Tales of Maj'Eyal
• Dungeon Crawl Stone Soup
• Angband
• Ancient Domains of Mystery
• NetHack
• Rogue
• Pixel Dungeon
• research game BoomTown

• game Nier Automata

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

• game No Man's Sky

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

Proof Systems

Type theory

• Type Theory

• Higher-order unification

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

• Natural Type Theory

• Type theory playground

• [univalent foundations no comment])https://mathematicswithoutapologies.wordpress.com/2015/05/13/univalent-foundations-no-comment/) a posting on Michael Harris's blog.

• Homotopy Type Theory

• CATT
• There was a talk on the HOTT meeting series.
• https://github.com/ericfinster/catt.io/blob/master/examples/syllepsis.catt
• https://github.com/ericfinster/catt.io

Physics

Octonions:

I haven't yet found all these videos.

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.

Media

Anime and manga

DxD reading guide THis one is a wiki.

Japan Cultural Expo VIRTUAL PLATFORM Main Entrance

Movies, Video

Short Videos

TO SEE: ??

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

Podcasts

archaeology podcast network

• Fichub.net

Miscellaneous

Other

CBC war of the worlds

indent paragraphs kepler somnium

OlderBookmarks

• Text Generation

• search for ADOM, MAngband, and dwarf fortress found

• OpenCog

• Looks useful, but seems to be more a research proposal than a usable project. There does appear to be some usable code, though I'm not sure it's useful as is.
• Pattern matching on graph

End Opengl

• System-d free hosting
• https://devuanhosting.com/en-us/cms/
• Power chip
• Fishcam
• Politics in general
• [World Socialist Web Site]9http://www.wsws.org/)

• Security

other

Other

• Canadian Centre for Policy Alternatives

• Speech Recognition

• Browsers

• Iridium browser https://iridiumbrowser.de/
• on ubuntu 16.20, mint 18.1 http://linuxbsdos.com/2017/02/18/how-to-install-iridium-browser-on-ubuntu-16-10-linux-mint-18-1/
• (Servo)[https://servo.org/] An attempt at writing a browser in Rust. There seems to be cooperation with Mozilla Firefox.
• Debian package qutebrowser -- one with a minimal GUI.
• Debian package torbrowser-launcher -- to download an run the tor browser
• COmponents and packages
• Debian package python-zope.testbrowser: "Provides an easy-to-use programmable web browser with special focus on testing. It can be used to test or otherwise interact with any web site,
• Also python3-zope.browser
• Also python2.6-zope.testbrowser
• Also python2.7-zope.testbrowser
• Debian package www-browser -- virtualpackage satisfied by many browsers
• Debian package ruby-browser -- do some browser detection with Ruby. Allows defining custom rules to define a modern browser.
• Debian package webext-browserpass -- a Firefox/Chromium extension for pass, a password manager.
• mastodon

• Giving social networking back to you - the Mastodon project https://joinmastodon.org/ *eol
• zackwhalen's conference presentation at ELO18 https://github.com/zachwhalen/nngm-research/blob/master/text.md
• virtual machines

• qemu https://wiki.debian.org/QEMU
• Microsoft
• How to Set Up a Windows Virtual Machine in Linux https://www.makeuseof.com/tag/set-windows-virtual-machine-linux/
• Application containers: the next generation of virtualization https://www.ionos.ca/digitalguide/server/know-how/server-containers-virtualisation-without-emulation/
• Docker
• Docker tutorial: Installation and operation of the container platform https://www.ionos.ca/digitalguide/server/configuration/docker-tutorial-installation-and-first-steps/
• Mathjax

• https://github.com/mathjax/MathJax/blob/master/unpacked/jax/input/TeX/jax.js

• Ubuntu: Activate multi-touch on Elantech touchpad https://www.evilcodingmonkey.com/2014/01/23/ubuntu-activate-multi-touch-on-elantech/
• InstallingDebianOnPurismLibrem 13 https://wiki.debian.org/InstallingDebianOn/Purism/Librem%2013

Bereavement

• https://refugeingrief.com/

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

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.

Some memes

• memes Memes I collectd from Facebook and elsewhere.

Tiffin services

Something I should look into sometime?

Anthem of Ukraine sang in English Language

What did Nietzsche mean by monsters and the abyss?

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