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
• Soylent News
• Facebook
• Montreal weather
• My answers on quora
• Zoom dial-in from Montreal 438 809 7799
• Calendars
  • Category Theory Calendar
  • OWLS calendar
    • OWLSonline Worldwide Seminar on Logic and semantics
• CBC news Montreal
• Globe and Mail Sudoku
• International spelling alphabets
• CUPS port for printer configuration
• What's new in Netflix for January, 2022.

Other search engines

Keep a list of sites you never heard of.

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

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

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

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

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

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

Meetings

• 2021 Otakuthon
• 2022 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
• Quine's NF
  • prove NF's consistency
  • archive on zulip
  • Gabbay, Jamie's approach
• 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
  • Symmetry univalent mathematics
  • 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.
  • Torsors Made Easy
    • An affine space is like a vector space that has forgotten its origin.
    • A torsor is like a group that has forgotten its identity.
    • A torsor is a set that a group acts on.
    • Week 234's finds in Mathematical Physics the math of music - including torsors, orbifolds, and maybe even Mathieu groups
• [Lisp Meetings](#Lisp Meetings)
• Lisp chat

Covid-19

• Coronavirus disease (COVID-19) in Québec Qhebec's instructions for deaing with COVID-19.
• New omicron subvariant may bring a severe COVID-19 wave. Here are the symptoms to look out for - Deseret News
• Another COVID-19 wave is here – if only we could do something about it. (Hint: We can)
• Bleach for coronavirus via salt water
• 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
• 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 ...
• Covid life
  • Sikhs expand their community kitchens in response to COVID-19 hardships - The Globe and Mail
• Reverse Engineering the source code of the BioNTech/Pfizer SARS-CoV-2 Vaccine
• Wear a mask while having sex, Dr. Theresa Tam suggests

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

Computing

Computing documents

• Debian Handbook

  • Also go visit aptitude and search for "handbook"

• Kobol Network Attached Storage

• Raspberry Pi Alternatives

• TLS Deadline

  • Certbot

Linux

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

Devuan

• The Devian Proposal
• Index» Packaging for Devuan» The Basics of Devuan Package Maintenance
• Distro user ratings on distrowatch
  • and the devuan reviews
• Devuan releases
• 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

Systemd

• Structural and semantic deficiencies in the systemd architecture for real-world service management, a technical treatise

Dotfiles

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

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.

DRM

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

Programming languages

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

Homoiconicity

Code Writing Code: An Introduction to the Theory and Practice of Modern Metaprogramming

Lisps

• 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

• 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

• What is the general purpose of LISP?

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 discourse group

• standard-fish / creative-racket-2022

  • Choose cjoose
  • Enter

• Racket-based langauges

  • The 2022 language party -- a contest to invent Racket-based languages
    • entries

• Racket-based text languages

  • CommonMark: Standard Markdown A markdown parser in Racket
  • Punct A document compiler based on the Racket commonmark parser.
    • a Racket #lang called Punct that serves the same purpose as Pollen
  • How to Create a Pollen Markup Alternative in 61 Lines

• 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

    • 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

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

  • TODO: get links to racket at 25.

  • TODO: gt links for the nscent Vulkan binding.

• 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

• Constructive Solid Geometry in Racket

  • Ruckus: Procedural CAD For Weirdos Looks useful. Uses ray-tracing with signed distance fields.

• 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

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

Golang

• How to Write Go Code
  • Port scanning examples to teach Go concurrency bounding
  • Johnny Boursiquot author of above portscan examples

Modula 3

• Modula-3: Language definition

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.

Rust

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

Other

• Jai (TODO: What is this?)

  • Primer0
  • Talk in 2014
  • Jonathan Blow on wikipedia

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

• Carbon yet another C++ replacement

  • a review of Carbon

Puzzles and Games

• Puzzles maybe Thierry recommended

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.

• Go and Games

• 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
  • on wikipedia
  • The Interactive Fiction Archive
    • index
  • What is Interactive Fiction? An article with useful-looking links
  • on Wikipedia
  • Interactive fiction database
  • Teaching and Learning With Interactive Fiction
• tools for Interactive Fiction
  • articles about tools
    • 5 Open Source Tools to Create Interactive Fiction
    • 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
    • Inklewriter Alternatives
    • Text Adventures – 10 Awesome Creative Writing Tools Inform 7, TADS, Adrift, Quest, Twine, Inklewriter, Choice of Games, Squiffy, Articy, ChatMapper; Feb 26, 2018
      • trailer for Facade An attempt to place video and emotion in a type-in-anything game
    • 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.
    • Free
      • 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
          • Latest version seems to be 2015 for Debian Wheezy and other platforms. Is source code available? Is an interpreter for generated code available?
          • links to full text documentation
        • [TADS – Interactive Fiction] Looks like an ordinary programming language
          • implementations
        • [ADRIFT – Interactive Fiction] Development on windows only
        • Adrift Completely GUI-driven development. Free, but accepts donations
        • [Quest – Interactive Fiction] Develop by point-and-click interaction. Development on Windows or in browser. Browser version depends on the site remaining available.
        • [Twine – CYOA] Dvelop on Windows, Mac. Linux, and browser. compiles to HTML. stories are saved in web browser cache -- Action required to prvent loss.
        • Twine Twind publishes directly to HTML.
      • Ink An interactive-fiction authoring tool.
        • web-tutorial
        • documentation
      • inklewriter A tool to write ink code
        • [InkleWriter – CYOA] Works in browser, minimmal documentation, compiles to Json which needs an interpreter.
        • [Choice of Games – CYOA] Proprietary script format. Can publish commercially only through the proprietary website.
      • [Squiffy – CYOA] WRitten by same people as Quest. Develop on Windows, Mac, Linux, or browser. Game runs online in local browser.
      • 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.
    • Commercial:
      • Articy:draft 3
      • ChatMapper
  • lectrote an interpreter for several interactive adventure object codes in electron or a Chrome browser.
• Communities
  • textadventures.co.uk/
  • Interactive Fiction Technology foundation
    • FAQ
    • The Interactive Fiction Competition An annual competition
    • Twine Committee It seems Twine is maintianed as an IFTF activity
    • Programs
      • Twine committee
    • Forum
    • tools
      • Twine
    • Narrascope an annual conference

Game Sites

• Gog
• Shareware Central
• AI Dungeon Doesn't seem to be an AI dungeon, but seems to have gamxs
• Top Interactive Fiction games on itch
• Top free NSFW games tagged Text based - itch.io
• Improbabl e 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"
• Steam play proton compatibility list

Games

• Progress Qest

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

  • Oolite: an open-world space opera

  • The Battle for Wesnoth

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

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

    • Roguelike

      • 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

Shared Worlds

• Orion's Arm Universe Project Lots of articles avout possible future space engineering.
• 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:
• Generative Art Slack (TODO: what is this?)

Bibliographic databases

• DocuLib 1.3.2 and MetaDB 1.0.2 now on OPAM
  • on github
    • uses meetadb

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

Mathematics

• Discussion on constructivism

• Special Symbols in LaTeX

• First Steps in Synthetic Computability Theory http://math.andrej.com/data/synthetic.pdf

• When someone says “I’m good at Math”, what are things that you would expect them to be good at?

• Good at math

• Big numbers

  • TREE sequence

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

• 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

• As a mathematician, what notational convenience were you most excited to find? on Quora

• Flatland explained by Car Sagan

• A Mathematician's Lament

A library of formalised mathematics

• Proofwiki

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

Patrick Massot's sphere eversion project

• condensed mathematics

  • Lectures on Condensed Mathematics -- Peter Scholze (all results joint with Dustin Clausen)
  • on nlab
  • Condensed Mathematics
  • https://www.math.uni-bonn.de/people/scholze/Condensed.pdf

• EuroProofNet

  • objectives
  • Registration

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

• 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
• 27 Unhelpful Facts About Category Theory by Oliver Lugg
• 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)
• Categories and Sets
  • La Théorie des Ensembles et la Théorie des Catégories: Présentation de Deux Soeurs Ennemies du Point de Vue de leurs Relations avec les Fondements des Mathématiques Jean-Yves B ́eziau∗
  • GENERAL THEORY OF NATURAL EQUIVALENCESSAMUEL EILENBERG AND SAUNDERS MacLANE
  • AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Categories and Sets
  • La Théorie des Ensembles et la Théorie des Catégories: Présentation de Deux Soeurs Ennemies du Point de Vue de leurs Relations avec les Fondements des Mathématiques

