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.

My own web page
- and topoi.pooq.com's IP number, just in case: 69.165.131.134
My answers on quora
weather
Zoom dial-in from Montreal 438 809 7799
Calendars
- Category Theory Calendar
- OWLS calendar
  - OWLSonline Worldwide Seminar on Logic and semantics
Soylent News
Facebook
CBC news Montreal
Globe and Mail Sudoku
Globe and Mail Coronavirus
Globe and Mail: Coronavirus tracker: How many COVID-19 cases are there in Canada and worldwide? The latest maps and charts
Facebook
International spelling alphabets
2021 Otakuthon
2022 Otakuthon
CUPS port for printer configuration
What's new in Netflix for January, 2022.

Online Seminars

Homotopy Type Theory Electronic Seminar Talks Home page for this seminar. Haslinks to talks.
- HoTT on initiality of term model Live talk on Septermber 10, 2020. Where is the archived version?
Proof Theory Virtual Seminar
Archive of Formal Proofs
NF
- prove NF's consistency
- archive on zulip
- Gabbay, Jamie's approach Or is it https://urldefense.com/v3/https://arxiv.org/pdf/1406.4060.pdf;!!IBzWLUs!B0Pb7f_Vb3l9XE9Ze0En6kKg0h1rNrw4AbkLo3jzwf6UPt2a2JoVMLPH4OrVkbnqJnYd0pL6fHY$
Bohemian Logical & Philosophical Café
- zoom
- site
OWLS online Worldwide Seminar on Logic and semantics
The Topos Institute Colloquium Usually on Thursdays
- Topoi Institute Blog
- Introducing the MathFoldr Project
- Valeria de Paiva had a talk about using category theoory to explicate all the issues with contexts and variable capture
  - mellies paradox
  - Jade Master: "The Universal Property of the Algebraic Path Problem" Not sure what this is, but it got posted in chat diring the talk.
  - chapter 8 of fPaul Taylor's Practical Foundations of Mathematics Good book, but diagrams are unreadable in the html version.
[Lisp Meetings](#Lisp Meetings)

end of online seminars

Devuan

The Devian Proposal
Index» Packaging for Devuan» The Basics of Devuan Package Maintenance
Distro user ratings on distrowatch
- and the devuan reviews
Packaging Guide for Devuan
see also maintainer's guide by LeePen
Index» Documentation» dev1fanboy's "Maintainer walkthrough"
Simple (package) development kit
Debian New Maintainers' Guide
installing chmaera live-desktop on USB
- A devuan mirror for chimaera installer
- devuan chimaera instalation instructions -- this contains instructinos for copying an iso to a USB stick.
Help forum
Leaving Debian With Joey Hess

Dotfiles

Drawing graphs with dot
- 2015 version
- 1996 version
- Wikipedia: DOT (graph description language)

Covid

Covid 19
- Long Covid
- Striking new evidence points to Wuhan seafood market as the pandemic's origin point
- Aaron Derfel reports reguarly on the covid-19 situation in Montreal
- https://twitter.com/Aaron_Derfel
- it's a coronavirus.
- Virus is called SARS-CoV-2
- coronavirus statistics -- world
  - Canada
- Quebec vaccination priorities
- Statistics
- Vaccine tracker
- Quebec
- NDG
- The Evidence which Suggests that This Is No Naturally Evolved Virus
- In Barcelona Sewage
  - pdf Is this downloaded?
- JAMA on covid
- Coronavirus in provinces
- Covid-19 info NDG
- Quebec state
- It’s Time to Let the Serfs Return to the Fields
- Early Covid
  - Barcelona, March 2019
  - Italy, September 2019
  - USA
    - also [wsj.com])
