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 amd 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

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
• 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

end of online seminars

Devuan

• [Index» Packaging for Devuan» The Basics of Devuan Package Maintenance](http://dev1galaxy.org/viewtopic.php?pid=29962 )

• 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
  • 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)

end Covid

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 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/ 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"

• 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

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.
• 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.

• 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.
    • 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.
    • on the package server
    • Documentation
    • API reference
  • sawzall A grammar of data manipulation for Racket, inspired by dplyr.
    • on the package server
    • API reference
    • Thanks to https://socviz.co

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)

    Other

• 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)

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

• Eclipse Theia 1.0 – Open-Source Alternative to Visual Studio Code

• Monotone

• vscodium 8 Evolution of Unix

  Coding examples

• Double forking to prevent Zombie process

  • How processes work

Type theory

• A Lambda Term Representation Inspired by Linear Ordered Logic
• Higher-order unification
  • Higher-order Unication with Dependent Function Types
  • Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions

• Efficient Full Higher-Order Unification
  • also on arxiv

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

end programming languages

mathematics

• 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

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

• 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
  • https://www.math3ma.com/blog/what-is-an-adjunction-part-2

• 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
• 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

end mathematics

Unitarian Church of Montreal

• UCM services
  • UCM playlist on youtube
  • previous services

Media

• Anime and manga

  • Sailor Moon
    • Casablanca Memories
  • 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/
    • Flowchart
    • Reddit recommendation wiki
    • Weekly recommendation thread
    • List of legal streams and downloads
    • A useful website where you can enter an anime and see where it's legally streaming
    • List of currently airing anime
    • A useful wiki page with watch orders for many anime.
    • Someone asked about anime with rain
    • anime streaming search engine Canadian edition
  • 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

  • Top 5 Digital Manga Websites: Feed Your Reader and Stay Legit
  • Discussed on Crunchyroll
  • So-called The Ultimate List of Legal Online Manga Sites By Katy Castillo
  • 5 Sites to Read Manga Online for Free and Entirely Legal
  • A Beginner’s Guide to Buying Digital Manga
  • VIZ
  • Crunchyroll Manga
  • Yen Press

• 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)

Movies, Video