GENERAL THEORY OF NATURAL EQUIVALENCESSAMUEL EILENBERG AND SAUNDERS MacLANE

AN ELEMENTARY THEORY OF THE CATEGORY OF SETS

• La Th ́eorie des Ensembles et la Th ́eorie des Cat ́egories: Jean-Yves B ́eziau∗

• Lawvere Theories

  • Mikhail Gromov
    • In a Search for a Structure, Part 1: On Entropy - IHES
    • 1/2 Probability by Homology Mikhail Gromov, Lecture at Institut des Hautes Études Scientifiques (IHÉS), May 17, 2022. A video.

• Lawvere Theories

• 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

• Categorical Semantics of Entropy

  • Tutorial
  • Symposium

• a triple cobordism?

• MIT Applied Categories Seminar

• Catlab documentation pixel arrays are a fully discretized approach to numerically solving systems of nonlinear equations

• Grothendieck

  • EGA translation project
    • in-progress translation
  • The New Universal Church

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

• Emily Riehl

• FOM: For categorical foundations

• FOM: Categorical foundations, pro and con

• FOM: For categorical foundations

• FOM: Forwarded mail....

• Sketches of an Elephant Material related to the book Sketched of an Elephant, by Peter Johnstone., on topos theory

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

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

Proof Systems