- Main canada page
  - Mathematical modelling and COVID-19
    - [as of 2020 12 11]](https://www.canada.ca/content/dam/phac-aspc/documents/services/diseases-maladies/coronavirus-disease-covid-19/epidemiological-economic-research-data/update-covid-19-canada-epidemiology-modelling-20201211-en.pdf)
- CoVaRR-Net brings together some of Canada’s most eminent researchers and experts from various scientific and medical disciplines linked to emerging variants.

Breakthrough Infection Study Compares Decline in COVID Vaccine Effectiveness: Pfizer v Moderna v J&J

CoVaRR-Net - Quickly assessing how SARS-CoV-2 variants ...

Long covid

Long COVID: An overview
Nerve damage may explain some cases of long COVID, U.S. study suggests](https://www.cbc.ca/news/health/long-covid-nerve-damage-study-1.6369906)
Long COVID deserves a long, hard look
Long Covid article in Maclean's. Original title: "When the virus moves in".

end Covid

Sudoku

Sudoku solver by Andrw Stuart A step-by-step sudoku solver, with a lot of explanation. One of the best sudoku sites I've seen.
Globe and Mail Sudoku
Sudoku as spectator sport
Sudokus on youtube

Game Development

Game development resources Game development tools in Racket.
Ludii
- A project to formalise descriptions of board games, and use this to produce implementations and enable academic studies.
- The Ludii General Game System
- Ludii Portal the main Ludii site.
- GitHub - Ludeme/Ludii at javarepos.com Source code. The readme contains links to other ludii sites.
- Ludii downloads Links to players, source archive, documentation, postcards, and so forth.
- Ludii User Guide
Game Engines
- Bitsi
  - Bitsy is the small video game engine with a big community article on the Verge
Game Jams
- https://github.com/racket/racket/wiki/Game-Development

Interactive Fiction = Text Adventures

Interactive Fiction
- Archive
- What is Interactive Fiction? An article with useful-looking links
- on Wikipedia
tools for Interactive Fiction
- articles abot tools
  - 5 Open Source Tools to Create Interactive Fiction
  - [https://www.pcgamer.com/the-best-visual-novel-engines/](How to Make Your Own Text Adventure Games: 7 Tools) Twine, Quest, Adrift, Inform, Squiffy, Ren'Py, Inklewriter
  - The best engines for making your own visual novel
    - The best game engines for making your own 2D indie game 2D games instead of interactive fiction
  - Text Adventures – 10 Awesome Creative Writing Tools Inform 7, TADS, Adrift, Quest, Twine, Inklewriter, Choice of Games, Squiffy
  - itch.io
    - Latest free Interactive Fiction tools - itch.io on itch.io
    - New & popular Interactive Fiction tools - itch.io
  - Emily Short's Interactive Storytelling Systems Emily SHort was involved with: Inform, versu, character engine, StoryNexus, Varytale.
- ink
  - web-tutorial
  - documentation
- inklewriter A tool t write ink code
- lectrote an interpreter for several interactive adventure object codes in electron or a Chrome browser.
- Adrift Completely GUI-driven development. Free, but accepts donations
- Inform
  - on Wikipedia
  - Inform 6
    - manual -- chapter 1 -- pdf
  - Inform 7
    - Downloads
    - Documentation
    - Inform 7 Tutorial Episode 1 - Learning the Basics! tutorial video on youtube
  - Twine Twind publishes directly to HTML.
  - Ren'Py A python-bases system.
    - Linux ren'py games
  - Adventuron TODO. Seems to do lowish-resolution pictures with text. Seems to o Apple, Android, and Windows.
  - Text Adventure Game Maker Does Python 2 and 3 on Linux and Windows. The link is to a github page.
  - GML GML seems to be a programming language (with C's curly brackets and all). THis page is a tutorial. TODO.
Communities
- textadventures.co.uk/
Interactive Fictin Technology foundation
- FAQ
- The Interactive Fiction Competition An annual competition
- Twine Committee It seems Twine is maintianed as an IFTF activity
Interactive Fiction
- on wikipedia
- Interactive Fiction Technology Foundation
  - Programs
    - Twine committee
  - Forum
  - tools
    - Twine
  - Narrascope an annual conference
- Interactive fictino database
- The Interactive Fiction Archive
  - index
- Teaching and Learning With Interactive Fiction
- Ink An interactive-fiction authoring tool.

Games

Game Sites
- Shareware Central
- AI Dungeon Doesn't seem to be an AI dungeon, but seems to have gaes..
- Top Interactive Fiction games on itch
- Top free NSFW games tagged Text based - itch.io
- Improbablye Island "under constant development since dial-up days. When something's been kept alive for that long, it can either be a polished masterpiece with nothing unnecessary added, or it can be a huge, sprawling clattering kaleidoscope"
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
    - ADOM Roguelikes [Archive] - ADOM & Ultimate ADOM Forums
    - 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
- Go and Games
Steam play proton compatibility list

Shared Worlds

Orion's Arm Universe Project
Terran Shift
Open Game Art
Eve Online Advertisement
- https://gizmodo.com/11-games-you-can-play-with-the-family-remotely-over-zoo-1845712859
Game-related
- Tasha 2019 Cauldon of Everything
- The Trove
  - Books
    - Flatland corebook
Crowdsourcing Open Interactive Narrative Matthew Guzdial, Brent Harrison, Boyang Li, Mark O. Ried:
- The Slack: whatever this is Whatever it was, it seems to be gone now.

Programming languages

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.

Lisps

Lisps (see alse Racket-relateed)
- Lispy
  - How to write a Lisp interpreter (in Python)
  - Lispy2 (An ((Even Better) Lisp) Interpreter (in Python))
- Pylisp Lisp implemented in Python
- Rhombus -- a new syntax for a new scheme-like language
  - Brainstoring A site where ideas for the new language are being proposd and discussed. Anyone can contribute; you just need a github account, which can be free.
- SectorLISP Lisp with GC in 436 bytes
- Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, April 1960
Smalltalk
- The Early History of Smalltalk Alan C. Kay
The Symbolic Language of Math
- Part of help with abstract math
The Lisp Curse

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.

standard-fish / creative-racket-2022
- Choose cjoose
- Enter
Racket-related
- Racket itself
  - Regular meeting first Saturday every month at 2PM Eastern time on GatherTown
    - announced in Racket News 54
- Racket news 49
  - Syntax model Racket's syntax model -- describes the representation used during macro processing and interpretation, and how the representation is used.
  - Racket Discourse
  - Introductions
    - Teach Yourself Racket For mature programmers with experience in an imperative language
      - Part of Prabhakar Ragde's flâneries
    - How To Design Programs
  - Racketcon https://con.racket-lang.org/
    - Gather
    - talks
      - https://spritelyproject.org/
        
        E language
      - http://wiki.c2.com/?TestDrivenDevelopment
      - Schism is an experimental compiler from Scheme to WebAssembly. https://github.com/google/schism
      - https://en.wikipedia.org/wiki/Open_Broadcaster_Software
      - Test-driven development
  - [parendown[(https://docs.racket-lang.org/parendown/index.html)
  - Goblins a quasi-functional distributed object system, mostly following the actor model.
  - The Birth and Death of Units
- Procedural text generation in Racket.
  - the Racket language Jen
  - It seems to be for random text generation, or, more generally, for any random S-expressions
  - jen
  - jen-doc the documentation for jen
  - jen-lib
    - Refinement Types in Typed Racket
- a list of Racket game development resources
  - Racket game jam Latest one seems to be October 15 to 25, 2021.
  - Lispgames Just Racket? Seems to me there are other Lisps.
    - maybe at Lisp Games? Maybe not?
  - Creating languages in Racket An article on how possible it is to define specialty programming langiages in Racket. The main example is a language for writing text-only adventure games.
  - Creating Languages in Racket with a text-adventure game as example. (a differetn link)
Related Languages * https://github.com/racket/rhombus-brainstorming * Dracula, a Racket tool for verification of Racket programs (or is it common lisp?) * Dracula: A Guide to ACL2 Theorem Proving in DrRacket

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
Graphite -- A language for data visualisation.
- Graphite talk from the Scheme 2021 meeting.
- graphite A loosely ggplot2-inspired data visualization library for Racket.
- sawzall A grammar of data manipulation for Racket, inspired by dplyr.
  - on the package server
  - API reference
  - Thanks to https://socviz.co

Links from the racket meet on 2022 02 04

https://github.com/thecodingmachine/workadventure
https://people.cs.uchicago.edu/~jacobm/pubs/topsl.pdf
- http://topsl.sourceforge.net/
https://en.wikipedia.org/wiki/BarCamp
https://avc.sh/

Lisp Meetings

Lisp meeting #8YouTube
Lisp meeting #9 YouTube
- Slides
Real-time Implementing Common Lisp 3 and its chat
Lisp meeting #10 on youtube control structures
- slides
Post-meeting chat
meetings when in progress
Regular Racket meeting first Saturday every month at 2PM Eastern time on GatherTown

javascript and relatives

Typescript
Rescript Allegedly "a language like JavaScript, but without the warts, with a great type system, and with a lean build toolchain that doesn't waste your time"
- Learn ReScript — A Safer Way to Write JavaScript— Part 1
- Melange producing js from OCaml

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)

OCaml

Algebraic effects
- Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations A feature said to make game writing easier.

Lean

Other

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:
  - Primitive types and operators
- nim-langallegedly a fast secure language
- Type-theoretic languages
  - Agda
  - Coq
  - Idris
    - Ohad's latest work (in Idris) (reported by Jacques Carette on 2021 08 26)
Jai
- Primer0
- Talk in 2014
- Jonathan Blow on wikipedia

specialised

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.

Programming tools

Coding examples

Double forking to prevent Zombie process
- How processes work

Type theory

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

Type theory playground

end programming languages

mathematics

ZenoTheRogue Videos about noneuclidean geometries
{Near a Raven](http://www.cadaeic.net/naraven.htm) Pi coded as a long poem
When = isn't quite equal An simple exposition on building new thngs from old.
Automath archive
zbMATH an open index of mathematical literature.
Mathematics Subject Classification MSC2010
- MSC2020 project
Varieties of Mathematical Understaning (also downloaded locally) "Conceptual mathematics as a technology designed to extend out cognitive reach"
Xenablog
Video: Visualizing quaternions (4d numbers) with stereographic projection
Quotation
- Das Aufsuchen der Invarianten ist eine sch"{o}ne, ja sogar die sch"{o}nste Aufgabe der Mathematik, aber noch mehr, es ist sogar ihre einzige Aufgabe. Und +auch damit ist es noch nicht genug:\ es ist einzige Aufgaben aller +Wissenschaften "{u}berhaupt.
  - Kronecker, 1891. Quoted from the text of Kronecker's last lecture
    - Or here
  - Searching for the invariants is a beautiful, yes, even the most beautiful The task of mathematics, but more than that, it is its only task. And even that is not enough: \ it is the only task of all sciences \ "{u} in general
Why We Might Use Different Numbers in the Future A description of number notations used in the past. This includes mentions of other number bases than 10. It seems 10, 12, 20, and 60 have all been used historically. Technologically, we've also used 2, 8, and 16. The symbols the video used for 10 and 11 in duodecimal are not the ones historically promoted, which were a backwards 3 for 11, called elf, and an old-Emgnlsh thorn for ten. (I'm not sure I remember, but they may have called it 'dec').
The Church numberss in NF set theory Intuitionistic NF Set Theory
Symplectic forms
Why Category Theory Matters
Physics, Topology, Logic and Computation:A Rosetta Stone
Developing Good Research Skills: Compressing Knowledge
Photon-Photon Scattering

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

Learn Applied Category Theory I suspect this URL is only temporary.
Category Theory article at the Stanford Encyclopedia of Philosophy. COntains a lot of history.
Centre de Recherche en Théorie des Catégories -- Montréal -- Category Theory Research Center
Notations
- TikZ is used by anyone serious, says John Baez.
  - TikZ online editor use {} to export in TeX
  - TikZ package very introductory documenation
- Scribble
  - using scribble for everything from category theory to poetry A long thread with various subtopics containing a bit on category notation.
    - discussion on category theory notation on Racket mailing list.
  - scribble-math
- on StackExchange
- Commutative Diagrams in LaTeX Links to many notation systems
- Commutative Diagrams in TeX Paul Taylor's notation for diagrams.
Category Theory seminar calendar
- MIT (Applied) Categories Seminar
Zulipchat
What is an intuitive view of adjoints? (version 1: category theory)
- [https://www.math3ma.com/blog/what-is-an-adjunction-part-1](What is an Adjunction? Part 1 (Motivation))
- [https://www.math3ma.com/blog/what-is-an-adjunction-part-2](What is an Adjunction? Part 2 (Definition))
Topos Institute presumably the presenter's website on 2020 09 16: tslil.xyz
New York ?university? category theoory at 7
Here's the zoom link
Computational category theory 1 Simplicial Sets - Hiro Lee Tanaka
Implementing category theory in ML. This one looks interesting, with a
- manual and
- programs
Functorial Wiki
Motives and What Not
Baez: Noether's Theorem
Baez: The Algebra of Grand Unified Theories
Applied Category Theory 2021 — Adjoint School
Values and Inclusivity in the Applied CategoryTheory Community (pdf)
The rising sea in applied mathematics
Calculations with presheaves
- pdf file
- ipynb file
Definitions
The Algebra of Grand Unified TheoriesJohn C. Baez, John Huerta
Applied Category Theory Course
On my favorite conventions for drawing the missing diagrams in Category Theory Eduardo Ochs
the wiki
Talks
- June 25: Remy Tuyeras' talk
  - on zulip
  - paper
Symmetric Monoidal Categories: a Rosetta Stone
Graphical Linear Algebra A presentation of linear algebra without all the arrays of numbers. It uses categorical strinf diagrams. But it's not clear that this is a reasonable introduction to linear algebra.
Type Theory
- lecture notes on Bishop’s set theory
- Dependent Type Checking
  - Checking Dependent Types with Normalization by Evaluation: A Tutorial by David Thrane Christiansen. Has a number of links to other techniques.
  - An algorithm for type-checking dependent types Thierry Coquand
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
Emily Riehl
FOM: For categorical foundations
FOM: Categorical foundations, pro and con
FOM: For categorical foundations
FOM: Forwarded mail....

end Category Theory

Ordinals

John Baez'z intuitive nonrigorous introduction to ordinals
constructive-ordinals-in-hott
- also arxiv 2104.02549 Connecting Constructive Notions of Ordinals in Homotopy Type Theory
Taranovsky
- Ordinal Notation by Dmytro Taranovsky (to be downloaded by other means that ensure necessary linked files are included in the download.
- Update on Ordinal Analysis Taranovsky. 2018 11 22 on FOM mailing list
- Goals of Ordinal Analysis Taranovsky. 2017 08 12 on FOM mailing list
A Tutorial Overview of Ordinal Notations by Jacques Bailhache (jacques.bailhache@gmail.com) Starts with combinatory logic! Contains computer programs.
An ordinal calculator is available Paul Budnik on FOM mailing list 2009 09 16
858: Mathematical Representations of Ordinals/1 Hervey Friedman on FOM mailing list 2020 06 18
Budnik's ordinals
- 'Recursive notations' for countable admissible level ordinals Paul Budnik on FOM mailing list 2009 10 16
- Ordinal notation calculator and research tool Paul Budnik on FOM mailing list 2012 08 06
- An overview of the ordinal calculator Paul Budnik
- The ordinal calculator in Python
  - early version seems to be in C++
    - [FOM] An ordinal calculator is available allegedly links to some documentation
TJ Carlson "Elementary patterns of resemblance"

end ordinals

Big numbers
- TREE sequence

Set theories

Constructive set Theory Book draft Peter Aczel and Michael rathjen
[Michael Rathjen's Preprints and Papers](https://www1.maths.leeds.ac.uk/~rath en/preprints.html)
Michael Rathjen at Leeds M.Rathjen@leeds.ac.uk

end mathematics

Unitarian Church of Montreal

UCM services on firefox
- UCM playlist on youtube
- previous services

Media

Anime and manga
- Sailor Moon
  - Casablanca Memories
  - Pretty Guardian Sailor Moon Eternal Edition, Volume 1
- Spice and Wolf on Funimation, with commercials
- Batou shojo The girl who verbally abuses -- Matoko arc
- Hige wo Soru. Soshite Joshikousei wo Hirou. / Shave the beard and pick up the high school girl is on Crunchyroll. Sounds like a sexploitation title, but it is anything but.
  - ad
- Wolf's Rain is on funimation. Good anime about a change in the world.
- Revolutionary Girl Utena
- Indexes and recommendations found on the webpage https://www.reddit.com/r/anime/comments/5w0g9o/anime_with_lots_of_rain/
- Blue reflection Ray -- crunchyroll news; should start April 09, 2021
  - its livechart entry
- Soredemo Sekai wa Utsukushii / The World is Still Beautiful
- https://en.wikipedia.org/wiki/Assassination_Classroom
anime flowchart
Kagerou project
Where to get legitimate digital manga
Comics online
- Pogo by Walt Kelly: The Complete Syndicated Comic Strips Comic
  - Goes only up to 1958. Th comic was still running a decade later. Maybe check back occasionally in case more appears?
  - Linked from here
Comixology ad
- Good Dog, Cerberus! Vol. 1
- Tales from the Chthulhuverse #1
Extre Fabulous Comics
Webtoons
Links from 2021 otakuthon
- https://www.nicovideo.jp/watch/sm8630663 https://animecons.com/guests/bio/2977/cosplay-joe
- The animated series Diver -- or is it DeadStar?
- Cyberconnect 2
  - Workd of Fuga: Melodies of Steel
- Anime convention schedule
- Animecon
- animecon
- Histoires tombées d’un éventail
- https://www.rightstufanime.com/
- Alex Kade, an electronic dance music group from Toronto
- https://www.anime-planet.com/sign-up -- but never got the activation email.
- Manga Planet Library - Japanese Manga Subscription
- Mangaplanet's stop piracy manga page
- [lovelive sunrise] @lovelivesunrise at instagram
- Litte Future board game studio
  - their Japanese site
- l'abris de gameur
- The angelic beats
- The KingBlade: an otaku's true colours
A history of Japanese striptease
- [subsection]((https://journals.openedition.org/cjs/1384#ftn10)

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

Streaming services in Canada
My Neighbour Totoro. My all-time favorite movie.
- A weird interpretation of the film which the makersof the movie reject. Watch the movie before you read this interpretation.
- Hayao Miyazaki Prepares to Cast One Last Spell Article about Miyazaki and a Studio Ghibli retrospective
Dune
- Dune: What Denis Villeneuve Changed from the Book
Movies that involve mathematical knowledge
Marx Bros. LOVE HAPPY European cut
Documentary movie Empire of the Ants - BBC Documentary HD
Koyaanisqatsi (1982)
Baraka (1992)
The Revenant https://www.imdb.com/title/tt1663202/
365 Days https://en.wikipedia.org/wiki/365_Days_(2020_film) I probably don't want to watch this
Eyes Wide Shut
falaise
- Should also be on youtube
8. The Sumerians - Fall of the First Cities Someone recommended this to me. Seems to be 8th in a history of Sumaria. On Youtube.
Quibi -- a video streming service with short films
A Promising Young Woman -- Jane recommended this to me with warnings.
Shadow and Bone ??? on netflix, rcommended in newspaper
Streaming video
- Of course there's netflix, crave, and youtube. But lesser known are:
- Highball TV "We carefully curate films from Cannes, TIFF, Sundance, and other festivals around the world for you to watch on any screen, any time, anywhere in the world." Allegedly free trial.
Films to watch
- Film to watch: Paycheck
- Film to watch: White Sun of the Desert (Apparently all the astronauts lunched from Russia see this file -- it's a tradition)
- The falcon and the Winter Soldier
- Wandavision (actually a series)
- Sort Of (series) (CBC and CBC Gem)
- BBC - Horizon - 1996 - Fermat's Last Theorem - video Dailymotion
Reviews
- 'Framing Agnes' re-enacts the real lives of trans people in the 1950s

Short Videos

Short online films
- Slaughterbots
Watch Cassie the bipedal robot run a 5K
Interior Decorator Blues (inspired by René Magritte) Jan Kuipers, Fluxury
Driverless car
- Demo video of driverless taxi service in Shenzhen, China
  - Discussion on Soylent News
video -- glaciers calving
Marbles
- Marbula One Fandom
Makeshift Marblypics - Event 13: Sailing
50 Car Nascar vs Super Car Challenge - Treadmill Series
I Don't Want to Go to Toronto Funny.
Sesame Street: Handclapping Chants

TO SEE: ??

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

Artwork, synthetic

Electric Sheep
Fractal Forums
- Chris Thomasson's Julia
Disco Diffusion
Hyperbolic Geometry Artwork
autolisp in a computer programming page contains some lispish stuff
Krita
- Tutorials
  - List of free Krita tutorials
    - How to paint in Krita Digital Art Tutorial -- Jenna Drawing -- this is the first on I followed.
Shadertoy
- https://www.shadertoy.com/view/ssjfR3?fbclid=IwAR0fqUUvC2tlPZO7-WxD-vfuvmYK4YP2VUKXEhMgXkpZ1HeFMUqmtp99lFY

Podcasts

archaeology podcast network

Fichub.net
- Announcement
- Site

Other

MUAs for Linux

Linux
- distrowatch rankings
- Routing tables
  - How To Display Routing Table In Linux
  - Understand the basics of Linux routing
- Open letter to the Linux World
- Calamares an installer framework for Linux
- pclinuxos an infuential Linux distro. Its slogan is "So cool ice cubes are jealous".
- Advanced Bash-Scripting Guide
- Greater Orlando Linux users' group
- Orange Counts Lnux users' group
- Phoenix Counts Lnux users' group https://www.poetryfoundation.org/poems/46560/dulce-et-decorum-est
- libguestfs
  - faq CBC war of the worlds

indent paragraphs kepler somnium

MONSFFA
- International Association of Astronomical Artists
- Astronomy In Motion Space VR Objects, Animation and Art by Lonny Buinis

Laurie Anderson - 1983 (A Merman I Should Turn To Be) - Jimi Hendrix Cover

writing

writing
- Restarting a stalled project according to Mary Robenette Kowal, transcript:
  - Restarting a stalled project
  - Step one, write down what you think is wrong with it before you reread it
  - Step two, reread and note any problemd that are additional
  - Step three, write down a game plan for how you would fix it
  - Step four, begin writing where you left off as if you have already fixed the things Don't fix them yet. Why? Because you might be wrong. But more importantly, probably the reason you stalled before was because you were going back and trying to make things perfrct. They don't have to be perfect on your first draft. The only time you go back and do those corrections is that there's really a vital piece of information as a writer can ony figure out by writing that scene. And even there, my recommendation would be to only write that scene. Now this comes with the caveat that not all writing advice works for all writers.
  - But try this.
    1. Write down the problem that you think you have.
    2. Reread.
    3. Then make a game plan.
    4. Begin writing as if you have already fixed it.
- The Greatest Fictional World Builders: Terry Pratchett
- “The ABC’s of How NOT to Write Speculative Fiction” by Susan MacGregor
- https://www.w3.org/wiki/Common_HTML_entities_used_for_typography
- Anne Lamott On Life & Writing
- How To Write Without Your Muse
- writing humour on facebook
- Plot generator
- Seventh Sanctum lots of random tables and generators.
- Darkest of Nights More generators. Also some games.
- What kind of a plotting method will work best for you and your story?
- Jot, Bin, Pants
- Plot generators
  - These are actually writing prompt generators, not plot generators
  - From Writingexercises.co.uk
  - from Reedsy
- 10 Fantasy Books with Unique Magic Systems (that Can't Currently Be Adapted)
- Brandon Sanderson Guidelines for a Successful Writing Group
- Walter Mosley advertising a writing master class
- Writers write
  - create setting like character
  - How To Read Books
  - Things Bookworms Are Still Mad About
  - Writing Advice From The World’s Most Famous Authors
  - Cheat Sheets For Writing Body Language
  - The Pros And Cons Of Plotting & Pantsing
  - What Is A Plot? – A Writer’s Resource
  - 101 Fantasy Tropes For Writers
  - The 25 Best Quotes About Authors
  - 106 Ways To Describe Sounds – A Resource For Writers
  - How to write an action scene
  - Why Writers Should Know About Monsters Before They Write a Word
  - 37 Ways To Write About Anger
  - The Only Character Questionnaire You Need Very detailed questionaire.
  - Why It's OK Not To Write and how to get started again.
- Abby Emmons: The Ultimate Scene Card (video)
- Writing Excuses 15-minute podcasts. Or videos?
- Body Language Cheat Cheet
- Gizmodo Writer Experiments Blocking Amazon, Facebook, Google, Microsoft, and Apple From Her Life https://soylentnews.org/article.pl?sid=19/02/11/0623210
- The Daily Word Counts Of 39 Famous Authors
Comics
- Flow and the Eyelines How to arrange panels and speech baloons on a page to they are read in proper order.
SYmbolism
- Famous Novelists on Symbolism in Their Work—and Whether It Was Intentional
[the Waifu catalog]
- catalog
- rules
- about
Alleged tools
- New tool could help authors bust writer's block in novel-length works. An AI cloud to predict what comes next in a story. I have not yet found the new tool itself.
How to Remove Hurdles to Writing for Students with ADHD
Word Clouds
Why Writers Should Know About Monsters Before They Write a Word Includes a sectin on the difference between devils and demons.

Nanowrimo

nano
- nanowrimo.org
- nanowrimo on wikiwrimo
- Nanaprep 101
  - Nanoprep 101: as a pdf Downloaded to ~/Documents/NaNo-Prep-101-Course-Final.pdf
  - Quiz on plotting style
  - Nano prep 101: imagining it A six-week workshop.
- Prep course
  - Complete nanoprep guide -- local
  - Complete nanoprep guide -- Amazon cloud
- revision playlist
  - Detailed edit
- options-for-getting-stickers-to-your-participants-this-year
- about the prepping outlining category
- nanowrimo forums
- nanowrimo group forums
- A musical about nanowrimo
Markup systems
- CommonMark Spec
Judy Reeves’s 10 Daily Habits That Make a (Good) Writer Some actual good advice, whether yo uwrite or not.

Document compilers

Ascidoc

asciidoctor The prominent implementation
- quick reference

Document Editors

LyX on wikipedia
GNU_TeXmacs
- GNU TeXmacs on wikipedia

end writing

Kobo

How to export annotations. It seems like this information should be available from kobo itself.
- Exporting highlights and comments How to export highlights and annotations from a Kobo Aura
- Maybe even kobonotes
Abolish the text-to-prison pipeline

Physics

Entropic Gravity
The Rindler Horizon by Greg Egan
- Greg Egan's Home Page
Is the Universe a vacuum Fluctuation?
- Why Isn't Edward P. Tryon A World-famous Physicist?
Richard P. Feynman Nobel Lecture
How come Einstein said that energy equals mass but also said that light has energy though it doesn't have mass?
ON THE ELECTRODYNAMICS OF MOVINGBODIESByA. EINSTEIN
This Week's Finds in Mathematical Physics (1-50)
Why Magnetic Monopoles SHOULD Exist "Don't underestimate the power of the obsessed physicist. The great Paul Dirac has a habit of discovering particles just by starting at the math."
Torsors made easy
The Physicist Who Slayed Gravity’s Ghosts An interview with Claudia de Rham about the theory that gravitons might have mass in a universe with extra dimensinos.
- Massive Gravity Claudia de Rham's paper on the subject.
https://bigthink.com/starts-with-a-bang/are-we-approaching-quantum-gravity-all-wrong/
- https://bigthink.com/starts-with-a-bang/are-we-approaching-quantum-gravity-all-wrong/ by Lee Smolin. TODO: There should be a better reference than an amazon link.
inear quantum theory and its possible nonlinear generalisations There should be a source other than academia.edu. This one seems to be mostly blankk pages.
about Feynman's big mistake
- Feynman.s particles
  - from https://www.quora.com/Why-cant-Richard-Feynman-be-ranked-as-a-co-equal-of-Einstein-and-Newton-as-physicists
- Schwinger's waves](https://qr.ae/pGq3zZ)
  - from https://www.quora.com/Who-in-theoretical-physics-would-be-considered-the-modern-day-Einstein/answer/Rodney-Brooks-3
Youtube channel on QM by Peter Woit

Speculative physics

[Constructor Theory[(https://www.youtube.com/watch?v=8DH2xwIYuT0)
Will Constructor Theory REWRITE Physics?
To view sometime

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

Biology

Life Is Complicated—Literally, Astrobiologists Say

Music

The current state of free music in 2019
The Most COMPLEX Pop Song of All Time Never Gonna Let Yo Go. Persented by rick beato.
8-bit Music Theory
Horses -- Patti Smith Patti Smiths' debut album.
- First track Gloria (in excelsis deo) (lyrics) is a fusion of Van Morrison's Gloria with her poem Oath: "Jesus died for somebody's sins but not mine"
Buffy Sainte-Marie
- Albums
  - Illuminations
    - The album that (I'm told) introduced electronic syntheses to folk music.
    - Maybe buy it for download here?
on youtube
- [[MMD]Gimme×Gimme / Kagamine Rin Sour Ver x Hatsune Miku Sour Ver PV]](https://www.youtube.com/watch?v=Orb6mvWMyAs&list=RDUFTfJnkYS8A&index=1)
- IA
  - 【IA OFFICIAL】Shooting Star / TeddyLoid feat.IA (MUSIC VIDEO)
- SYML
  - Where's my love
  - SYML -- Hurt for me
  - In My Body full album stream
  - SYML store
- The Shins - The Rifle's Spiral (Video)
- strange Brian Eno / Jon Hassell - Fourth World Vol. 1: Possible Musics Full Album (2014 Remaster)
- Irene Cara - Flashdance What A Feeling (Official Music Video)
- Bonnie Tyler - Total Eclipse of the Heart (Video)
  - Making Love out of nothing at all -- Air Supply -- Similar somewhat to Total Eclipse of the Heart
- Juice Newton - Angel Of The Morning (Official Music Video)
- Crimson and Clover
- Crimson & Clover (Long Version)
- Jefferson airplane - White rabbit
- The Moody Blues - Nights In White Satin (1968)
- Mary Hopkin Those Were The Days 1969 Rare Performance
- Kim Carnes - BETTE DAVIS EYE - Les années bonheur - Patrick Sébastien - Live
- Kim Carnes - Bette Davis Eyes (Extended Mix) (on June, 2021: Gary Schneider 1 month ago Oh yes, 1981. I was 13 and just figuring out the girl next door was actually the best friend I had, ever had, or ever will have. I still remember my dads little talk. I thought it was going to be the birds and bees talk. He looked at me all serious and said "Son don't screw this up cause she's the best you'll ever get" There was never anybody else. Four kids and 11 grandchildren later and life is good. God Bless to you all. )
- Olivia Newton John - Magic (live on the midnight special)
- Mary Hopkin Those were the days lyrics GPITRAL2 Music for Learning English with subtitles
- The Shangri-Las - Leader of the Pack (1964) Stereo HQ Audio
- The Shangri- Las - Remember ( Walking in the Sand) - Long stereo mix
- Del Shannon — Runaway (1961)
- Spill The Wine
- Eric Burdon & War - Spill The Wine (1970)
- You're so Vain
- Tom Lehrer
- NENA | 99 Luftballons [Offizielles Musikvideo] (1983) Not the video with the nuclear explosions
- PROCOL HARUM - A Whiter Shade of Pale - STEREO
  - Procol Harum – A Whiter Shade Of Pale | The story behind the song | Top 2000 a gogo
  - Procol Harum Whiter Shade of Pale ( Rare version with the two extra verses) Lyrics in video
  - 06. Sade - Is It A Crime
Commentary
Udemy music compsition
music browser: Debian package gmusicbrowser for libraries with a very large number of songs (over 10.000)
Opossum Carols or Walt Kelly's Xmas Postludicrosity contains sheet music for Boston Charlie music GARNiDELiA 『起死回生』MV
Pink Floyd - Meddle - 1971 [Pink For All]
70's Oldies but Goodies - 70s Greatest Hits - Best Oldies Songs Of 1970s - Greatest 70s Music
Fractal music
- https://archive.org/details/future_music/13+Mixed+Bass+Self-Similar.mp3
Youtube music
youtube folkish
ImSLP Petrucci Free Music LibrarySharing the world’s public domain music.
I'm your venus
- with rewritten lyrics for Gillette (2015?)
Disturbed - The Sound Of Silence [Official Music Video] A somewhat louder varsion than the original.
[The Moody Blues - Nights In White Satin](The Moody Blues - Nights In White Satin) "One of the first official videos of "Nights In White Satin" in 1967. filmed in Paris, France." Black and white video, somewhat out of focus.

End music

Miscellaneous

Books
- The Windup Girl
- To maybe read:
  - Binge, by Douglas Copeland: alegedly a collectio of related pieces of microfiction.
- (The Egg)[http://www.galactanet.com/oneoff/theegg_mod.html] Short story by Andy Weir.
Art
- Fractale -- Katharina Ellador a fractal showcase
QM
- Articles
  - Rethinking Determinism
  - Bell's Theorem: The Quantum Venn Diagram Paradox
The World's Greatest Gallery of Seductive Radishes
Discovering New Tessellations Using Dynamic Geometry Software
Japanese
- The Japan Shop
  - Beri- Beri- Shoshinsha Beginners
  - Learn Japanese with Stories [All 10 Volumes Bundle] [DIGITAL DOWNLOAD]
- 【公式】在モントリオール総領事館｜Consulat Japon à Montréal on youtube
- Consulat Japon à Montréal｜在モントリオール総 on twitter
epub
- Lithium Epub reader
- Posting memes until somone falls in love with you on a facebook page

Computing documents

Debian Handbook
- Also go visit aptitude and search for "handbook"
Kobol Network Attached Storage
Raspberry Pi Alternatives
TLS Deadline
- Certbot
unfwics and piglet
Book Fire with Fire Charles E. Gannon
Funny
- Ya know, retirement might be alright after all!
- Norm Macdonald on the Daily show definitely NSFW
The Ingenious Way TV Logos Were Made Before Computers
kalsarikännit: The feeling when you are going to get drunk home alone in your underwear – with no intention of going out. A drink. At home. In your underwear.

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

Miscellaneous

See also: Codex Atlanticus, Codec Leiester, Codex Happer

Doctor Who Wiki
Gog
The Oatmeal
Zoom encryption proposal
Forth multiprocessor
Soylent News Community Roundtable -- contains a comment on the soylent news API
Bleach for coronavirus via salt water
Lifetimes in Rust
Hot or not
Puzzles maybe Thierry recommended
Systemd ten years later (at about 2020 05 02)
Edgar Allan Poe on secret writing
Bender affadavit
Visual-Spatial Learning Disorder. Aphantasia.
Library Genesys 2M
- Library Genesis Chobits:
256-byte demo:
- 256-byte demo
- a-jaw-dropping-demo-in-only-256-bytes
HAKMEM [hakmem](h* ttps://w3.pppl.gov/~hammett/work/2009/AIM-239-ocr.pdf) TODO: local copy?
Barbara Hudson
- Journal of Barbara Hudson: Why are we still happy?
- Easter Bunny Tales
Discussion on constructivism
Self-hosted video and chat
- 1.
- 2.
Novel to read: The Peace War -- Vernor Vinge
Learning and testing AI
- 1.
- 2.
- 3.
Existential Comics

OlderBookmarks

https://www.facebook.com/PatriciaTallmanPage/videos/627560674800549/

Filesystems:

ZFS
- What is ZFS? Why are People Crazy About it?
- Install ZFS on Debian GNU/Linux (2012 04 17)
- Memory requirements for ZFS
- The 'Hidden' Cost of Using ZFS for Your Home NAS
btrfs A btrfs installation introduced a bug few months ago (now maybe a few years ago) that cost Sti his entire file system. Fortunately, he had a backup. Thie is not a glowing recommendation.
turnkey systems
- Rockstor
  - This appears to be a complete Centos-based Linux OS for a network-attached storage system.
  - It uses btrfs.
  - There's another one called FREENAS, based on FreeBSD and OpenZFS.
- NILFS
- Examining btrfs, Linux’s perpetually half-finished filesystem from Ars Technica on 2021 09 24.
Text Generation
search for ADOM, MAngband, and dwarf fortress found

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
RSS feed reader
- RSSTail is more or less an rss reader: it monitors an rss-feed and if it detects a new entry it'll emit only that new entry. https://vanheusden.com/rsstail/
Racket
- [pattern matching](https://docs.racket-lang.org/reference/match.html https://docs.racket-lang.org/guide/match.html)
  - in macros
    - https://docs.racket-lang.org/reference/stx-patterns.html
- Beautiful Racket
- Pict3d
  - current source repository
    - as apparently indicated
- Still massively under development resyntax: Interesting, but not yet ready or stable enough for real use.
- Tutorial: Using Racket’s FFI
Gambit
- Progress on the native back end
  - http://www.iro.umontreal.ca/~gambit/SW2018-talk.pdf
  - https://www.brinckerhoff.org/scheme2018/papers/Huberdeau_Feeley.pdf
  - TODO: get inks to racket at 25.
  - TODO: gt links for the nscent Vulkan binding.
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.
- https://wiki.opencog.org/w/OpenCog_Development_Roadmap#Introduction
- https://wiki.opencog.org/w/SatisfactionLink_and_BindLink
- Pattern matching on graph
OpenGL
- Official site
  - Getting Started
- RenderDoc for debugging graphics code
- Useful OpenGL guide
- Hello Triangle
- Colored Cube
- OpenGL terrain renderer: rendering the terrain mesh
- Triangle mesh
Constructive Solid Geometry
- in Racket
  - Ruckus: Procedural CAD For Weirdos
- Constructive Solid GeometryandProcedural Modeling by StelianCoros. A slide show.
- Constructive solid geometry on Wikipedia
Soylent News Book CLub
- Poll results
- SoylentNews Book Club is Alive
Web Serving
- Web serving
- Elixir/Phoenix/Liveview -- a web-server component apparently inspired partly by Erlang.
  - on Soylent News
  - On duckduck go
Thierry
- Worth the Candle, currently on chapter 3
Reading or watching
- Stein's Gate
- The Thrilling Adventures of Lovelace and Babbage
- Lovecraft
  - on Soylent News
  - The H.P. Lovecraft Archive
  - [The Lovecraft Reread](https://www.tor.com/series/the-lovecraft-reread/ https://www.tor.com/series/the-lovecraft-reread/)
    - fungi from yuggoth
  - H.P. Lovecraft's GOD Actually EXISTS... or maybe (https://www.youtube.com/watch?app=desktop&v=B43RWs9wy4c&fbclid=IwAR0PtF9G8Ng1xiw3lrkIM_9gbF1GpDW-vsGpEMBwDaVo2uiCtEiqhg2nuhU) ?
To buy and read?
- maybe free? Clarkesworld magazine
  - Secret Life of Bots
  - http://www.gutenberg.org/files/18139/18139-h/18139-h.htm -- within chapter 6
  - https://www.fanfiction.net/s/10360716/1/The-Metropolitan-Man -- halfway through chapter 1
- The Divine Cities Series
- Kim Stanley Robinson: New York 2140: review
- 2018 Hugos:
  - https://www.tor.com/2018/08/20/announcing-the-2018-hugo-award-winners/
  - https://www.theverge.com/2018/8/20/17698208/2018-hugo-awards-n-k-jemisin-martha-wells-science-fiction-fantasy-books
  - Soylent News
Aready read
- Science Fiction / Noon in the antilibrary
Interactive Fiction
- on wikipedia
- Interactive Fiction Technology Foundation
  - Programs
    - Twine committee
  - Forum
  - tools
    - Twine
  - Narrascope an annual conference
- Interactive fictino database
- The Interactive Fiction Archive
  - index
- Teaching and Learning With Interactive Fiction
- Ink An interactive-fiction authoring tool.
Manga
- mangacrawler
System-d free hosting
- https://devuanhosting.com/en-us/cms/
Power chip
- IBM Power Development Cloud
Fishcam
- the original one:
Politics in general
- [World Socialist Web Site]9http://www.wsws.org/)
Math
- Girard's's "Proofs and Types"
- Bob Coecke, who did Categorical Quantum Mechanics
  - thesis
- Wikipedia on Categorical Quantum Mechanics
- [Matching Logic Grigore Rosu](https://arxiv.org/abs/1705.06312 for reasoning about programs)
Golang
- How to Write Go Code
  - Port scanning examples to teach Go concurrency bounding
  - Johnny Boursiquot author of above portscan examples
Security
- Have I been Pwned?
- Firefox Monitor

Operating Systems

Haiku

Copernicanism

http://tofspot.blogspot.com/2013/10/the-great-ptolemaic-smackdown-table-of.html
The Truth About Galileo and His Conflict With the Catholic Church
Vatican Observatory Hosts Conference on Astronomy

other

Rick Moen's Signature Archive
Nanogenmo
- Nanogenmo 2018
  - issues
- hendrikboom3
- A Calculus of Motive and Plot
  - Issues
  - Code
- cpressey
  - Samovar
- The League of Extraordinarily Dull Gentlemen
- Voynich
  - code and sample pages
  - ttps://github.com/lizadaly/nanogenmo2014/tree/master/examples
- novel via prolog chaining -- Grail HUnters in the Jungle
  - Definite Clause Grammar
    - The tracery definite clause grammar
    - [he Prolog DCG Primer]https://www.metalevel.at/prolog/dcg)
  - Someone suggests PicoLisp
- Brainstorming some ideas
- Prose description of game engine, using Reiter and Dale book
  - Alternate repo for NaNoGenMo 2017
  - Building natural language generation systems
    - library
    - buy (too expensive) Cambridge University Press. No ebook available.
    - Google books
- 2013
  - cpressey
    - The Swallows
Text Generation
- Generating Narrative Variation in INteractive Fiction. Nick Montfirt. A Dissertation
- Kitfox games: Writing Modular Characters for System-Driven Games -- a GDC presentation in 2018. https://www.youtube.com/watch?v=qX5-2D8SP5A
- Emily Short's Interactive Storytelling -- Essays and reviews on narrative in games and new media
  - Mailbag: AI Research on Dialogue and Story Generation
  - Procedural Generation in Game Design -- book review
    - /home/hendrik/farhome/hendrik/Documents/ProceduralContentGenerationInGames/
    - /home/hendrik/farhome/hendrik/Documents/ProceduralContentGenerationInGames/chapter05.pdf
- Generative Text -- google group --
Scanning
- CZUR
  - https://www.czur.com/support
  - indiegogo Aura https://www.indiegogo.com/projects/aura-speeds-simplifies-all-your-scanning-needs/x/5978809?gclid=CjwKCAiArK_fBRABEiwA0gOOc8DD3q_uURQ1Ah1TAO42TV4yy7YLPPys0Ch50RUBpoUniJU5wjnZdBoCGrUQAvD_BwE#/comments
  - https://www.indiegogo.com/projects/aura-speeds-simplifies-all-your-scanning-needs/x/5978809?gclid=CjwKCAiArK_fBRABEiwA0gOOc8DD3q_uURQ1Ah1TAO42TV4yy7YLPPys0Ch50RUBpoUniJU5wjnZdBoCGrUQAvD_BwE#/
  - https://www.indiegogo.com/projects/aura-speeds-simplifies-all-your-scanning-needs/x/5978809?gclid=CjwKCAiArK_fBRABEiwA0gOOc8DD3q_uURQ1Ah1TAO42TV4yy7YLPPys0Ch50RUBpoUniJU5wjnZdBoCGrUQAvD_BwE#/
- TWAIN
  - https://stackoverflow.com/questions/28218822/twain-support-in-linux-c
- SANE http://www.sane-project.org/intro.html
- Viisan https://www.viisan.com/en/product/K21.html?fbclid=IwAR33Qp6gdjIVS4-BP1OpnzEQVU37b1MxGzCIk9NgghEdCVVRqy6iTuFLGFw

Other

Canadian Centre for Policy Alternatives
Speech Recognition
- Speech Recognition For Linux Gets A Little Closer
- https://unix.stackexchange.com/questions/256138/is-there-any-decent-speech-recognition-software-for-linux? https://unix.stackexchange.com/questions/256138/is-there-any-decent-speech-recognition-software-for-linux
- Lifewire: The State Of Linux Voice Recognition
- Mycroft the private and open voice assistant (so they say)
- Wikipedia: Speech recognition software for Linux
- LinuxLinks:
math
- Special Symbols in LaTeX
- First Steps in Synthetic Computability Theory http://math.andrej.com/data/synthetic.pdf
Browsers
- Iridium browser https://iridiumbrowser.de/
  - on soylent news: https://soylentnews.org/comments.pl?sid=28093
- 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
- on oulipo.social https://oulipo.social/about
- Giving social networking back to you - the Mastodon project https://joinmastodon.org/ *eol
- elo conference https://sites.grenadine.uqam.ca/sites/nt2/en/elo2018
- 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
  - Get a Windows 10 development environment https://developer.microsoft.com/en-us/windows/downloads/virtual-machines
- 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/
  - About Docker CE https://docs.docker.com/install/
Mathjax
- https://github.com/mathjax/MathJax/blob/master/unpacked/jax/input/TeX/jax.js
Purism touchpad
- Ubuntu: Activate multi-touch on Elantech touchpad https://www.evilcodingmonkey.com/2014/01/23/ubuntu-activate-multi-touch-on-elantech/
- Elantech Touchpad Driver https://www.kernel.org/doc/html/v4.16/input/devices/elantech.html
- InstallingDebianOnPurismLibrem 13 https://wiki.debian.org/InstallingDebianOn/Purism/Librem%2013
- Ubuntu bug: Elantech clickpad/touchpad lacks multitouch features. https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1166442
- [SOLVED] Touchpad recognized as "PS/2 Elantech Touchpad", multitouch - not working on latest Linux distros (Mint,Ubuntu,Fedora,Manjaro) https://www.linuxquestions.org/questions/linux-hardware-18/touchpad-recognized-as-ps-2-elantech-touchpad-multitouch-not-working-on-latest-linux-distros-mint-ubuntu-fedora-manjaro-4175608561/
- Maybe the simest solution: Elantech touchpad ― enable tap to click in Debian https://www.reddit.com/r/linuxquestions/comments/8nsuxy/elantech_touchpad_enable_tap_to_click_in_debian/
- SynapticsTouchpad https://wiki.debian.org/SynapticsTouchpad#Read_the_manual

Talks

Open Lectures
- Language and Logic: Ideas and conrtroversies in the ehistory of Formal Semantics
  - author Barbara H Partee email partee@linguist.umass.edu
  - Slides
  - link from chat (see https://link.springer.com/chapter/10.1007/978-3-662-43742-1_2 by Daisuke Bekki).
  - videos of talks
    - same videos and click on 'Media files'.
  - Wednesday Chat
The computer revolution hasn't happened yet Alan Kay's talk a OOPSLA
- mentions
  - The Art of Creation by Arthur Kessler
  - The Art of the Metaobject Protocol

Bereavement

bereavement links
- https://www.facebook.com/refugeingrief/
- https://refugeingrief.com/

Miscellaneous

Entertainment
- Achewillow
- Complaints re pirate sites
  - https://torrentfreak.com/riaa-and-mpa-want-domain-registries-and-njalla-on-us-piracy-watchlist-201110/
  - https://torrentfreak.com/images/Notorious_Markets_Submission_for_2020_final.pdf
  - https://torrentfreak.com/images/MPA_Notorious_Markets_Filing.pdf
- Short videos
  - Oregon's Exploding Whale
  - Boston Dunamics' New Year Robot Dance
Photography
- infrared and uv converted cameras with filters
  - kolari
    - on Amazon
JagmeedSingh on twitch
racket users video meetup
ray-traced rendering in scheme Dominik Pantůček
3d
- Blender
animation
- Twelve basic principles

Transient, new:

a triple cobordism?
MIT Applied Categories Seminar
Catlab documentation pixel arrays are a fully discretized approach to numerically solving systems of nonlinear equations
Hash join
Julia language https://www.algebraicjulia.org/ https://julialang.org/ google search for #catlab.jl ?
24-core ARM
- video video about 24-code ARM computer.
- developer box
- SynQuacer
- http://shop.elesar.co.uk/index.php?route=product%2Fproduct&product_id=51
- https://www.96boards.org/product/developerbox/
- Best Qualcomm-powered laptops of CES 2018
- ARM Servers
  - https://b2b.gigabyte.com/ARM-Server/Cavium-ThunderX
  - https://www.toptal.com/back-end/arm-servers-armv8-for-datacentres
  - https://www.gigabyte.com/ca/ARM-Server
  - https://www.bamboosystems.io/arm-server/?utm_medium=Bamboo&utm_source=Google_AdWords&utm_campaign=Arm_Server&utm_content=Google_AdWords_responsive&gclid=CjwKCAiAt9z-BRBCEiwA_bWv-DjGLhc4fBAIlPHVb3JzcupWvsHIhPLJb3K48HbyiSPwzuG6e4iU4RoCyjUQAvD_BwE
  - qnap Qnap TS-431XeU-8G-US 4-Bay 1U Short-Depth Rackmount NAS (8GB RAM Version) with Built-in 10GbE Network
- sbc IN A BOX
  - UBC-200CD-MDA1E
OpenTitan is the first open source project building a transparent, high-quality reference design and integration guidelines for silicon root of trust (RoT) chips.
Vermont PBS Schedule
Devuan releases
World Logic Day
Review of Linux phone
ARM with two ethernet ports
- NanoPi R4S
  - NanoPi R4S SBC preview with OpenWrt and Ubuntu Core
  - from FriendlyElec allegedly $45 US. Is it already available?
  - from alieexpress? allegedly $62 to $95 US

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

OCR
- Tesseract
- OCPmyPDF A python script for invoking Tesseract.
14 Of The Saddest Pop-Punk Songs Ever
Walt Kelly
- Google search for walt kelly christmas carols
- Opossum Carols or Walt Kelly's Xmas Postludicrosity contains sheet music for Boston Charlie
- Walt Kelly's Christmas
  - Whirled of Kelly
    - Whirled of Kelly
  - Too many verses of Deck us all with Boston Charlie. The first two are the traditional ones. Others are variants.
Poetry
- The Poetry Archive
  - Wordview A poetry contest in 2020.
- T.S. Eliot
  - Journey of the Magi -- includes an audio recording,
  - The Love Song of J. Alfred Prufrock with links to annotations
The Theory of Quantized Fields. I by Schwingre -- the first of a series of six papers introducing quantum fielld theory. Where to get this? What's on that website is just an abstract, and the rest seems to be paywaled.
- Complete series:
  - The Theory of Quantized Fields. I Julian Schwinger Phys. Rev. 82, 914 (1951)
  - The Theory of Quantized Fields. II Julian Schwinger Phys. Rev. 91, 713 (1953)
  - The Theory of Quantized Fields. III Julian Schwinger Phys. Rev. 91, 728 (1953)
  - The Theory of Quantized Fields. IV Julian Schwinger Phys. Rev. 92, 1283 (1953)
  - The Theory of Quantized Fields. V Julian Schwinger Phys. Rev. 93, 615 (1954)
  - The Theory of Quantized Fields. VI Julian Schwinger Phys. Rev. 94, 1362 (1954)
Bohemian Logical & Philosophical Café
agda-categories library
Agda (programming language)
The Kugelmass Episode By Woody Allen
Pijul A distributed revision control system with the clean theory of darcs, but efficient,
World Logic Day 2021
- Peking letures on youtube
- Complete list Not to useful; includes dates but no ttimes; links to a variety of not-always helpful websites.
- in Bulgaria
Mathematical Problems of Non-perturbative Quantum General Relativity -- Abhay Ashtekar Ashtekar explains the state of quantum gravity research at about 1993. An interesting and seemingly comprehensible exposition, though so far I've read it only to page 13, and I can't say I understand all the jargon. Hoping to figure it out as I go on.
Vermont PBS schedule

Attention deficit

ADDitude -- a site about attention deficit
Dependent Type Checking
- [Checking Dependent Types with Normalization by Evaluation: A Tutorial][http://www.davidchristiansen.dk/tutorials/nbe/#%28part..Bidirectional.Type_.Checking%29] by David Thrane Christiansen. Has a umber of links to other techniques.
- [An algorithm for type-checking dependent types Thierry Coquand][https://reader.elsevier.com/reader/sd/pii/0167642395000216?token=2E9063E6889B4EA440A8A9C853EFF36A270B0D80E34EC1B08A92C919227413EDF127E0345E1B087FA1F51FBCD8E8E87F]
Grothendieck
- EGA translation project
  - in-progress translation
- The New Universal Church
Philosophy Tube
What is proof that the sum of (1+1/2+1/3+…+1/n)-this series can't be an integer when n>1?
Natural Type Theory
- Paper on arxiv
- Azimuth blog entry
- N-category cafe entry This one has a lot of interesting comments.
Words and wordplay: The Phrontistery
XKCD Imposter *NDG resto
- resto café oxford
TUNES projects
- Maru
- MU
A few links bout the design of social networks:

Octonions:

Wikipedia on octonions
Octonions and the Standard Model,
ambience:
- [White noise] Beautiful rain and thunder in the woods ⚡, extremely comfortable rain and relax sleep" on YouTube and no music!
- Black Screen
  - Rain and thunder sounds for sleeping black screen 4 hours and no music!
  - Rain & Thunder Sounds Black Screen with Ocean Waves | White Noise for Sleeping 10 Hours
- Virtual coffee shops
- other Ambient sounds (still need to try these out)
  - https://www.ambient-mixer.com/ This one has short pauses every 5 seconds or so.
  - Blizzard Sounds for Sleep In a Soothing Room | Snowstorm Sounds with Fireplace Crackling And A Cat
  - https://tabletopaudio.com/
Mathematics Without Apologies
Zoom
- Zoom meeting test
- System requirements for Windows, macOS, and Linux
- How Much Data Does Zoom Use?
[Ad for master classes](https://youtu.be/Xb0PYr9EgPk Ad for master classes)
Perimiter Institute
- Perimiter Institute Courses recordings of lectures in Perimiter Institute courses. *Perimiter Institure Recorded Seminar Archive perimeter institute videos a duckduckgo search
Covid life
- Sikhs expand their community kitchens in response to COVID-19 hardships - The Globe and Mail
epub
- very informative wikipedia page
- standard
  - Version 3.0 from archive.org
  - Version 3.2
- How to repack an epub file from command line
- .epub eBooks Tutorial Introduction
- How to create an eBook the open source way; i.e., in LibreOffice
sheela na gig
cats in boxes
- Groundbreaking Cat Science Shows They Love to Sit in Illusory Boxes, Too
matrix Claims to be an open network for secure, decentaralised communication. How open is it?
- Bridges
  - There's a bridge to IRC
    - Matrix IRC Bridge
    - Using the Matrix IRC Bridge
  - There's a bridge to Facebook Messenger
  - There's a bridge to Discord.
  - There's a bridge to email.
  - There's an android bridge to SMS
  - and to SMS with one phone number only.
Android
- Android Debug Bridge (adb)https://developer.android.com/studio/command-line/adb)
- Chromecast throught desktop chrome
Computer hardware
- ethernet
Procedural text generation
Extraversion vs Extroversion
A post I'm trying to understand about paper Higher cup products on hypercubic lattices: application to lattice models of topological phases
http://www.trc.ca/about-us/trc-findings.html
June 1st, 2021 - Andrews, Texas - Hail Dumping Madness
Feature structure grammars
- Are they good for anything? Are thy just needlessly complicated formalism? Do they have enough structire to reason about?
Implementing Typed Feature Structure Grammars book by Ann Copestake
- Implementing Typed FeatureStructure Grammars
- LKB User Manual excerpt fron book
Google search for typed feature structure grammar
Feature structure on wikipedia
Deep Linguistic Processing with HPSG (DELPH-IN) -- LkbInstallation
- A shell script for installation
- This directory contains software and linguistic resources distributed by the LinGO network
LKB on Wikipedia
- DELPH-IN An organisatin that seems to be hosting LKB.
Deep Linguistic Processing with HPSG (DELPH-IN) front page: DELPH-IN Overview
- Deep Linguistic Processing with HPSG (DELPH-IN) wiki
  - LkbTop Deep Linguistic Processing with HPSG (DELPH-IN)
- DelphinTutorial Background
Cleaning a laptop

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.

Mayflower autonomous ship
Rinabow
- Rinabow Channel trailer
- Rinabow playing "Pokémon Alpha Sapphire randomizer ランダマイズ改造のポケモンアルファサファイア" on YouTube
- Floating Wonderland beta Trailer
- She's translating luminous arc 3
Attempts at using AI for art
- Alien Dreams: An Emerging Art Scene using a system called CLIP from OpenAI.
- Deeply Artificial Trees
Dementia risk calculator
books on discovering math
- How TO Splve It, by Polya
- There's a book describibg the proof of Euler's theorem about vertices, edges, and faes, and how it developed over the ages. I thought it was by Polya, but it doesn't seem to be mentioed in his Wikipedia entry, so maybe not.
- The book about mathematics in weather forecasting
- Mathematician's Delight, bu=y Sawyer,
- The book about the monster group
hacker news
Excuse Me... Some Digital Preservation Fallacies?