• 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
• 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/365Days(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

    Short Videos

• Short online films
  • Slaughterbots
• Watch Cassie the bipedal robot run a 5K
• Driverless car
  • Demo video of driverless taxi service in Shenzhen, China
    • Discussion on Soylent News
• video -- glaciers calving
• Marbles
  • Marbula One Fandom
    • Marbula One: Greenstone GP Qualifying (S1Q5) - Marble Race by Jelle's Marble Runs
    • Marbula One: Momotorway GP Qualifying (S1Q3) - Marble Race by Jelle's Marble Runs
    • Marbula One: Hivedrive GP (S1R4) - Marble Race by Jelle's Marble Runs
• Makeshift Marblypics - Event 13: Sailing
• 50 Car Nascar vs Super Car Challenge - Treadmill Series
• I Don't Want to Go to Toronto Funny.

TO SEE: ??

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

Podcasts

archaeology podcast network

• Fichub.net
  • Announcement
  • Site

Other

MUAs for Linux

• Linux
  • Routing tables
    • How To Display Routing Table In Linux
    • Understand the basics of Linux routing

https://www.poetryfoundation.org/poems/46560/dulce-et-decorum-est

CBC war of the worlds

indent paragraphs kepler somnium

• MONSFFA

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

• Wasabi Sushi

• Bison Water Hole camera

• Lisp chat

writing

• writing

  • Plot generator

  • 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

  • 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

    • 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.

• 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

• 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
  • 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.

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

• ON THE ELECTRODYNAMICS OF MOVINGBODIESByA. EINSTEIN
• This Week's Finds in Mathematical Physics (1-50)
• 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.

Speculative physics

• [Constructor Theory[(https://www.youtube.com/watch?v=8DH2xwIYuT0)

• Will Constructor Theory REWRITE Physics?

• To view sometime

  • David Deutsch - Which Laws of Nature are Fundamental?

  • The Problem With Quantum | Roger Penrose, Gerard 't Hooft, Chiara Marletto, Phillip Ball

  • Mix – Constructor Theory

    • How to Rewrite the Laws of Physics in the Language of Impossibility

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

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.
• 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
  • 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)
  • 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
  • The Animals | Eric Burdon on Story of The House Of The Rising Sun | Pop Fix | Professor of Rock
  • Eve Of Destruction
  • The Moody Blues - 07 Nights in white satin full version
• 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?)

See also Virtual coffee shops

End music

Miscellaneous

Babylon 6

• Springer: Free books from Springer (temporary)

https://soylentnews.org/comments.pl?sid=37279

• Curry recipes

• Books

  • The Windup Girl

  • Babylon 6

  • To maybe read:

    • Binge, by Douglas Copeland: alegedly a collectio of related pieces of microfiction.

• 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.

• Wizard of Oz

• pandemic the cult

• Babylon 5 is the greatest, most terrible...

• Posting memes

Miscellaneous

• Pinephone, as reported by Subsentient
  • Subsentient
• Jango Radio metadata
  • from Zirconium's journal
• Mona Lisa vs Monna Lisa

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
• Sudoku as spectator sport
• 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 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
    • in macros
      • https://docs.racket-lang.org/reference/stx-patterns.html
  • Beautiful Racket
    • Creating Languages in Racket
    • Make a language in one hour: stacker
    • Follow the grammar: bf
  • 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
    • Wikipedia on triangle mesh
    • Mesh representations and data structures
    • Flipcode site
      • The Half-Edge Data Structure
      • Theory & Practice - Issue 05 - Landscapes
• 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
• 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
      • fungi from yuggoth
• 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
• Golang
  • How to Write Go Code
• 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
  • Are we addicted to debt?
  • The Monitor, November-DEcember 2018
  • CCPA on Wikipedia
  • CCPA on Facebook
• 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
  • Wikipedia: Speech recognition software for Linux
  • LinuxLinks:
    • DeepSpeech – TensorFlow implementation of Baidu’s DeepSpeech architecture
    • Julius – large vocabulary continuous speech recognition decoder software
    • Kaldi Speech Recognition Toolkit – Designed for Speech Recognition Researchers
    • Simon – frontend for simon speech recognition solution
    • CMUSphinx – Open Source Speech Recognition System for Mobile and Server Applications
    • deepspeech.pytorch – Implementation of DeepSpeech2 using Baidu Warp-CTC

• 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%2525u2019sCauldron_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 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
    • List of ADDitude webinars
  • Married with ADHD: How Real Couples Make It Work
  • https://www.cablewholesale.com/support/technical_articles/megahertz_madness.php
  • Q: How Do I Prioritize Tasks and Chores on My To-Do List?
  • How to Finish What You Start
• 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:
  • Taiwan Is Crowdsourcing an Everybody-Wins Democracy
  • Discussion on soylent news
  • Presentation of pol.is, the software they used
  • Actual code

Octonions:

• Wikipedia on octonions
• Octonions and the Standard Model,

• Sudokus

• 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

    • Coffee Shop Ambience with Relaxing Jazz Music and Rain Sounds, Rainy Night | Smooth Jazz Music rain is on a short loop.

    • RAINY DAY COFFEE SHOP AMBIENCE: Piano Music and Rain Sounds With Distant Thunder

    • Rainy day cafe in Amsterdam

  • 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

• 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

    • interface bit rates

    • Cable categories

    • Making Sense of the Approved TIA standards and Ethernet Cable Speeds

• 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?

Atlas Petabyte Data Store

Olympics 2020/1

• CBC top stories
• upcoming live events via CBC

more misc.

• Floods
  • Flood map
  • First-of-its-kind map outlines Canada’s future flood zones Does not appear to contain links to the map.
  • Montreal-made website uses AI to show impacts of climate change on any address
  • A new flood map specifies Greater Montreal Area flood zones
  • Montreal and surrounding municipalities have new flood maps but won't make them public From "3 years ago" -- probably 2018. Is this still valid?

• Kickstarter Union Oral History
• Alternative video and the like
  • bitchute
  • Bittube
  • Lbry

A library of formalised mathematics

Notes on the Kevin Buzzard's talk on Lean at the topos institute.

• lean prover community

• THE CONJECTURAL CONNECTIONS BETWEEN AUTOMORPHIC REPRESENTATIONS AND GALOIS REPRESENTATIONS

• the Lean Zulip

• encyclopedia of algebraic structures?

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?

Patrick Massot's sphere eversion project

• condensed mathematics
  • Lectures on Condensed Mathematics -- Peter Scholze (all results joint with Dustin Clausen)
  • on nlab
• EuroProofNet
  • objectives
  • Registration

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

• IANA-managed Reserved Domains reserved domain names
  • Special-Use Domain Names
  • Special-Purpose IP Address Registries This describs IPv6 as well as IPv4.
    • Special Use IPv4 Addresses an easier but obsolete version.
• The Security Flag in the IPv4 Header
• IP Datagrams on Avian Carriers

Some memes

• memes

Miscellaneous (as if the rest wasn't)

• chindogu

  • video of examples

• Salmon of Knowledge

• The Samurai and the Tea Master

  • As retold by Peter Cohen in a Quora answer

• JIR

• Contemporary architecture does not merely reflect finance – it is finance

• How to Solve the Hardest Logic Puzzle Ever

• A Mathematician's Lament

• The Girl Who Played Go by Shan Sa, Adriana Hunter (Translator)

  • A review of La Joueuse de Go Review, which concludes that the author doesn't know enough about Go. There's an English translation called The Girl who Played Go.

  • Appears to have been based partiall on on older book, The Master of Go by Yasunari Kawabata, Edward G. Seidensticker (Translator)

• Combatting revisionist history A history of systemd claims.

• Myth #13: Icons enhance usability

  • Who Moved My Cheese?

• emacs relatives

  • Org Trr Slide

  • https://github.com/yjwen/org-reveal

  • Bookmarks in Emacs

  • sleef

• Sounds of the Mandelbrot Set

• The Best VGA DOS Games. Period.

• Inspiration4

  • Countdown: Inspiration4 Mission to Space

• The Women Who Coined the Term ‘Mary Sue’

• nanoprep 101

• The intelligence coup of the century

• 36 Questions to Bring You Closer Together

• A Bad Solar Storm Could Cause an \'Internet Apocalypse\'

• $15 Drug Gets COVID Patients Off Oxygen Support in Under Week -- Study Any chance that this actually works/

• Samsung Kills the Cameras on the Galaxy Z Fold 3 If You Unlock the Bootloader

• The Wonderful Century A review of the progress in the 1800's, made in 1898.

• Git

  • Personal Project That Needs Feedback: A New (Supplemental) Git Glossary

  • Problems in Git

• https://commonjoe.gitlab.io/git-clarification/index.html A biography of Hugh Hefner

• https://www.washingtonpost.com/news/checkpoint/wp/2017/09/28/the-military-changed-hugh-hefner-years-later-he-changed-the-military/?fbclid=IwAR3mkdMMG46nIRLGRbqAXIAYxP8VhcaAMbkHiWpgpHOOW38fGM28ktxXhEE

• https://soylentnews.org/article.pl?sid=21/08/19/2156247

• Windows 11 Is Making It Absurdly Difficult to Change Browsers

• Malazan Book of the Fallen A huge fantasy weries, complexly world-build, which I should try reading sometime.

• Why Magnetic Monopoles SHOULD Exist

• No Silver Bullet —Essence and Accident in Software Engineering classic article by Fred Brooks.

• Why I Don’t Write Dystopian SF by mcgrew

• The Return of the Cousins of the Dune Preacher's Mistress parody of Dune.

• Malazan Book of the Fallen

• Prophecy -- John Wood Campbell Analog editorial from May 1968.

• Self-Similar Tiles and Related Figures a catalogue.

• the talos principle Game described on wikipedia.

• Asking SN: What DAW set-up works for you? A discussion on digital audio set-ups.

• Colour gamuts

  • Rec. 709

  • Rec. 2020

  • Human eye response

• I told you so, 2021 edition What people get wrong with screen savers

• A Life in Games biographical note about John Jorton Conway.

• What is ...? Seminar a weekly seminar, explaining things in an informal manner.

• Explore the Louvre’s Entire Collection of 480,000 Artworks in a New Digital Database AN ARTICLE.

  • Musée du Louvre The database

• Mister Invincible Ad for a comic book

• http://www.magnetic-press.com/mr-invincible/ How to make type theories for languages

• Reverse Engineering the source code of the BioNTech/Pfizer SARS-CoV-2 Vaccine

• How writers are turning H.P. Lovecraft's racist work on its head

• What Every Programmer Should Know About Memory the pdf

  • discussion

• https://soylentnews.org/article.pl?sid=21/01/13/1546243 a Soylent News link

• pijul a new distributed versin control system.

  • Conflict-free replicated data type Also known as CRDT

• The Azimuth Project Index to John Baez's site

• Bohemian Logical & Philosophical Cafe

• Parednown A Racket extension that reduces parenthese to a more manageable level.

• Seven Sketches in Compositionality:An Invitation to Applied Category Theory

  • Mistakes

  • Discuss chapter 1

  • Lecture 2 - What is Applied Category Theory? lecture 2 of applie category course

• Wear a mask while having sex, Dr. Theresa Tam suggests

• Canada Post support page Seems there should be a welcome page, but they bypassed it somehow when I followed th elink here.

• License to Kill

• Chimes of Freedom Lyrucs

• Chimes of Freedom Chors

• Poetry terms

• How To Get An ‘A’ Analysing Poetry

• James Bond: The evolution of an iconic franchise—and the coolest secret agent of all time A history of Bond films.

• Explore the universe with virtual reality

  • Explore the most detailed 3D map of the universe with virtual reality

  • VIRUP : The Virtual Reality Universe Project

  • source code on gitlab

• David Card and Minimum Wage

  • Canadian Nobel winner David Card has led a credibility revolution in economics

  • What the Nobel Prize in economics says – and doesn’t say – about increasing the minimum wage

  • Does Canada need a higher minimum wage? That’s a Nobel question

• https://flashforest.ca/ Using drones to plant forests.

• Picturing Our Future Pictures of anticipated climate change fooding.

• Common ground climate chat is the hot air we need

• Workouts

  • darebee workout psters. Allegedly 1700+ workouts.

• Interfacing linux to Facbook Messemger

  • Install Facebook Messenger Desktop App In Linux Actually just something that can interface with it.

  • Pidgin interface with multiple chat systems siultaneously)

  • jgeboski’s Software Packages

• Consulate General of Japan in Montreal -- youtube channel

Tiffin services

Something I should look into sometime?

• In Brampton, a growing army of home cooks offer customers hungry for Indian food a taste of home - The Globe and Mail -- explaining how tiffin services provide something like food sbscriptions.
• Indian Tiffin Service Montreal, Quebec A directory of tiffin services from indianbusinesscanada.
• some tiffin food montreal at DuckDuckGo
  • Punjabi Tiffin Service Montreal, Quebec
  • Tiffinking - Tiffin Service Montreal, Food Service Montreal
  • Indian Tiffin Montreal – Just another \site
  • (7) Tiffin Montreal | Facebook