• Type-theoretic languages
  • Agda
  • Coq
  • Idris
    • Ohad's latest work (in Idris) (reported by Jacques Carette on 2021 08 26)

Lean

• Learning lean
• Lean for the Curious Mathematician 2022 Jul 11 - 15, 2022 An in-person conference teaching Lean
• How to install Lean and mathlib on Debian/Ubuntu
  • Controlled installation of Lean and mathlib on Debian/Ubuntu
• Lean 4
• A new pass at the NF consistency proof
• zulip chat archive about proving NF consistency
• Setup for Con(NF) proof in Lean
• the Natural Number Game
  • at eve; 4

Type theory

• 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
    • [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]
  • Automath was one of the oldest computer-implemented type theories. It was used to formalise Edmund Landau's Grundlagen der Analysis
    • Automath archive
  • Girard's's "Proofs and Types" * 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

• Natural Type Theory

  • Paper on arxiv
  • Azimuth blog entry
  • N-category cafe entry This one has a lot of interesting comments.

• Type theory playground

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

• Homotopy Type Theory

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

Physics

• Conversations at the Primiter may have DRM. Might there be Youtube versions of some of there?
• Quantum mechanics
  • Articles
    • Rethinking Determinism
    • Bell's Theorem: The Quantum Venn Diagram Paradox

Octonions:

• Wikipedia on octonions
• Octonions and the Standard Model,
• The Peculiar Math That Could Underlie the Laws of Nature An article on Cohl Furey and her attempt to base the Standard Model on Octonions.
• Cohl Furey
  • Cohl Furey on the Octonions and Particle Physics
  • Introduction to the complex quaternions (Video 3/14)
  • Biquaternions and the Clifford algebra CL(2) (Video 4/14)
  • Spinors, ideals, and algebraic black holes (Video 5/14)
  • Weyl spinors as ideals of the complex quaternions (Video 6/14)
  • How the complex quaternions give each of the Lorentz reps of the standard model (Video 7/14)
  • Introduction to the complex octonions (Video 8/14)
  • How to get around the non-associativity of the octonions (Video 9/14)
  • Octonions, SU(3), and the number operator (Video 10/14)
  • Quarks and leptons as ideals of the Clifford algebra CL(6) (Video 11/14)
  • Three generations under SU(3)_c from the complex octonions (Video 14/14)

I haven't yet found all these videos.

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

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

• Quantum Computing

  • Quantum Algorithm Implementations for Beginners abstract
    • the pdf
  • Real quantum computers. Right at your fingertips.

• [Perimiter Institute](https://perimetist](https://www.youtube.com/watch?v=dw1sekg6SUY)

• 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

• Relativity

  • The TRUE Cause of Gravity in General Relativity

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

Unitarian Church of Montreal

• UCM services (I use firefox for this)
  • UCM playlist on youtube
  • previous services

Media

Anime and manga

• mangacrawler

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

  • 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
  • Least I could do

• 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

• Babylon 5

  • Babylon 5 Books

  • Babylon 5 vault -- Multimedia editions

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

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

  • Patricia Tallman Shares Funny Babylon 5 On Set Stories

  • Babylon 6

• Wizard of Oz

• Doctor Who Wiki

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
    • 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.
• Sesame Street: Handclapping Chants

TO SEE: ??

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

Video production

• The Ingenious Way TV Logos Were Made Before Computers
• Self-hosted video and chat
  • 1.
  • 2.

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

• Generative Art

  • Haynault pattern theory A DuckDuckGo search. It did not tel me what Haynault Pattern Theory is. Even the Wikipedia entry is too vague to be precise.
    • Pattern Theory on Wikipedia
    • BrainHack on Facebook
    • Haynault Pattern Theory :: Get High and See God : generative on reddit
    • My old generative art project on Fleen.org (what is fleen, anyway?)
      • GITHUB Source and graphics
      • Forsythis Spinner 2017-11-01 Panning through a generated pattern based on a twelve-direction hex/square grid.
        • Makes me wonder -- can this work on a ten-directional pentagonal grid?
  • Pattern Theory Group At Brown Ubiversity
    • Pattern Theory A PR with very slightly different links

• Procedural / Generative / Tech Art

• 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

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

  • Michael Moorcock's Ten Rules for Writers

  • “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
  • Harm Reduction for In-Person Events
  • 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

• for editing Knuth's TEX
  • LyX on wikipedia
  • GNU_TeXmacs
    • GNU TeXmacs on wikipedia
• Scrivener Alternatives for Linux

end writing

Kobo ebook reader

• 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

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?

• Chimes of Freedom Lyrics

• Chimes of Freedom Chords

• 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

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

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

• [It's the rattlesnake I fear]((https://www.youtube.com/watch?v=_OAR6RKTAz4) Laurie Anderson - 1983 (A Merman I Should Turn To Be) - Jimi Hendrix Cover

See also Virtual coffee shops

End music

Miscellaneous

Other

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

• Wasabi Sushi

• Bison Water Hole camera

Books

• The Windup Girl

• To maybe read:

  • Book Fire with Fire Charles E. Gannon
  • Binge, by Douglas Copeland: alegedly a collectio of related pieces of microfiction.
  • Peace War -- Vernor Vinge

• (The Egg)[http://www.galactanet.com/oneoff/theegg_mod.html] Short story by Andy Weir.

• Audio books

  • LibriVox Free public domain audiobooks -- Read by volunteers from around the world.

• epub

  • Lithium Epub reader

• 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

• Art

  • Fractale -- Katharina Ellador a fractal showcase
  • MNSignalProcessing/ca-mera-algorithm

• 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

Funny

• Posting memes until somone falls in love with you on a facebook page * Ya know, retirement might be alright after all!
• Norm Macdonald on the Daily show definitely NSFW
• 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.
• Existential Comics

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

• pandemic the cult

• 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

• The Oatmeal

• Zoom encryption proposal

• Forth multiprocessor

• Soylent News Community Roundtable -- contains a comment on the soylent news API

• Hot or not

• 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

• Learning and testing AI

  • 1.
  • 2.
  • 3.

OlderBookmarks

• Text Generation

• search for ADOM, MAngband, and dwarf fortress found

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

• 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
  • The OpenGL Graphics System Utility Library Also known as Glu. Version 1.3
• FreeGLUT A free impementatino of GLUT. the OpenGL Utility Toolkit (on Wikipedia)
• Khronos OpenGL Registry
• 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
• math for grpahics
  • 3D Math Primer for Graphics and Game Development
    • Introduction with table of contents
• Constructive Solid Geometry
  • in Racket
    • Ruckus: Procedural CAD For Weirdos
  • Constructive Solid GeometryandProcedural Modeling by StelianCoros. A slide show.
  • Constructive solid geometry on Wikipedia

End Opengl

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

• 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
  • Mycroft the private and open voice assistant (so they say)
  • 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

• 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
    • chapter 3
  • 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
• Graphics
  • ray-traced rendering in scheme Dominik Pantůček
  • 3d
    • Blender
  • animation
    • Twelve basic principles
  • Top 8 Neutral 3D CAD File Formats as of 18 jan 2021

Transient, new:

• 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
• Alder Lake-Powered Linux Laptop Arrives With 14 Hours of Battery Life Soylent News on 2022 July 09
  • a system76 laptop
• AMD Ryzen PRO 6860Z Powered Lenovo Z13 Notebook With Microsoft Pluton Co-Processor Can't Boot Linux It turns out you can reconfigure it to boot Linux, but it's not immediately obvious how. Apparently thie is a consequence of current Microsoft requirements.
• 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
• 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
    • T.S. Eliot: Four Quartets - an accurate online text

• Bohemian Logical & Philosophical Café

• agda-categories library

• Agda (programming language)

• The Kugelmass Episode By Woody Allen

• Pijul A new distributed revision control system with the clean theory of darcs, but efficient,

  • Conflict-free replicated data type Also known as CRDT

• 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

• Vermont PBS schedule

Attention deficit

• ADDitude -- a site about attention deficit

  • 11 Steps to Prescribing and Using ADHD Medication Effectively(https://www.additudemag.com/adhd-medication-11-steps-for-prescribing-it-effectively/https://www.additudemag.com/adhd-medication-11-steps-for-prescribing-it-effectively/?utm_source=eletter&utm_medium=email&utm_campaign=treatment_march_2022&utm_content=032422)
  • Are You Time Blind? 12 Ways to Use Every Hour Effectively
  • List of ADDitude webinars
  • How to Light a Fire Under Your Brain’s Butt
  • [Quiz] How Seriously Do You Procrastinate?
  • Can’t Get Anything Done? Why ADHD Brains Become Paralyzed in Quarantine
  • Why the ADHD Brain Chooses the Less Important Task — and How CBT Improves Prioritization Skills
  • ADDitude’s Pandemic Surveys
  • Married with ADHD: How Real Couples Make It Work
  • Q: How Do I Prioritize Tasks and Chores on My To-Do List?
  • How to Finish What You Start
  • Comorbid ADHD Complicates Most Diagnoses and Treatment Plans * https://www.cablewholesale.com/support/technical_articles/megahertz_madness.php
  • Meet Hyperfocus, ADHD’s Mr. Hyde
  • ADHD Videos What is ADHD Hyperfocus?
  • Hyperfocus: The ADHD Phenomenon of Intense Fixation
  • Hyperfocus — at Your Service
  • 9 Breakfast Recipes You Can’t Afford to Skip

• Things attention-deficit people do a list originally posted by Derek Simcoe

• long twitter thread about attention deficit

  • On twitter As posted on facebook
  • on threadreader This version is the original posting, presented without interruption, and seems to be longer than the other one..

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

• 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

• 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](https://youtu.be/Xb0PYr9EgPk Ad for master classes)

• 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
  • F-Droid The app store that respects freedom and privacy
    • Simple Calendar Pro supports syncing with Google Calendar and CalDav protocol
    • Welcome to the F-Droid wiki!
    • FAQ - General
  • Android on Linux
    • Don't know if any of these work
    • Best Way to Run Android Apps and Games on Linux
    • https://linuxhint.com/android_apps_games_linux/
    • https://www.howtogeek.com/760044/how-to-run-android-apps-on-linux/ anbox

• 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

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 Memes I collectd from Facebook and elsewhere.

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 Journal of Irreproducible Results

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

• How to Solve the Hardest Logic Puzzle Ever

• 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

• emacs

  • Emacs Key Macro Example: Insert All Unicode Bullets
  • Emacs: Make Whitespaces Visible

• 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. So far I haven't succeeded, but I'm told it's worth trying again.

• Malazan Book of the Fallen

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

• 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

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

• What Every Programmer Should Know About Memory the pdf

  • discussion

• You Can Now Easily Download All CIA UFO Documents to Date a Soylent News link

• The Azimuth Project Index to John Baez's site

• Bohemian Logical & Philosophical Cafe

• 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

• 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

• Recovering Our Lost Free Will Online: Tools and Techniques That Are Available Now An essay.

• Chez Stella

• Waag dutch organisatino about technology and society.

• What to watch according to the Globe and mail on December 16, 2021.

• Glues : This to That A website devoted to choosing effective glues.

• Lester Dent's Master Fiction Formula A duckduckgo search with many expositions.

• Mandelbrot

  • Tucked Away HD an evolving mandelbrot
  • Tucked Away HD on Facebook With a one-sentence comment on how it's built. I don't think it's a complete explanation.

• nasa live tv

• Knoteverywhere allegedly a web app for drawing knots. I suspect it wants something other than a mouse and a computer, since the intructions I got distinguish between a click and a tap.

• The Terrible Mistake of Choosing 'Null' as a License Plate

• Rudy Rucker's Infinity and the Mind on Rucker's website

• Shuggoth.net

• Exercises

• Web Accessibility

  • Understanding the Web Content Accessibility Guidelines
  • HTML: A good basis for accessibility
  • screenreaders
  • GOV.UK resources
  • [WCAG 21.1?}(https://www.w3.org/WAI/standards-guidelines/wcag/)
  • Color Oracle Simulate colour-blindness

• Russian cyberpunk farm!?

• NightWatch in 717 billion pixels

  • Popsci artice about restoration

• POV-ray

  • For UNIX 3.7.0

    • Reference documentation

    • Tutorial

    • More tutorial

• George Carlin on soft language

• Pandoea's Box in the Garden of Eden

• A real-life snow globe One family's first night on the snowy streets of Toronto. (labelled as sponsor content)

• History

  • The myth of the ‘stolen country’
  • Historian Irving Abella said the struggle for Jewish equality changed Canada for the better

Anthem of Ukraine sang in English Language

What did Nietzsche mean by monsters and the abyss?

Oil gas fracking radioactivity

News in Slow Frnch

• Tabs versus Spaces

  • in emacs

• Goat towers

• mushrooms may talk to each other with up to 50 'words'

• Sketchtogether Is this the right site? For a shared online whiteboard?

• The singing ringing tree

• Aurora award 2022 nominations

• Ten Heartbreakingly Brilliant Works of Animation according to Dan Persons; posted on Tor

Greenpeace petition to support right-to-repair

• DIY Book Scanner

• Best car action of Shadows in an Empty Room

• The worst programming language ever - Mark Rendle - NDC Oslo 2021 I should watch this sometime.

• Site Hosting

  • Nearly Free Speech

• Podcast interview with author ot All Night Laundry

• The Magnus Archives a weekly horror fiction anthology podcast (I haven't tried it -- something I should do sometime)

• Artwork found on chip masks

• Wikihistory

• Reptilian humanoid Entertaining video about video artifacts

• U.S. Supreme Court on abortion

  • [Anarchist Collective Shares Instructions to Make DIY Abortion Pills](https://www.vice.com/en/article/qjby4b/anarchist-collective-shares-instructions-to-make-diy-abortion-pills

• How we made the Montreal crime tracker CBC.

• Topographic map of Montreal

• Flutter -- a platform-independent UI library? applications for Android, iOS, Linux, macOS, Windows, Google Fuchsia, and the web from a single codebase.

• Independence of the Continuum Hypothesis: an Intuitive Introduction

• Logic programming

  • Racklog

  • Curry

    • CurryA Truly Integrated Functional Logic Programming Language
    • [Wiki]9https://www-ps.informatik.uni-kiel.de/currywiki/)

• WebAssembly

• (Xmlchecker.py)[http://troubleshooters.com/web/validating.htm#xmlchecker]

• Steam guides

• Apples

  • Why the Red Delicious No Longer Is
  • Red Delicious Apples Weren’t Always Horrible

• Project West Ford Needles in space!

• Camus

• How classic Sierra game graphics worked (and an attempt to upscale them)

• Scientists announce a breakthrough in determining life’s origin on Earth—and maybe Mars It seems RNA spontaneously forms on basalt lava glass

• Out of the Aeons By H. P. Lovecraft for Hazel Heald

• Markov Junior a probabilistic programming language where programs are combinations of rewrite rules and inference is performed via constraint propagation.

• Go at Google: Language Design in the Service of Software Engineering

• Rewrite SDL API

• Discover the Ice Age Floods Floods in weatern North America resulting from glaciers failing to hold back water.

• spider night light

• Neo4j a so-celled graph datanase

• Writing -- word lists

  • Smells
  • Tastes and Flavours
  • Colours
  • 350 Character Traits

• https://www.theatlantic.com/family/archive/2022/06/hot-mess-no-one-judging/661159/

• https://vocal.media/fiction/the-children-of-iron-and-earth

• How To Become A Hacker Eric Steven Raymond

• Montreal history The Gavazzi Riot of 1853

• Holly Rhiannon book announcement

  • online launch party](https://www.facebook.com/events/806021143613215/?acontext=%7B%22ref%22%3A%2252%22%2C%22action_history%22%3A%22[%7B%5C%22surface%5C%22%3A%5C%22share_link%5C%22%2C%5C%22mechanism%5C%22%3A%5C%22share_link%5C%22%2C%5C%22extra_data%5C%22%3A%7B%5C%22invite_link_id%5C%22%3A583749603138578%7D%7D]%22%7D)

• Markov Junior a probabilistic programming language where programs are combinations of rewrite rules and inference is performed via constraint propagation

• The children of Iron and earth prologue. (Is this story any good? Don't know. Haven't rad it yet.

• Logico-pluralistic exploration of foundational theories with computers

• [An Early Run-In With Censors Led Rod Serling to ‘The Twilight Zone’](https://www.smithsonianmag.com/arts-culture/early-run-censors-led-rod-serling-twilight-zone-180971837

• Everything goes in the square hole

• Floppotron

• The Floppotron 3.0

• Bohemian Rhapsody

• LibreVox public domain audio books

• Are there any full-length theatre scripts based off of Lovecraft's works?

• Bâtiment 7 - Home

  • Le projet du Bâtiment 7
  • Bâtiment 7 - Home
  • Bâtiment 7 - Memento
  • Bâtiment 7 - Accueil - Facebook
  • Bâtiment 7 Victoire populaire à Pointe-Saint-Charles

• CLAP -- Clever Audio Plug-in API -- open-source music

  • CLAP: The New Audio Plug-in Standard
  • CLAP: The New Audio Plug-in Standard
  • CLAP on Github
  • But it's not clear to me how all that is organised. There seem to be nothing but plug-ins, and nothing to plug them into,
  • Surge XT
  • Surge XT User Manual
  • Chowdhury DSP
  • CLAP 1.0 betas for ACE, Diva, Hive, MFM 2.5

• This Is What a "Second-Person" Video Game Would Look Like

• Does anyone ever really feel grown up?

• Paint it black Not the Rolling Stones version; even lyrics changed

• TOP 20 ODD METER SONGS OF ALL TIME

• Joan Baez - Diamonds and Rust (With Lyrics)

• Plain Text - Dylan Beattie - NDC Oslo 2021 pike matchbox

• The Art of Code - Dylan Beattie Minute 43 for a language that plays music.

• The rarest male type (Gaussian Sigma) This title seems to have nothing to do with the content; the video is about a mathematics legend.

• Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE]

• The Day of a new Command-Line Interface: Shell Discusses how a 'shell' doesn't have to be limited to the 50-year-old text-only terminal interface.

• What are some things you wish you knew when you started programming?A quora question, with some useful answers. Many of these answers are indeed worth reading by beginners.

• Quora question about the origins of the US civil war

• Text generation

  • Open-source language AI challenges big tech’s models
  • BLOOM Is the Most Important AI Model of the Decade
  • bigscience / bloom
  • Text Generation
  • Models API

• Home | SF Gateway - Your Portal to the Classics of SF & Fantasy

• Escher Mania HD

• https://youtu.be/Zhv5GVexW2E

• Prepping Your Computers For an Internet Outage

• Why don't they teach Newton's calculus of 'What comes next?'

• Does the Universe Create Itself?

• 7 super common chord progressions and why they work

• I can convince you to watch Madoka Magica in 3 minutes.

• Nice bug

• Misaka and shokuho Lewd Dream scene

• How Imaginary Numbers Were Invented

• How An Infinite Hotel Ran Out Of Room

• Librem 5 Visual Walkthrough

• Proof Geometric Construction Can Solve All Love Affairs / manbo-p

• I remastered my 30 year-old DOS game!

• Rust: Turtles all the way down

• Rendezvous With Rama: Why Villeneuve's New Sci-Fi Film Could Be Incredible!

• 【MMDドルフロ】404小隊はHIGHER【少女前線】

• Jefferson airplane - White rabbit

• The Partisan - Leonard Cohen

• The REAL Answer To The Viral Chinese Math Problem "How Old Is The Captain?"

• Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE]

• Fun In The Ocean- Music Video (The Little Trashmaid)

• vocaloid moments that had me shook

• Dirac's Belt Trick: Why a 2π rotation twists space but a 4π rotation fixes it

• Dirac's belt trick, Topology, and Spin ½ particles An excellent and very clear exposition of the mathematics of electron spin. Much of it is done via animated pictures that get to the heart of the matter. Heavy mathematics clearly pictured. There's a lot of reconceptualization going on, though, and it may take multiple viewings to put it all together.

• Sir Roger Penrose on collaborating with Wolfgang Rindler on Spinors and Space Time Sharing this in case I lose it before I get to see it and figure if it's worth recommending.

• Olúfémi O. Táíwò’s theory of everything One of America’s most prominent philosophers argues that climate change calls us to rethink world history.

• Parody

  • Is it true that some gangs in Quebec will beat you if you don’t speak to them in French?

• “Atari Was Very, Very Hard” Nolan Bushnell on Atari, 50 Years Later Reminiscences

• Game over? New language law puts Quebec's video game industry at risk, insiders say

• Combining learning and deduction over formal math corpora

github.com/ai4reason/ATP_Proofs#topology--the-clos...
https://bit.ly/300k9Pm
James M To Everyone
1:30:26 PM
JM
For the proofs that it could do already, are any different/better proofs done by it after the ML learning?
Yannis (NYC) To Everyone
2:05:26 PM
Y(
Do you think theorem proving with Artificial Intelligence will be subject to Godel's incompleteness/inconsistency theorems?
https://bit.ly/300k9Pm

• 7th Conference on Artificial Intelligence and Theorem Proving

• Octopus Dreaming

• Welcome to DIY Book Scanner

• Cloudspotting on Mar

• Uber files an investigatin by The Guardian.

• In these trying times, I look to the works of George Orwell for inspiration Bob Rae Canadian ambassador to the United Nations, on George Orwell

• new on 2022 07 18

  • 【IA & ONE OFFICIAL】Reload (AR Live Movie)
  • 【VOCALOID Original】Again【Gumi English】
  • KIRA - MONSTER ft. GUMI English (Original Song) Chosen because of hte name Kira
  • The Beths - "Expert In A Dying Field" (Official)
  • The Beths - "Silence Is Golden" (official music video) one of the noisiest celebratins of silence I've seen
  • Puella Magi Madoka Magica Explained with Spoilers 🚨
  • Understanding Madoka Magica - PART 1: Purpose Behind Pain
  • Why Rebellion made Madoka Magica better
  • The Power and Corruption of Love: Puella Magi Madoka★Magica
  • World's Most EXTREME Railways Overly sensational prose, but a lot of lovely trains for train lovers.
  • Being a writer was central to my identity. Then I was forced to write with my voice
  • Liquidsoap 2.1.0 Liquid soap is a statically-typed, type-inferred, functional scripting language equipped with specialized operators to build audio and video stream automation.
  • Still hungry after a meal? Why it happens and 5 nutrient-packed foods to fill you up
  • AI: The Somnium Files I'm told this is an interesting game, but haven't the hardware to run it.
  • A Shared View of Sharing: The Treaty of Orlando An article about the design of the sharing mechanisns in object-orinted languages. Unfortunately, this version leaves all its diagrams out. This document was reached from the Wikipedia page Entity-Component System, and is chapter 3 of the book Won Kim, Frederick H. Lochovsky (Eds.): Object-Oriented Concepts, Databases, and Applications ACM Press, New York 1989, ch. 3, pp. 31–48 ISBN 0-201-14410-7

• 2022 07 20

  • A deeper dive into the Rogers outage

• 2022 07 25

• I Just Made $100 off Some Dead Kids, and That’s the Problem

  • ee also The Psychology Behind High Scores, Leaderboards, and Competition

• What If We Live in a Superdeterministic Universe?

• Agile

  • Agile Considered Harmful
  • Principles behind the Agile Manifesto

• Eric and the Dread Gazebo

• Joe User's View of Email

• The fantasy Trip

  • Legacu Edition a boxed set

• 20220729

  • A Sensible Introduction to Category Theory
  • How To Add Facebook Messenger Chat On Linux With Pidgin IM
  • WhatIsLibpurple – Pidgin
  • How to integrate Google Calendar in Linux desktop
  • Google Calendar + KOrganizer: Organize your time from Linux | From Linux
  • Google Calendar Alternatives for Linux: 25+ Calendar and similar apps | AlternativeTo
  • I (Finally) Fired Google – Purism
  • Librem 5 Calendar App - Librem / Phones (Librem 5) - Purism community
  • Comedy
    • Why Asians Don't Get Scam Calls
    • Why Asians Don't Get Scam Calls, Part 2
  • The image you can't submit to journals anymore The history of the photo of Len[n]a SOderberg

• 2022 08 02

  • Teen Walrus
  • L’implication des employeurs au regard de la loi 96 Montreal chamber of commerce advising about the new francisation law.

• 2022 08 03

  • How different is the French in Quebec to the French spoken in France besides pronunciation?

2022 08 05

• Plea to step away from base ten numerals
• Tokipona playlist