Bookmarks

A list of bookmarks, largely uncurated. Not all are valid. Many aren't even significant. Some are obsolete by now. This is not any kind of definitive, or even recommended, list.

There should be a better way to organise these.

They're things I saw linked to and thought I might want to look at in detail sometime.

Maybe I'll try to divide it into an organised and a disorganised part?

Let me know if you see anything here that shouldn't be public.

• My own web page
  • and topoi.pooq.com's IP number, just in case: 69.165.131.134
  • My facebook profile
• Check if a website or app is down for everyone or just you. Very useful site if you can't reach a web site. This site tries accessing the web site and reports whether it can reach it, giving you a cue whether the site is down or you just have a connectivity problem.
• Soylent News
  • Proposed alternative site not yet up, and likely never will be.
  • This Space Intentionally Left (Almost) Blank
• unrigged Canadian news aggregator
• Facebook messenger
• Facebook
• Montreal weather
• Le Devoir

Miscellaneous

• My answers on quora
• Zoom dial-in from Montreal 438 809 7799
• Calendars
  • Montreal region nanowrimo calendar
• CBC news Montreal
• Globe and Mail Sudoku
• International spelling alphabets
• CUPS port for printer configuration

Access

I've found that for zoom, firefox works for video; chromium for audio. So I started useong both together. (as of 2022 11 24)

To get a link to a particular facebook post, click on the date it was posted.

Speialized and lesser-known search engines

• A look at search engines with their own indexes Reviews of search engines.

• Lost something? Search through 91.7 million files from the ’80s, ’90s, and 2000s article about this search tool

• ecosia searcch engine that supports tree planting

  • using a mozilla addon for ecosia

• Our 7 best Private searh engine recommendations (recommended by avoidthehack)

  • Mojeek
  • Startpage
  • SearX
  • Whoogle
  • Brave Search
  • DuckDuckGo
  • Metager
  • Criteria for private search engine recommendations
  • Final thoughts

• A list of search engines on Facebook:

• There's a soylent News page discussing search engings: Searching for Search Tools

• Specialized search engines. This list is on facebook, here along with a picture of a ver implausible library.

  • 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

• Purely local search

  • mairix
  • recoll

• To search this page of bookmarks, use the find feature of your browser: for my copies, anyway, both Firefox and Chromium respond to control-F to open a search box to look for text within the current page.

Web browsers

• [Ungoogled Chromium]
  • on Wikipedia
  • How to Install and Configure Ungoogled Chromium
  • on github
  • ungoogled-chromium-debian
• Luakit Seems to be a browser made out of wenkit and lua.

Meetings

• 2021 Otakuthon
• 2022 Otakuthon

Online Seminars

Series

Some of these are no longer running.

• 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

• Bohemian Logical & Philosophical Café

  • zoom
  • site

• The Topos Institute Colloquium Usuallys on Thursdays

  • Topoi Institute Blog

  • Introducing the MathFoldr Project

  • 2024 08 29 Cyrus Omar: Totally Live Programming and Proving in Hazel

  • hazel.org

    • https://github.com/hazelgrove/hazel
    • web.eecs.umich.edu/~comar/courses/ui-for-pl/
    • http://hazel.org/build/dev/
    • ??? /Users/cyrus/Downloads/aced_2024%20[3).pdf | ?
      • THis is probably on a machine that's not accessible from the web.

• online Worldwide Seminar on Logic and semantics. This one has shut down for a few years now, but its videos are still available. Another URL for it: OWLS

  • OWLS calendar

Formal logic

• Archive of Formal Proofs
• Quine's NF
  • prove NF's consistency
  • Consistency of Quine’s New Foundations Murdoch J. Gabbay, http://www.gabbay.org.uk
  • archive on zulip
  • Gabbay, Jamie's approach
• A Simplification of Girard's Paradox by Antonius J.C. Hurkens
• A system for translating mathematical proofs into music.
• Symmetry univalent mathematics
• Bohemian Logical & Philosophical Café
• 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
• Minicourse on Model Theory of Pseudofinite Structures by Darío García University of Leeds

Category Theory

• the 1Lab formalising category and some other mathematics using so-called cubical type theory in Agda. "an explorable reference resource for mathematics formalised in cubical type theory"
• Amélia a blog by the primary maintainer of the 1Lab.
• The Derived Functor Approach to Sheaf Cohomology Matthew A. Niemiro
• Valeria de Paiva had a talk about using category theory 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.
    • A torsor is a scale that's lost its zero
    • Week 234's finds in Mathematical Physics the math of music - including torsors, orbifolds, and maybe even Mathieu groups. And musical scales!

Sheaf

• A Brief Introduction to Schemes and Sheaves by A Brief Introduction to Schemes and Sheaves David Urbanik
• Alexander Grothendieck / A Country Known Only by Name a biography of Grothendieck by Pierre Cartier

Health

• Dementia
  • Dementia risk calculator
  • Dementia Risk Reduction
  • Defy dementia
    • Defy Dementia episode 9
• Still hungry after a meal? Why it happens and 5 nutrient-packed foods to fill you up
• aging and balance
  • Older Adults and Balance Problems from the NIH Institute on Aging
  • Balance Disorders from the NIH National Institute on Deafness and Other Communication Disorders.

Attention deficit

• Weighted Blanket Increases Melatonin
• ADDitude -- a site about attention deficit
  • Treatments and Strategies for Weak Executive Functions
  • Free Download: The ADHD Friendship Guide for Adults
  • Is Volunteering an Antidote to ADHD Loneliness?
  • 10 Ways ADHD Can Hide in Plain Sight
  • 9 Sleep Deprivation Solutions for Adults with ADHD
  • 6 Pieces of Life Advice (& 6 Apps) That Make an Immediate Impact
  • The Damaging Effects of Cannabis on the ADHD Brain
  • 11 steps to Prescribing and Using ADHD Medication Effectively
  • When Gifted Kids Burn Out: How to Support Twice-Exceptional Students
  • Migraines and ADHD: The Overlooked Connection to Headaches
  • Embrace Yourself (aka My Secret to Living Well & Productively with ADHD)
  • How Can I Prioritize My Brain Dumps Into To-Do Lists?
  • My ADHD Morning Routine: Noise-Cancelling Headphones, a Double Espresso — and Intimacy
  • Everyday ADHD: Quirky Productivity Hacks for Easily Bored Brains
  • 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?
  • Procrastination Excuses — and Solutions
  • 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
  • “Can We Save Our Marriage? Should We?” ADHD Marital Problems Compounded by the Pandemic
  • 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
  • Mental Health Report: Trauma Haunts 82% of Adults with ADHD
  • 5 Hallmarks of a Neurodivergent-Inclusive Workplace
• 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..

Diet and nutrition

https://www.theglobeandmail.com/life/health-and-fitness/article-eating-the-right-diet-can-help-stave-off-sarcopenia-when-youre-older/

• Why magnesium should be on your radar – and how to get it - The Globe and Mail

Medical Assistance in Dying (MAID)

• Canadians shouldn’t be excluded from requesting MAID just because they have a mental disorder Mona Gupta May 4, 2023
• I am a MAID provider. It’s the most meaningful—and maddening—work I do. Here's why. Madeline Li, as told to Liza Agrba February 13, 2023

Covid-19

• Montréal, Québec COVID-19 & Flu Updates Facebook group
• Map of Reporting FluWatcher Participants by Forward Sortation Area (FSA)
• Covid risk calculator
• Weekly Influenza Reports
• COVID-10 data trends for Canada
• COVID-19 epidemiology update: Summary: for Canada
• The Canadian Vaccination Evidence Resource and Exchange Centre (CANVax)
• What We Know and Don’t Know About Long Covid a collection of links from May, 2023.
  • Long COVID Now Looks like a Neurological Disease, Helping Doctors to Focus Treatments
• 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)
• Autoimmune Registry adds Long COVID to its List of Diseases
• Let Them Eat Plague! A soewhat biased analysis of governments' reactions to the pandemic. January 9, 2023
• 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
• Newly-Revealed Coronavirus Data Has Reignited a Debate Over the Virus's Origins

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".
• Canada says (2924)
• Long covid self-management (2924)
• from sante monteregie (2924)
• from WHO (2924)

end Health

Computing

Computing documents

• Debian Handbook

  • Also go visit aptitude and search for "handbook"

• Kobol Network Attached Storage

• Raspberry Pi Alternatives

Networking

• TLS Deadline

• The Best Free and Public DNS Servers (December 2023)

Network protocols

• Transmission Control Protocol
• Network Address Translation

Linux

• User groups

  • BC LINUX USERS GROUP: Tech Meetups
  • Greater Orlando Linux User Group
  • The Saint Louis Linux Users Group (STLLUG)
  • There used to be an MSLUG -- a Montreal and Scheme Linux Users Group
    • Acronymfinder seems to know about it
    • montreal-schemers
      • Found on the community scheme wiki. What else would be there?
  • scheme-user-groups

• Chart of Linux commands

• RAID

  • A guide to mdadm Documentatino from kernel.org
  • RAID superblock formats
  • Valley Of The Kings
  • Linux Raid
  • An Introduction to RAID in Linux
    • How to Clean RAID Signatures on Linux requires some RAID tools -- dmraid, dmsetup. Seems to want the RAID to be active.

• Backup

  • tar The complete GNU tar manual * Backup strategies - keeping data safe on tape, (or optical disc) from Exotic Silicon
    • linked from Soylent News Backup Strategies for Keeping Data Safe on Tape or Optical Disc
  • rdiff-backup
    • Documentation
      • examples
    • File format

• Disk management

  • FUSE - The Kernel Documentation
  • File operations with directory handles: openat, faccessat(2), fchmodat(2), fchownat(2), fstatat(2), futimesat(2), linkat(2), mkdirat(2), mknodat(2), open(2), readlinkat(2), renameat(2), symlinkat(2), unlinkat(2), utimensat(2), mkfifoat(3), path_resolution(7)

• Mail User Agents for Linux

  • A User Agent Configuration Mechanism For Multimedia Mail Format Information RFC 1524

• distrowatch rankings

• Routing tables

  • How To Display Routing Table In Linux
  • Understand the basics of Linux routing
  • Open letter to the Linux World

• Instalation

  • Calamares an installer framework for Linux

• pclinuxos an infuential Linux distro. Its slogan is "So cool ice cubes are jealous".

• Advanced Bash-Scripting Guide

• Linux user groups

  • Greater Orlando Linux users' group

  • Orange Counts Lnux users' group

  • Phoenix Counts Lnux users' group

  • libguestfs

    • faq

  • How to Check a Linux Laptop’s Battery From the Command Line

  • Installation

    • How can I install Ubuntu without CD and USB?

Devuan Linux

Devuan is a Debian deriviative without systemd. Some packages have been patched to no longer require systemd; those too deeply enmeshed with systemd are missing altogether.

• Devuan group in fediverse
• evuan on mastodon
• Devuan on facebook
• Friends of Devuan on Facbiik
• Devuan mailing lists
  • dng -- Main Devuan maiing list -- Debian is not Gnome
    • dng archives
• Devuan conference 2019
  • The first Devuan Conference
• Devuan in the feiverse
• [Historical Documents]
  • Linux Pro Magazine revisits Devuan
  • systemd
    • First announcement Pid Eins Rethinking PID 1. Posted on Fr 30 April 2010.
    • systemd, 10 years later: a historical and technical retrospective
    • OT: Open letter to the Linux World
    • Systemd: The Biggest Fallacies by Jude C. Nelson
    • Systemd: The Biggest Fallacies
    • Combatting revisionist history
• Devuan wiki
  • Welcome to devuan page
• Devuan on mastodon
• The Devian Proposal
• Index» Packaging for Devuan» The Basics of Devuan Package Maintenance
• Distro user ratings on distrowatch
  • and the devuan reviews
• Devuan releases
  • archived ascii release
• Interview with LeePen from Devuan
• 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
• slin-fork
• Devuan Cluster

Systemd

• Structural and semantic deficiencies in the systemd architecture for real-world service management, a technical treatise
• Systemd
  • Systemd ten years later (at about 2020 05 02)
  • The real motivation behind systemd
  • systemd on wikipedia
    • Forks and alternative implementations of systemd
  • Is criticizing tech on political grounds valid?

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

• Is Parallel Programming Hard, And, If So, What Can You Do About It?

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
• A Modules and Separate Compilation Facility for ALGOL 68
• 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.
• C++ reference

Compiling

• Godbolt A tool to investigate the object code produced by various compilers.
• Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
• [https://arxiv.org/abs/2205.00862](Accelerating Verified-Compiler Development with a Verified Rewriting Engine)

Homoiconicity

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

Lisps

• Lisp chat

• History of Lisp

• The Lisp Curse

• Revenge of the Nerds A long essay about why Lisp.

• What is the general purpose of LISP?

• Twitch plays Common Lisp

• 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.
    • Rhombus on Discord
    • Draft document about Rhombus as of 2023 Sep 17 for OOPSLA.
    • rhombus prototype
  • SectorLISP Lisp with GC in 436 bytes
  • Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, April 1960

• Embedding Hygiene-Compatible Macros in an Unhygienic Macro System

• Smalltalk

  • The Early History of Smalltalk Alan C. Kay

• The Symbolic Language of Math

  • Part of help with abstract math

• 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

Racket

• Language-oriented programming
  • A Programmable Programming Language We need a programmanle programming language to enhance out ability to easily invent and use new notations along with old ones.
    • Algol 60 Algol 60 is a Racket language. I suspect it was implemented to show off Tacket's multilingual abilities.
    • F*dging up a Racket An wxamole of a Racket language -- how to implement the very silly language Brainfuck.

Racket is an implementation of Scheme, a Lisp derivative. Well, not just an implementation, and not quite 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 interoperable languages.

• Racket discourse group

• Racket playlists on Youtube

• Racket testing and documenting

  • Unit testing from Beautiful Racket Explainers
  • [Test Support]https://docs.racket-lang.org/test-engine/)
  • RackUnit: Unit Testing
    • 1 Quick Start Guide for RackUnit
    • 2 Testing in How To Program Racket: a Style Guide
    • Custom Rackunit Test Runner Someone else's idea of how to use Racket for testing.
  • Submodules Explains how to use submodules for unit testing
    • 3.1 Modules: module, module*, ...
    • module Syntax
    • Modules in Beautiful racket. Mentions how to use the test submodule for testing.
    • 3.2 Importing and Exporting: require and provide
  • Contracts
    • Contracts in racket Guide
    • Contracts
  • RFC 6455 WebSockets for Racket
    • usability in browsers
    • issue on Windows

• Scripts How to embed Racket code in an OS-level script

• General Racket manuals

  • Racket is an acceptable Python more or less a Racket promotion
  • Quick: An Introduction to Racket with Pictures a very simple tutorial
  • Realm of Racket (I have not read this book)
  • (realm of Racket)
  • 2 Notation for Documentation
  • macros
    • Fear of Macros by Greg Hendershott
    • [PADL'23] Modern Macros
    • Macros that Work Together: Compile-time bindings, Partial Expansion, and Definition Contexts (seems to be a draft on Googe Doc)
    • 1.2.3.5 Transformer Bindings

• Racket packages/libraries

  • Recess (Racket Entity-Component-System)
  • Package Management in Racket
  • Scribble: The Racket Documentation Tool also
    • 6.3 Structures And Processing
      • 6.3.1 Parts, Flows, Blocks, and Paragraphs
  • 4.3.2.7 Random Numbers Reference
  • data-frame
  • 4.6 BNF Grammars
  • 1.3 Lexer SRE Operators
  • 8.1 Varieties of Ports Guide
  • XML: Parsing and Writing
  • Continue: Web Applications in Racket a tutorial. More documentatinon is needed to actually do all this in realistic situations.
    • a pdf version](https://plt.cs.northwestern.edu/snapshots/current/pdf-doc/web-server.pdf)
  • Concurrency and Synchronization
  • Web
    • HTTP according to Mozilla
    • Web Server: HTTP Server
    • The Missing Guide to Racket's Web Server
    • Cookies: HTTP State Management (require net/cookies)
      • Cookieheader
      • request-cookies
      • cookie->header
      • response/xexpr
      • HTML: Parsing Library
      • XML: Parsing and Writing
      • More: Systems Programming with Racket extra zero in url??
      • Web Applications in Racket
        • Running Web Servlets Needs a bit more informations about the innards ot response/xexpr
      • 1.2.2 Full API

• Building, Distributing, and Contributing to Racket

  • Tutorial: Contributing to Racket

• HTML scripte

• raco

• DrRacket

  • DrRacket Plugins
  • replacing Run button

• Twelfth RacketCon Playlist

  • All Racket playlists

• standard-fish / creative-racket-2022

  • Choose
  • Enter

• Racket packages

  • Webserver
    • Websockets
      • on wikipedia
      • RFC 6455 WebSockets for Racket
        • on github
    • javescript in xexprs
      • example: frosthaven-manager/server.rkt
      • 11.2 Synchronization
      • 11.2.4 Buffered Asynchronous Channels
      • Greater than sign in javascript script in Racket
  • networking
    • Asking about ports: see tcp-addresses in 15.3.1 TCP
  • Arrays
  • Pattern matching
    • Reference
    • Guide
    • 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
  • Pict and Metapict
    • Pict Abbrevs among others, describes a function: add-rectangle-background for use with pict
    • metapict blog Simple MetaPict examples,
  • Pict3d
    • current source repository
      • as apparently indicated
  • Simple-Svg: Scalable Vector Graphics
  • 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 parentheses to a more manageable level.
  • kw-colon Different notation for keywords.
  • TODO: get links to racket at 25.
  • TODO: gt links for the nscent Vulkan binding.

• Racket Libraries

  • zip and unzip

• creating packages

  • Structure of a multi-collection package with a launcher
  • [Continuous integration (CI) example for Sourcehut [1] https://docs.racket-lang.org/pkg/getting-started.html#%28part._how-to-create%29 [2] https://blog.racket-lang.org/2017/10/tutorial-creating-a-package.html [3] https://docs.racket-lang.org/style/correct-maintain-speed.html [4] https://countvajhula.com/2022/02/22/how-to-organize-your-racket-library/ [5] https://countvajhula.com/2021/05/22/migrating-your-racket-project-from-travis-to-github-actions/

• Making a game in Racket (lisp family) - Games With Unusual Programming Languages #3

  • Moonshot

• Racket-related

  • Racket itself
    • Regular meeting first Saturday every month at 2PM Eastern time on Jitsi. Seems to work on chromium bt not firefox as of 2024 02 03
      • Moved as of 2022 05 06: : This meet-up will be held at https://meet.jit.si/Racketmeet-up. (formerly at https://gather.town/app/wH1EDG3McffLjrs0/racket-users)
      • 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/
    • Racketcon 2023
      • Gather
      • talks
        • https://spritelyproject.org/
          • E language
        • http://wiki.c2.com/?TestDrivenDevelopment
        • https://en.wikipedia.org/wiki/Open_Broadcaster_Software
        • Test-driven development
    • parendown
    • 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 languages 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 different 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

• Typed Racket

  • The Typed Racket Guide
    • Libraries Provided With Typed Racket
    • Typed Racket Syntax Without Type Checking

• Racket-based languages

  • Reader extensions
    • #reader
  • The at reader
    • 6.2 @ Reader Internals as used in Scribble
    • At-expressions as a general way to write s-espressions that plays well with text while programming in Racket or typed Racket or their sublanguages.
  • Rash: The Reckless Racket Shell
  • The 2022 language party -- a contest to invent Racket-based languages
    • entries
  • Esterel in Racket

• syntax-spec: A Metalanguage for Hosted DSLs (2024) Promising, but not yet documented well enough to be usable.

  • on github

• Urlang Javascript with sane (i.e. Racket-like) syntax. You can use Racket's macroprocessor on it.

• Pie Pie is a little language with dependent types that accompanies The Little Typer.

• Spritely

  • Spritely Networked Communities Institute/
  • Christine Lemmer-Webber One of the activityPub authors. A firm believer in Lisps.
  • Goblins: Distributed, Transactional Programming Built on Racket and also on Guile.

• 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

• Prolog-like Racket

  • Minikanren
    • From Variadic Functions to Variadic Relations -- A miniKanren Perspective William E. Byrd and Daniel P. Friedman. This describes an implementation of mnikanren in an appendix, with code and explanation.
    • MiniKanren in Racket
      • mk.rktAnother implentation with defrel, that allows defining relations by, for example, a list of tuples. And if the list is mutable, altering the list changes the relation.
  • Racklog
  • Datalog
  • Parenlog

• Lua -- Two indepenent implementations:

  • by Bogden -- sonsists of three Racket packages on the package server
    • lua-lang A #lang implementation of the Lua programming language. (docs & implementation)
    • lia-lib A #lang implementation of the Lua programming language. (implementation only)
    • lua-test A #lang implementation of the Lua programming language. (tests only)
  • lua The programming language Lua. Targeting version 5.3.5 (Currently unstable)

• X64 Assembler Not actually a #lang language. It is a suite of functions that can be used to generate X64 machine instructions into memory, where, in principle, it can be called from a Racket program.

• Fluxus A language for live-coding; i.e., you write your program in public, 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 browsers.
  • Documentation

• Constructive Solid Geometry in Racket

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

• zuo A small scripting language based on Racket

• 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
  • TODO: Is that Eatern time or Eastern Standard time? Or Eastern Dalight time?,,mm

Others

• Arc
• zig
• Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom

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

OCaml

[ANN] New Get Started Documentation on OCaml.org

• Algebraic effects
  • Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations A feature said to make game writing easier.
• Oxidizing OCaml: Rust-Style Ownership
• 8 months of OCaml after 8 years of Haskell in production

Rust

• Rust Is Easy (The COMPILER teaches you!) [RUST-14] on youtube
• Strings in 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
• It's Time to Stop Using C and C++ for New Projects, Says Microsoft Azure CTO A lond discussin of the merits or Rust vs C, C+, and Python,
• Learn Rust (I haven'd checked this sire out, but have been told that it is a good site.
• wasmtime Wasm interpreter buil on Rust.
• rustc_codegen_cranelift Project to make alternative code generator for the Rust compiler.
• Warpdotdev A rust-based terminal "for the 21st century"

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

Tabletop Role-playing games

• how to role-play a high-charisma character
  • Role-playing a high-charisma character
• https://lightspress.com/ A publisher of "game toolkits" They present the concepts involved in various genres of games, with some structure and ideas, but not specialised to any particular system of rules, The idea is to provide a space where creativity can flourish. Much of this can also be useful to a writer, not just to a game master,
• An online store for tabe-top role-playig gamesDriveThruRPG.com
• weightless books -- a seller of pretty well ebooks and oddities.

Open Source Gaming

Systems

• Open Game Art
  • Slowly getting somewhere, learning opengl and ocaml along the way.
• Open Game Systems tabletop

Games

• adventure 1.6 Reimplementation of the original adventure game in Python.
• 5 open source tabletop RPGs you should try
• Shadows And elegantly simple RPG that encourages the players' creativity.
• Some games
  • Game Description Language
  • Baba is You a game where the player changes the rules.
  • Mao (card game)
  • Mornington Crescent game

Video

• List of open-source video games on Wikipedia.
• Open Jam 2022 It's come and gone, but the site has a lot of useful information.
• Minetest simiar to minecraft; uses lua for mods.
• marble Madness video

Issues

• Wizards of the Coast are changing their Open Game Licence to the detriment of independent scenario developers. The discussion here is, ampng other things, about the degree to which open-source gaming is possible, and about the precautions other developers should take.

Game Development

• Ludum Dare

  • Hundreds (1,239) of free games from LudumDate 51

• 3D game engine Dotrix

• Game development resources Game development tools in Racket.

• Dialog A language for intereactive text novels

• Go and Games

• Unreal Engine for Unity Developers

  • Unreal Engine for Unity Devs page to get you started on twitter

• 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

• Noise-based random number generation

  • bugfix
    • SquirrelNoise5.hpp an improved version
  • Someone's 64-bit version
    • heckj / Squirrel3 in github context.

• Math for Game Programmers

• Game Jams

  • https://github.com/racket/racket/wiki/Game-Development
  • Spring Lisp Game Jam
    • submissions
    • Racket games

Procedural Generation

• Project Horseshoe Reports Variouaa reports, including:

  • Generative Systems, Meaningful Cores
  • Round Again We Go: Applications of Cyclical Progression

• Procedurally Generated 3D Dungeons rogue-like dungeon generation raised to 3D.

• Recreating NYC with CityBLD | NEW UE5 Procedural City Generator

• Best Practices for Procedural Narrative Generation

• Maybe not quite?

  • Narrative Sorcery: Coherent Storytelling in an Open World About the use of Inkle and about the game series Sorcery
  • The Burden of Proof: Narrative Deduction Mechanics for Detective Games
  • Heaven's Vault: Creating a Dynamic Detective Story
  • Designing Radically Non-Linear Single Player Levels
  • [Real-Time Rendering of Procedurally Generated Planets]
    • video video.
    • abstract
    • paper

• End-to-End Procedural Generation in Caves of Qud

• Infinite Photorealistic Worlds using Procedural Generation An arxiv paper: Using 3D-moelling to generate labelled images to train an AI.

• Recreating NYC with CityBLD | NEW UE5 Procedural City Generator

• Best Practices for Procedural Narrative Generation

• Procedural Building Generation with Grammars

  • slides from talk
  • some course projects CIS 700 - Special Topics in Procedural Graphics

• The Shaggy Dev

  • Generative grammars as a form of procedural content generation
    • mentions [Structural Analysys from Four MMORPGs by Jonathin Doran and Ian Parberry
  • An introduction to graph rewriting for procedural content generation
  • An introduction to procedural lock and key dungeon generation
    • mentions and recommends 'metazelda' https://bytten-studio.com/devlog//2012/11/30/lock-and-key-puzzle-generation/ but the site seems to be gone.
    • Aldo cyclic dungeon generation https://www.aiandgames.com/p/unexploreds-secret-cyclic-dungeon-generation

• The Secret Behind Unexplored: Cyclic Dungeon Generation | AI and Games #57

• Kste Compton

  • Practical Procedural Generation for Everyone A GDC presentation by Kate Compton, the author of Tracery.
  • [Conversation Starter: Imagining Autotelic IDEs](Conversation Starter: Imagining Autotelic IDEs) Kate Compton
  • A Generative Framework of Generativity Lovely catalogue of generative techniques. I seems like the outline for a library of composible algrithms, though of course it would be a lot of work to make them ll fit together.
  • Cozy Mystery Construction Kit It's a construction kit, disguised as a game. The "players" aren't prinariy trying to sove a mystery, they are also trying to collaboratively write a mystery story. It's their meta-knowedge of potential story structure that is guiding them, as they introduce actions that serve the story instead of merely their onv characters' motivations. It's not entirely clear to me whether this tool is intended to be a game or to be used by game creators. It's a bit like the plot calculus I was trying to develop a few years ago, but done with much better resources.

Interactive Fiction = Text Adventures

• Interactive Fiction
  • on wikipedia
  • The Interactive Fiction Archive
    • index
  • Spag Society for the promotion of Adventure Games
    • archives
  • 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.
  • INterpreters
    • Parchment
  • Specific tools:
    • Free
      • Inform
        • seem to have descended from the old Infocom game engine(s)
        • on Wikipedia
        • Inform 6
          • manual -- chapter 1 -- pdf
      • Inform 7 Inform 7 is a completely different system from the previous informs. It is intended to look like English text, but I think you'd need a formal grammar for Inform 7 (and not just examples) to figure out exactly how to formulate one's intentions according to its English-resembling notation.
        • releases As I write this, it desribes Inform 10.1.2 and earlier releases.
        • Download packages Where I've found working downloads for 10.1.2.
          • later, I found Downloads, which mainly lists old versions.
        • Release notes for Inform v10.1
        • Inform 7 website
    • a list of Inform 7 games
    • Sibyl Moon Games on Inform
    • Download site for the Inform 7 Handbook
    • Documentation
      • Part I Writing with Inform
    • on the interactive fiction wiki * 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
      • [Twine – CYOA] Develop on Windows, Mac, Linux, or browser. compiles to HTML. stories are saved in web browser cache -- Action required to prvent loss.
        • Twine Twine publishes directly to HTML.
      • bitsy Seems to be for bitmapped adventures. But it's not clear to me how to install it. Maybe no install Just run it in the browser?
      • TADS – Interactive Fiction Looks like an ordinary programming language. It also appears to be a mature project. I'll have to try it out.
        • available on Windows, Mac OS x, and Linux.
        • on wikipedia
        • implementations
      • Can generate web-based object code for play in browser.
      • [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.
      • 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.
      • [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.
    • Nonfree:
      • [Choice of Games – CYOA] Proprietary script format. Can publish commercially only through the proprietary website.
      • Articy:draft 3 Maps story lines as a visual database. Integrates with Unity and Unreal.
      • ChatMapper Conversation management. Map dialogues as a branching tree, with various debugging options. Integrates with Lua. Exports as screenplay. Claims to be useful for e-learning applications.
  • Sites
    • Packages for Linux, Unix, and others
    • Download site for engines
    • ESCLinux Linux Live cd for interactive fiction and abc musical notation Contains development tools and player for a lot of systems.
  • CYOA A duckduckgo search with some interesting choose-your-own-adventure links.
  • lectrote an interpreter for several interactive adventure object codes in electron or a Chrome browser. Supports Gluix (Inform 7), Z-code, Hugo, TADS2 and TADS3, Ink. Development on node and npm.
• 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
• Autres systèmes

Game Sites

• Dark Pattern Games A game review website devoted to helping you find games that don't use psychological tricks to manipulate you into becoming an addicted gamer
• 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

Game Systems

• steam
  • Steam on Debian
• Dungeons & Dragons’ New License Tightens its Grip on Competition The comments have a few lins to open game rules systems
• Open Game Systems

RPG Tools

I haven't tested these at all. Just noticed them advertised online.

• Dungeon Alchemist on Steam
• Realm Architect
  • on Kickstarter
• WorldAnvil
• Enhancing Adventures with Vivid Descriptions
• role

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
  • monotone sync port is 4691.
• vscodium 8 Evolution of Unix

Coding examples

• Double forking to prevent Zombie process
  • How processes work

Mathematics

Learning

• THE THREE MATH BOOKS THAT CHANGED MY LIFE How one person turned on to math

• The Real Weird Way We See Numbers

• Is wiskunde een menselijke uitvining of zou het de taal van het universum kunnen zijn?

• Revolutionary Math Proof No One Could Explain...Until Now

• What is algebraic geometry? on YouTube

• monotiles

  • An aperiodic monotile
  • A chiral aperiodic monotile

• Chu space

• Chu space

• Numbers They Don't Teach You In School A very clear YouTube video about p-adic numbers.

• Roman numerals

  • [What is the Roman numeral for 9000?](https://www.quora.com/What-is-the-Roman-numeral-for-9000/answer/Mark-Harrison-2?ch=15& +oid=1477743697153187&share=800325a4&srid=5GY2I&target_type=answer) Quora answer. It containa a backward C, ao if you ever need one, copy/paste from this answer. Ↄ

• National Museum of Mathematics

• Discussion on constructivism

• The Unreasonable Effectivenss of Mathematics in the Natural Sciences

• Norman Wildberger: The Problem with Infinity in Math

• Special Symbols in LaTeX

• List of mathematical symbols by subject

• First Steps in Synthetic Computability Theory Lovely paper explaining computability using constructivism instead of Godel numbers.

• A Beginner's Guide to Modern Set Theory by Martin Dowd

• Visual Complex Analysis

• Some arguments in Favor of the Continuum Hypothesis (this is a draft, will be updated) by Martin Dowd

• The 3x + 1 Problem: An Annotated Bibliography (1963–1999) (Sorted by Author) Jeffrey C. Lagarias on the Collatz conjecture

  • Alleged partial solution posted on Quora:

• How (and why) to raise e to the power of a matrix | DE6

• Why the number 0 was banned for 1500 years

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

• Good at math

• The mathematical life of Cauchy's group theorem

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

• Information geometry

• Xenablog

• 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 Dozenal Society of america’s comprehentive synopsis of Dozenal and Transdecimal Symbologies

• The Church numberss in NF set theory Intuitionistic NF Set Theory

• Symplectic forms

• 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

• https://www.youtube.com/watch?v=O7qsB5boS7s

• A Mathematician's Lament

Geometry

• Geometry Of Four Dimensions by Henry Parker Manning, Ph.D.

Formalised mathematics

• Mathematical Proof Between Generations An interesting anthology of papers on the need of formalized mathamatics
• Formalizing 100 Theorems
• The Hundred Greatest Theorems
• Formal Proof—The Four-Color Theorem
• World Digital Mathematics Library (WDML)
• Formalized Mathematics a journal of proofs written in mizar
  • Mizar Mathematical Library
• How to Write a 21st Century Proof by Leslie Lamport
• Proofwiki
• Large-Scale Formal Proof for the Working Mathematician -- Lessons learnt from the ALEXANDRIA Project

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

agda

• agda-categories library
• Agda (programming language)
  • What I learned from formalizing Category Theory in Agda

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

Introductions

• [Category Theory for Everyone)[https://learnct.lol/details]

• Topos Institute Book Club

  • The Joy of Abstraction
    • video about book club
    • videos posted here https://topos.site/joa-bookclub/
    • Google form for questions
    • CUP
    • Ask Eugenia Cheng about Category Theory!
    • Learn Category Theory in a Joy of Abstraction Book Club, starts Feb 19 2023
    • Bringing the lofty ideas of pure math down to earth a rview of Joy of Abstraction
    • Breaking into the Church of Math on Soylent News

• What is category theory? on YouTube

• What is category theory and why do mathematicians love it? A discussion on quora

• Conceptual Mathematics: a first introduction to categories, by f. William Lawvere and Stephen H. Schanuel

  • When I first encountered category theory decades ago, it was extremely challenging to get into it, at least partially because the examples in the available books were all from highly esoteric fields of mathematics. Maybe the ideas were simple, but the explanations and examples were not. I was delighted recently to find this book that started with elementary ideas and built category theory up gradually. It’s a good introduction to the subject, without assuming a lot of advanced math. You can buy an elegant printed copy from the usual booksellers, but a pdf is also available online.
  • In the ACM digital library at https://dl.acm.org/doi/10.5555/1594905
  • in the us archive
  • on img.4plebs.org (but what is thie site?)

• From Sets to Types to Categories to Sets Steve Awodey

• Category Theory in Context by Emily Reihl.

• Why Category Theory Matters

• Category Theory for Programmers

• 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

• Applied Category Course -- Baez -- lectures

• A Sensible Introduction to Category Theory

• 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
  • Categorical Foundations
    • fully formal ETCS in nLab
    • ETCS on nlab

• David Corfield Phiosophical perspectives on category theory A lovely survey of the fields category theory has become involved with, and some philosophy.

  • David Corfild: Thomas Kuhn, Modern Mathematics and the Dynamics of Reason

• Hoàng Xuân Sính | The n-Category Café

• Michael Barany: "How Categories Come to Matter"

  • What mathematians value?
  • How do mthematicians know what they know, and how do they shaare that knowledge?

• Chad Giusti: "Toward a useful category for persistent homology" at Topos Institute Colloquium. About how homology could be used for data analysis.

• ACT 2023 The 6th International Conference on Applied Category Theory

• Online Seminars

  • Category Theory Calendar

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∗

• Octoberfest 2024 A category theory version of an actoberfest.

  • Richard Blute organised this octoberfest.

• 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
  • The origins of Alexander Grothendieck's`Pursuing Stacks'

• Notations

  • TikZ is used by anyone serious, says John Baez.
    • TikZ online editor use {} to export in TeX
    • TikZ package very introductory documenation
  • quiver: a modern commutative diagram editor I have no experience with this. Does it work in a browser? Does it need the cloud?
  • 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
    • scriblogify (I haven't tried this yet)
      • Scribble Your Blogs
      • Scriblogify: Scribble Your Blogs
  • 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 theory 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

• Applied Category Theory 2021 — Adjoint School

• Values and Inclusivity in the Applied CategoryTheory Community (pdf)

• 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

• The rising sea in applied mathematics

  • Récoltes et Semailles, Part I // The life of a mathematician // Reflections and Bearing Witness Alexander Grothendieck 1986, English Translation by Roy Lisker

algebras

• Introduction to Orbifolds Introduction to Orbifolds Francisco C. Caramello Jr.

end Category Theory

Set Theory

• Nonlinearity and illfoundedness in the hierarchy of large cardinal consistency strength by Joel David Hamkins
  • as pdf instead of abstract
• Joel David Hamkins on Puzzles of Reality and Infinity podcast on Sean Carroll's Mindscape
  • Sean Carroll's Mindscape
• Joel David Hamkins: Philosophy of mathematics and truth
• Joel David Hamkins: Mathematics, Philosophy of Set Theory and Infinity | Back to the Stone Age #5
  • Back to the Stone Age series -- a playlist on Youtube
• Joel David Hamkins: Mathematics, Philosophy of Set Theory and Infinity | Back to the Stone Age #5 2:38:07 -- it's a long video.
  • announcement of talk

Ordinals

• John Baez'z intuitive nonrigorous introduction to ordinals
• Ordinal analysis
  • In Wikipedia This contains a list of theoriess of logic
  • In ncatlab This too contains a list of theoriess of logic
• 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.
• Large Veblen ordinal on the googoology wiki.
• 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" seems very thoroughly to be behind a paywall.

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

• Per Martin-Löf: Transcriptions

• 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. Applies specifically to Racket,
    • 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

• 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

  • HOTTEST summer school, 2022
    • on github
    • Playlist on Youtube
  • 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

• Feynman's Lectures on Physics

  • These are classics, still widely recommended.
  • Volume 1
  • Volume 2
  • Volume 3

• The Crisis in String Theory is Worse Than You Think... or (https://youtu.be/2p_Hlm6aCok?si=VYLhvsDNlkqTQSig) or https://youtu.be/2p_Hlm6aCok?si=eNuum1LYmdZuQA-2 ?

• Higher Topos Theory In Physics by Urs Schreiber -- in preparation. This page has like to several versions and presentations.

  • "Higher Topos Theory for Physics", talk by Urs Schreiber at Wolfram Winter School on Physics 2024 lecture
  • Higher Topos Theory in Physics paper on arxiv

• Why physics is unreasonably good at creating new math - Big Think

• This week's Finds

  • From Usenet
    • Weekd 51 to 100
  • Seminar
  • zoom Passcode: Yoneda36
  • zulip chat
  • Young Diagrams and Classical Groups

• Lawrence Crowell on physics on Facebook

• Physicists Observe Particles Switch Between Matter and Antimatter

• Fourth, fifth, and sixth derivatives of position - Wikipedia snap, crackle, and pop.

• Conversations at the Perimiter may have DRM. Might there be Youtube versions of some of these?

• How the huge energy of quantum vacuum gravitates to drive the slow accelerating expansion of the Universe by Qingdi Wang, Zhen Zhu,1and William G. Unruh

• A Search for Classical Subsystems in Quantum Worlds

• Probability Theories with Dynamic Causal Structure: A New Framework for Quantum Gravity

• Quantum Theory From Five Reasonable Axioms

• Profound physics -- a series of articles on the web

  • Lagrangian vs Hamiltonian Mechanics: The Key Differences
  • Lagrangian Mechanics For Dummies: An Intuitive Introduction *Hamiltonian Mechanics For Dummies: An Intuitive Introduction
  • Constraints In Lagrangian Mechanics: A Complete Guide With Examples
  • Is Lagrangian Mechanics Useful? 9 Key Reasons Why It Absolutely Is
  • Rope Sliding Down a Table With Friction

• The most beautiful idea in physics - Noether's Theorem a youtube video

• Lagrangian vs Newtonian Mechanics: The Key Differences

• Constraints In Lagrangian Mechanics: A Complete Guide With Examples

• Observables and Hamilton-Jacobi approaches to general relativity. I. The Earlier History

• How the huge energy of quantum vacuum gravitates to drive the slow accelerating expansion of the Universe

  • Linked from: What do scientists think about the alternative theory to dark energy?
    • or

• An Introduction to the Multi-Grid Method for Numerical RelativistsMatthew Choptuik and W. G. Unruh

• Unpacking the Complexity of the Einstein Equations They just unpack; they do not explain. A Youtube video.

• The Collected Papers of Albert Einstein

Indefinite causal order

• Quantum Mischief Rewrites the Laws of Cause and Effect
  • Probability Theories with Dynamic Causal Structure: A New Framework for Quantum Gravity

Cosmology

• Quantum Cosmology and Mathematical Physics : When you choose physics by chance not by choice

• The strongest evidence for a Universe before the Big Bang

• Stephen Hawking and I created his final theory of the cosmos – here’s what it reveals about the origins of time and life Thomas Hertog

Quantum mechanics

• The mass of the photon Liang-Cheng Tu1, Jun Luo1,3 and George T Gillies2. Theory and experiental results on photon mass and its onsequences. It turns out that a non-zero rest mass of the photon would have a lot of consequnces.

• THE UNCERTAINTY OF CERTAINTY: DEBUNKING QUANTUM FALLACIES

• Quantum Theory, Groups and Representations: An Introduction Revised and expanded version, under construction

  • Thia is a graduate-level textbook. It presents the mathematics that Quantum mechanics needs. Quantum mechanics does not make sense with out this mathematics. That said, you don't have to master all the mathematics to understand some quantum mechanics. But the basic formalism of operator algebras on abstract linear spaces is essential.
  • See also:
    • The book announcement: Quantum Theory, Groups and Representations
    • Youtube channel on QM by Peter Woit

• Articles

  • New study observes hidden quantum transition, bridges gap between theoretical and practical experimentation noticed 4 Dec 2023
  • Topological transitions of the generalized Pancharatnam-Berry phase | Science Advances noticed 4 Dec 2023
  • Rethinking Determinism
  • Bell's Theorem: The Quantum Venn Diagram Paradox
  • What Is Quantum Field Theory and Why Is It Incomplete? A discussion with David Tong.

• Loop Quantum Gravity

  • There are two main candidates vying for a quantum theory of gravity. Loop quantum gravity is one of them. Quantum string heory is the other.
  • Introduction to Loop Quantum Gravity Rovelli’s lectures on LQG Transcribed by Pietropaolo Frisoni
    • And the actual lectures on Youtube.
    • And the recommended texts
  • Carlo Rovelli home page
  • What is Loop Quantum Gravity - with Carlo Rovelli on YouTube
  • Quantum Gravity on Loop Quantum Gravity, a page on Goodreads.
  • Loop Quantum Gravity (abstract) (Review written for the electronic journal LIVING REVIEWS ) by Carlo Rivelli
    • pdf
  • String Theory or Loop Quantum Gravity? David Gross vs Carlo Rovelli Two theoretical physicists are interviewed together on their lives' works.
  • how to generate space-time? casual and inconclusive discussion of cosmology on soylent news

• Soylent News Posts

  • A Step Towards Quantum Gravity using Hamilton-Jacobi techniques
  • Mathematicians Prove 2D Version of Quantum Gravity Really Works
  • The Mystery at the Heart of Physics That Only Math Can Solve
    • Factorization Algebras in Quantum Field Theory Volume 1 (8 May 2016) Kevin Costello and Owen Gwilliam
    • Factorization algebras in quantum field theory Volume 2 (28 April 2016) Kevin Costello and Owen Gwilliam
  • Mathematicians Explore Mirror Link Between Two Geometric Worlds
  • Intrinsic mirror symmetry and punctured Gromov-Witten invariants Mark Gross, Bernd Siebert. A mirror construction in Calabi-Yau manifolds.
  • A Fight to Fix Geometry’s Foundations About symplectic manifolds. Has links to published papers. A lengthy presentation about mathematicians arguing whether their results are correct.
  • Mathematicians Prove 2D Version of Quantum Gravity Really Works
  • Physicists Uncover Geometric ‘Theory Space’ About conformal field theories.

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

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

• The Theory of Quantized Fields. I by Schwinger -- the first of a series of six papers originally 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)

Interpretations of Quantum Mechanics

• A Search for Classical Subsystems in Quantum Worlds

Quaternions:

• Why can't you multiply vectors? by Freya Holmér

• Video: Visualizing quaternions (4d numbers) with stereographic projection

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.

• Quantum Computing

  • Quantum Algorithm Implementations for Beginners abstract
    • the pdf
  • Real quantum computers. Right at your fingertips.
  • Type theory
    • Topological Quantum Gates in Homotopy Type Theory
    • Topological Quantum Gates in Homotopy Type Theory
    • The Quantum Monadology
    • To appear: Urs Schreiber's talk on the HoTT Electronic Seminar Talks on Youtube This is a link to the page where the actual link will likely appear in the near future.

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

• Torsors made easy

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

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

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

• Relativity

  • The TRUE Cause of Gravity in General Relativity
  • The Foundation of the General Theory of Relativity
  • Domain-Specific Tensor Languages Adding tensor notations (two of them) to Haskell
    • The code linear-smc
      • https://github.com/jyp/linear-smc/blob/main/Control/Category/FreeSMC.hs

Speculative physics

s

• [Constructor Theory[(https://www.youtube.com/watch?v=8DH2xwIYuT0)
• Will Constructor Theory REWRITE Physics?
• Ultimate physical limits to computation
• 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

• John baez's Youtube channel

• John Baez on mathstodon

• The Azimuth Project

  • index Index to John Baez's site
  • forum
  • Symmetric Spaces and the Tenfold Way
  • The Icosidodecahedron
  • Polarities
    • Part 1
    • Part 2

• This week's Finds

  • This Week's Finds in Mathematical Physics (1-50)
  • Seminar on This Week’s Finds
    • also octonions, the threefold way, periodic table of 3-categories, 3-strand braind group, etc.
    • Young Diagrams and Classical Groups based on week 157 of
  • Seminar on This Week's Finds
    • This Week's Finds 3: Young diagrams and classical groups

• Baez: Noether's Theorem

• Baez: The Algebra of Grand Unified Theories

quote

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

end Physics

Unitarian Church of Montreal

• UCM services (I use firefox for this)
  • UCM playlist on youtube
  • previous services
• [September 22, 2024, First Worship service with Rev. Ian Main service starts at 49:40

Media

Anime and manga

• mangacrawler

• Madoka

  • I can convince you to watch Madoka Magica in 3 minutes.
  • 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
  • How Madoka Magica Destroyed an Entire Genre
  • The Power and Corruption of Love: Puella Magi Madoka★Magica
  • The Wish to be Complete | Madoka Magica Professor Viral
  • "Homura Did Nothing Wrong" - Madoka Magica
  • Homura Was Never A Good Person: Why Rebellion Is Great

• 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
  • Fountain of Youth Toonhole

• Webcomics

  • Tales from Outside the Comfort Zone Cat's Cafe
  • Nine Gates

• Webtoons a webcomic site

• Comixology ad

  • Good Dog, Cerberus! Vol. 1
  • Tales from the Chthulhuverse #1

• Extre Fabulous Comics

• 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

Comix

Comics Kingdom a site with many daily stripc -- but not the ones i particularly liked. Except Bizarro is there.

Movies, Video

• ICI tou tv -- Radio Canada online
• oerview and some schedule
• What are the best streaming services in Canada? Comparing Netflix, Amazon Prime Video, Apple TV+ and more Published December 15, 2021; Updated April 20, 2022

Animation

• My Neighbour Totoro. My all-time favorite movie.

  • Thirty-Five Years Later, There’s Nothing Like ‘My Neighbor Totoro’ - The Ringer

  • 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

  • miyazaki drawing kit - Animation Obsessive

  • How to paint like Hayao Miyazaki - Animation Obsessive

  • How to paint like Hayao Miyazaki - Animation Obsessive

  • Miyazaki shorts

  • Animation Obsessive

    • The (Unofficial) Art of 'Coraline'
    • Windy Day
      • 1 – Windy Day, an immortal cartoon Discussion on Animation Obessive

• Quirinux A Linux distribution designed for animators

  • Quirinux: A Free Animation Software Distribution from Argentina

• 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
  • Little Bird (actually a TV miniseries) on APTN and maybe Crave

• Reviews

  • 'Framing Agnes' re-enacts the real lives of trans people in the 1950s

• Babylon 5

  • JMSNews is an archive of messages posted by J. Michael Straczynski (JMS)
  • Babylon 5 Books
  • Babylon 5 vault -- Multimedia editions
  • Babylon 5 a history of the series
  • 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

  • Doctor Who Wiki
  • ‘Doctor Who’ Doctors: Every Actor Who Has Played the Part
  • Rowan Atkinson is Doctor Who | Comic Relief
  • New Dr Who on Amazon Prime
  • How to Watch Doctor Who in Canada for Free [All Seasons | 2023]

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

  • Older site, frozen as of 2019
    • Landscape generation
  • Current site : Fractal Forums
  • Marblemarcher
  • Perpendicular Burning Ship on Riemann sphere video
    • erpendicular Burning Ship on Riemann sphere text

• Maps

  • utymap
    • Documentation

• Chris Thomasson

  • Chris Thomasson's Julia
  • Fractals of the Rings
  • another ring fractal

• Xaos A fractal program that does continuous interactive zooming.

• 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

• AI Maps | Virtual Environments with DALLE & Unreal Engine

• 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

https://docs.google.com/spreadsheets/d/1FXJ-tLcdO5pnENeQXqU62kQT6hKap92gv8EvelxDiEk/edit#gid=0

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

  • Your 5 Post Guide To NaNoWriMo

  • 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

  • Writers Write

    • 127 Writing Prompts To Finish Before You Write About Yourself

    • All About Pacing – 4 Important Questions To Ask

    • 13 Ways To Start A Story incident moments

    • How To Be Successful In The Publishing World

    • 6 Simple Ways To Handle Viewpoint Change

    • 8 Ways To Uncover Your Character’s Motivations A moderately good list.

    • On Ghosts & How To Write About Them Nothing like my ghosts in From darkness.

    • Anthony Horowitz’s 4 Steps To Creating A Suspenseful Adventure

    • How To Write An Epic First Line

    • Everything Writers Need To Know About Scenes And Sequels This explanation makes sense.

    • 60 Things For Your Characters To Do

    • The Ultimate Setting Checklist For Worldbuilding Seems like a good list.

    • 350 Character Traits – A Fabulous Resource For Writers

    • 5 Essential Exercises For Plotting

    • 5 Essential Exercises For Writing Dialogue

    • How To Make Any Story Creepy Using The Uncanny

    • 5 Essential Exercises For Creating Characters

    • 7 Pearls Of Writing Wisdom From Susan Sontag

    • 123 Ideas For Character Flaws – A Writer’s Resource

    • Anne Lamott On Life & Writing

    • How To Write Without Your Muse

    • 32 Ways To Write About Fear

    • 37 Ways To Write About Anger

    • 80 Weather Expressions Cheat Sheet

    • https://counter.social/index.html

    • The 3 Pillars Of Horror

    • 101 Horror Tropes For Writers

    • 101 Romance Tropes For Writers

  • 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
    • A Quick Start Guide For Beating Writer’s Block
    • A Quick Start Guide To Writing For Children
    • Flying
    • 4 Writing Challenges To Keep Your Writer’s Brain Alive That You May Not Have Thought Of Before
    • 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.
    • Everything Writers Need To Know About Scenes And Sequels
    • 43 Ways To Write About Love

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

• Anne's Writing Nook

  • No Silver Linings…
  • Escape from Reality
  • The Definition of Love

Nanowrimo

• Your 5 Post Guide To NaNoWriMo

• nano2022

  • Nano prep Contains pictures of badges
  • canada : Quebec : Montreal

• nano

  • facebook post about Come Write In in Montreal
  • nanowrimo.org
  • Montreal region.
    • If the site listed is on the official nanowrimo websete, you may need to log in to nanowrimo BEFORE you can access it.
    • Montreal regional page
    • Montreal Google Calendar
      • Or maybe ?
    • Montreal Discord It's called "The Writer's Mess"
    • Several llinks to Holly's Discord for Writing. This link keeps changing, although it's supposed to be a permanent invitation. So here are several. I'll try to keep this up-to-date.
      • Holly's Discord for Writing
      • Holly's Discord for Writing
  • Harm Reduction for In-Person Events
  • nanowrimo on wikiwrimo
  • A simple guide to NaNoWriMo – Freebie | WW Download site linked from Writers Write newsletter
    • (as pdf)[https://deadlinesforwriters.com/wp-content/uploads/2021/08/FINAL-Nano-Workbook.pdf]
  • Nanoprep 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.
    • nanoprep 101
  • 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

###Nanowrimo 2023:

• Remember that the regional space on nanowrimo.org and the regional forum on forums.nanowrimo.org should be a central space for new participants to find all relevant information they need to become an active participant in my region.
• NaNoWriMo Public Moderation Guide and Policy
• Municipal Liaison
• Centering Racial Equity at NaNoWriMo

###nanowrimo 2024

• trouble in 2024
  • A short blurb about doing NaNo this year -- 2024 or is it https://docs.google.com/document/d/161jm4v60HjO2-sv6HsmDM9JF3RdO_toGBHgXGKeEwwQ/edit?tab=t.0 ?
  • [writing] Discords, forums and a decade’s worth of allegations: how Nanowrimo ignited a revolution against it [part one]
  • Unofficial NaNoWriMo Montreal
  • AI controversy
    • No More NaNoWriMo -- Cass Morris — Author, September 2, 2024.
    • Am I allowed to use AI? from a year before
    • What is NaNoWriMo's position on Artificial Intelligence (AI)?
    • Facebook post Richard Graeme Cameron
    • NaNoWriMo Organizers Said It Was Classist and Ableist to Condemn AI.
    • NaNoWriMo gets AI sponsor, says not writing your novel with AI is ‘classist and ableist’
  • Addressing Community Concerns* Potential nano replacements
  • World Writing Society](https://www.facebook.com/groups/1343103829693783/)
  • [Rogue Writers Network
    • on Discord
  • Pirate Writers' Fleet invitation was at https://www.facebook.com/groups/218071235656056/?multi_permalinks=1616241469172352&hoisted_section_header_type=recently_seen
  • the new ML group (Dangerous Liaisons)
• Unofficial Nanaowrimo Montreal

end nanowrimo

Markup systems

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

• pdf
  • qpdf A utility for transforming pef's. Yes, it has mechanisms for decrypting them.

Document compilers

• Comparison of documentation generators
• PanWriter Almost simplistic document editor that connects with Pandoc.

Ascidoc

• asciidoctor The prominent implementation
  • quick reference
  • AsciiDoc

Document Editors

• for editing Knuth's TEX

  • LyX on wikipedia

  • TEXmacs, which is neither TEX not emacs

    • GNU_TeXmacs
      • GNU TeXmacs on wikipedia
    • ..
    • ..

• Scrivener Alternatives for Linux

• Regular text editors

  • emacs
  • featherpad
  • Bluefish

end writing

Kobo ebook reader

• Kobo books Canada

• 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

• Balinese Gamelan
  • Gamelan Bali (Balinese Gamelan) - Traditional Music
  • Tuning of Gamelan and Sensory Dissonance tuning at 5:04
  • Composite Theory of Dissonance
  • "Balinese Spa Music" - Just Relax & Close Your Eyes - #balimusic
    #spamusic #relaxation - YouTube

Theory

• Modes
  • on Azimuth
    • Azimuth entry about modes
    • Second Azimuth entry about modes
    • Modes (Part 4)
    • Modes (Part 5)
    • Modes, part 6
    • Modes (Part 8)
  • Changing of the Seasons Three original compositions in Itanian modes (dastgah)
• Why do humans like jazz? (evolution of music, entropy, and physics of neurons)
• EXOTIC Pentatonic scales for ROCK, FUSION & MODES - Crystal Clear!
• Microtonal Music and Tuning Theory a facebook group

Adaptation

• Begone DulL CARE A film by McLaren baded on music by Oscar Peterson
  • The Simplest Form of Entertainment An article about this film.

Practice

• 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
• https://youtu.be/Id72FaGlBAw
• Rick Beato

performance

• DelTomix

• DelTomix on reverbnation

• Overtone

• Bob Dylan - Chimes of Freedom (Official Audio) on YouTube

• k.d. lang performs Hallelujah - Vancouver 2010 Olympics Opening Ceremony

• Bob Dylan & Joan Baez (Hugh Stadium in Fort Collins, Colorado) - Rolling Thunder Revue 1976 on YouTube

  • also https://youtu.be/Nzlr6WflekY?si=NrLXPDVSWXrofjpg

• Bob Dylan - I Shall Be Released (Official Audio) on YouTube

• Rollin Home

  • also https://youtu.be/1MTXmkVaEQ8?si=TimkbKrooQJlt37e

• Bob Dylan - To Ramona (Official Audio)

• Bob Dylan Confesses She Was the Love of His Life on YouTube

• At The Age of 82, Bob Dylan Finally Confesses The Rumours of Decades" on YouTube

• Commodore 64 Crack Intros and Game Music

• How a total disaster became the world’s best-selling piano album

• Anita Carter - Satan's Child (1962) on YouTube

• Coffee, Coffee, Coffee

  • lyrics lyrics
  • performance performance

• Sand and Foam - Donovan on youtube

• The Most Insane Interstellar Cover On A Public Piano

  • SCARDUST feat. PATTY GURDY - "CONCRETE CAGES" (Official Music Video) Scardust
  • First time hearing Scardust, Israeli prog metal with Patty Gurdy!
  • My First Deep Dive Analysis into Nirvana's "Smells Like Teen Spirit"

• Space Oddity Ground Control to Major Tom -- cover by Chris Hadfield

  • interview Commander Chris Hadfield: David Bowie really liked how I portrayed Space Oddity | 5 News

• kira's youtube channel

• Talkin’ John Birch Paranoid BlueBob Dylan 1963

• Crown Lands

  • Crown Lands - Lady Of The Lake (Official Music Video) I like this one.
  • Crown Lands - Context: Fearless Pt. I (Live At Revolution Recording, Toronto / 18.03.21)
    • Is this RUSH - Crown Lands - Context Fearless Pt I - Old Guy Reaction a review
  • Crown Lands - Starlifter: Fearless Pt. II (Live Performance)
  • Crown Lands - Citadel (Live Performance)
  • The Oracle (Live in Session - 2021)
  • Crown Lands - Dreamer Of The Dawn (Live Performance)
  • Crown Lands with Rush’s Alex Lifeson & Billy Talent - Led Zeppelin Medley (Massey Hall Live 2021)

• Slipknot - Death March

• Frank Zappa: Stairway to Heaven (Vienna, 1988)

• Metric - Help I'm Alive acoustic at KROQ also https://www.youtube.com/watch?v=hwnaVwIrgzg

  • another copy

• Bob Dylan - I Dreamed I Saw St. Augustine (Take 2 - Alternate Version)

• The Animals - Paint It Black

• 【公式】『魔法使いの嫁 学院篇』コミックス宣伝PV

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

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

• Songs to aging children come

• KIRA - MONSTER ft. GUMI English (Original Song)

• 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

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

  • Sassafras

    • My Brother, My Enemy -- lyrics A duet between Odin and Loki

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

    • THE MOODY BLUES - Nights In White Satin ( Full Version ) | REACTION Interrupted and commented on by a commentator who seems to enjoy it.

  • 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

• Slipknot - Adderall (Official Audio)

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

• 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 Short story by Andy Weir.

• Audio books

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

• 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

Fiction

• Malazan Book of the Fallen The first volume of a huge fantasy weries, complexly world-build, which I've been told I should try reading sometime. I did that, and got stuck -- too much happening. Tried again. Got further, still lost. I was told it was worth trying again.
  • Update: I finally got into it on the third try. It was worth it. Each chapter is now a page-turner. But after a few chapters I find I need to give it a rest. So I put it down and in a few days I find myself reading it as a page-turer again.
  • Malazan Book of the Fallen its wikipedia entry.
  • Malazan Wiki
• Thierry
  • Worth the Candle, currently I'm on on chapter 3
• The Windup Girl
• Reading or watching
  • Stein's Gate
  • The Thrilling Adventures of Lovelace and Babbage
  • Lovecraft
    • Literary Pocast 17: The Picture in the House
    • 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

Banned books

• Book Banning And Why It Matters
• 30 Banned Books You Should Probably Read Right Now
• Banned Books Week – The 10 Most Challenged Titles Of 2021

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.

• BAHFest East 2018 - Jerry Wang: Decrypting crypto

• Existential Comics

• Justin Isis's Theodor Adorno and the Fun-Sucking Machine

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

• pandemic the cult

• Posting memes

Miscellaneous

• Wacom Electro-magnetic resonance
• 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
• Edgar Allan Poe on secret writing
• Bender affadavit
• Visual-Spatial Learning Disorder. Aphantasia.
• Library Genesys 2M
  • Library Genesis Chobits:
• 256-byte demo:
  • 256-byte demo
  • a-jaw-dropping-demo-in-only-256-bytes
• HAKMEM
  • hakmem TODO: local copy?
• Barbara Hudson
  • Journal of Barbara Hudson: Why are we still happy?
  • Easter Bunny Tales

AI

• Learning and testing AI
  • 1.
  • 2.
  • 3.
• A note on AI and The Globe and Mail newsroom
• Unions aim to protect workers from AI – but struggle to keep up
• Using generative AI to solve problems im Math E-Ties, a promotional journal for the University of Waterloo
• Prompt engineering useless on Facebook

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 (CSG)
  • in Racket
    • Ruckus: Procedural CAD For Weirdos
  • Constructive Solid GeometryandProcedural Modeling by StelianCoros. A slide show.
  • Constructive solid geometry on Wikipedia
  • Solid Modelling kind of a survey on wikipedia
  • openCSG
    • OpenCSG : The CSG rendering library
    • OpenCSG: A Library for Image-Based CSG Rendering FREENIX Track: 2005 USENIX Annual Technical Conference USENIX Association 129. This one might be useful, since it's designed to be used as a library. Unfortunately it's implemented in C++, which may make Racket interfacing a bit fraught. And I haven't yet found the documentation. It seems to mplement the CSG operations (union, intersection, etc.) without providing the primitives. Is this really true? No cubes or spheres built-in?
  • FreeCAD
    • FreeCAD: The 2022 Complete Beginners Guide To Part Design |JOKO ENGINEERING on youtube, 2;35:54
  • CGAL is an open source software project that provides easy access to efficient and reliable geometric algorithms in the form of a C++ library
    • on wikipedia
  • OpenSCAD
  • PLaSM : Programming Language of Solid Modeling Looks like they made a language instead of a library. Making the tool less compoitionally usable.

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
  • Viisan https://www.viisan.com/en/product/K21.html?fbclid=IwAR33Qp6gdjIVS4-BP1OpnzEQVU37b1MxGzCIk9NgghEdCVVRqy6iTuFLGFw
  • czur on inux? 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

  • Structure

    • It looks as if writing a browser is a bug, big undertaking.
    • How browsers work A lengthy introduction to browser internals
    • on wiipedia
    • in Chromium
      • Browser Components / Layered Components Cookbook being the story of how a fresh new component is born, or how a veteran feature is rescued from a tangled web of ugly dependencies and reborn as a shiny component.
      • Browser Components

  • The components of a browser

  • What is a Browser and How do they work?

  • Web Browser Anatomy – What’s Obvious And What Lies Under The Hood?

  • [ANN] Brr 0.0.2, a toolkit for programming browsers in OCaml, apparently. Bit it seems to be something to write programs that run in brpwsers, not a tool for writing an actual browser.

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

• Allegedly Social Media

  • mastodon
    • on oulipo.social https://oulipo.social/about
    • Giving social networking back to you - the Mastodon project https://joinmastodon.org
  • CounterSocial
  • How Instagram is stopping me from getting work

• elo

  • 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

• Laptop manufacturers claiming Linux support

  • Framework
    • Framework (Canadian site)
    • Coreboot not on Framework
    • 2021 02 27: The Framework Laptop is an Upgradable, Customizable 13-Inch Notebook Coming This Spring
    • 2024 03 19: Framework Laptop 16 Review: A Modular Marvel, but a Mediocre Gaming Laptop
    • Framework 16 Unboxing and Review
    • 2024 04 25: Framework’s Software And Firmware Have Been A Mess, But It’s Working On Them
  • System76
  • Star labs
    • Star Labs unveils AMD/Intel-powered StarFighter Linux laptop Published 09/28/2022
  • Purism
  • System76
    • Pangolin with AMD64

• Tablet manufacturers claiming linux suppoet

  • Juno tablet
    • PineNote (may not be as availabe as originally announced because of pandemic shutdowns)
      • PineNote: PINE64 reveals a 10.1-inch e-ink tablet for US$399 with a stylus and case Published 08/18/2021
      • PineNote: Linux-based eReader with a digitizer from PINE64 is now available for US$399
    • Litebook laptop brings Linux at low cost Published 03/03/2017

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

  • https://www.poetryfoundation.org/poems/46560/dulce-et-decorum-est
  • 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

• The Kugelmass Episode By Woody Allen

• Vermont PBS schedule

• 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 about the design of social networks:

  • Taiwan Is Crowdsourcing an Everybody-Wins Democracy The first article I rad about this project and how it was used in Taiwan to resolve serious issues.
  • Discussion on soylent news Discussion here is a mix of sensible comments and trolls. This is where I first heard about the Polis project.
  • Actual software This seems to be the current site. It contains the actual code as well as a lot of related documents.
  • An older site This is an older site.
  • Presentation of pol.is, the software they used This link has gone bad.

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

• 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)
  • Chromecast throught desktop chrome
  • How to Replace Google Play Services on Android With MicroG
  • [MicroG[(https://en.wikipedia.org/wiki/MicroG)
  • 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

Computing devices

• NovaCustom

• Computer hardware

  • ethernet
    • interface bit rates
    • Cable categories
    • Making Sense of the Approved TIA standards and Ethernet Cable Speeds
    • [https://www.cablewholesale.com/support/technical_articles/megahertz_madness.php](Technical Articles by cablewholesale.com)
  • Disks
    • 2023 08 08: SanDisk Portable SSDs Are Failing So Frequently, We Can No Longer Recommend Them
    • 2023 11 14: SanDisk Denies That Faulty Hardware is to Blame for SSD Failures
    • 2023 11 15: Western Digital responds to claims that SanDisk SSD failures have design flaw
    • 2024 04 10: Western Digital Confirms HDD And NAND Flash Shortages, Warns Partners Of Higher Pricing
    • 2024 04 29: Seagate Claims: Mozaic 3+ HAMR Hard Drives Can Last Over Seven Years

• Pine

  • PINEPHONE – Beta Edition Linux SmartPhone)
    • Pinephone, as reported by Subsentient
    • Subsentient
    • PinePhone Pro Explorer Edition Apparently sold out.
  • Tablets
    • PineNote
      • Pinenote developer edition$399 but out of stock
      • PineNote Is a $399 E-Reader Running Linux published 2021 08 16
      • $399 PineNote E-ink Tablet Features Quartz64 SBC
      • PineNote is a Linux-based E-ink tablet for developers & enthusiasts
      • PineNote Developer Edition mainline Linux e-Reader is now available for $399 as of 2022 01 17
      • PineNote Development
        • Pinetab – 10.1″ Linux tablet with detached backlit keyboard $119.98

• RISC-V

  • The PC industry is changing: RISC-V goes mainstream on YouTube
  • DC-ROMA RISC-V Laptop II
  • Developing the RISC-V Framework Laptop Mainboard
  • Re:I know it was a geek wish from the get-go th LicheePi Console 4A -- a physically small RISC-V minilaptop

• E-readers

  • Kobo's 10.3-Inch E-Reader With Stylus Is Its Biggest Yet published 2022 05 20
  • PocketBook Launches a 7.8-Inch Color E-Reader published 2021 02 16
  • Lenovo’s new color e-ink laptop might actually be worth buying

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

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

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

• Revision management

  • Pijul A new distributed revision control system with the clean theory of darcs, but efficient,
    • Conflict-free replicated data type Also known as CRDT

• 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

• 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

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

• 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.
  • MandelEbulb3D
    • on Github Seems to be for Windows

• 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
  • Able Archer 83

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.

  • A Google project. Who knows when they'll cancel it?
  • Build for any screen

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

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

• It really is harder to make friends these days

• 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

• 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

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

• Higher

  • 【IA OFFICIAL】　ＨＩＧＨＥＲ　【ARIA Live Music Video】
  • 【MMDドルフロ】404小隊はHIGHER【少女前線】
  • [MMD] - HIGHER - IA
  • [MMD] - HIGHER - IA in a playlist by Sky Flare

• 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

• 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

• Language in Québec

  • The Law by Topic general link to legal informatin in Québec
  • Game over? New language law puts Quebec's video game industry at risk, insiders say
  • Access to English Schools in Quebec: The Certificate of Eligibility and Other Options
  • Quebec Language Laws forvNon-French Publicity
  • Language Laws and Doing Business in Quebec

• 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

• Octopodes

  • Octopus Dreaming
  • The Insane Biology of: The Octopus

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

  • 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

2022 08 09

• French physicist’s Proxima Centauri photo is actually a piece of chorizo

• Pronouns

2022 08 15

• Why Nothing Matters: The Science of Emptiness
• Reimagining Our Futures Together: a new social contract for education

2022 08 20

• Death Vallew is Wrecked The eariest comments seem to date from about 2022 08 10. I'm not sure when this was posted of filmed, though.

• Dingbat calendars

2022 08 27

• Here’s how to build a digital second brain for the information you need to know

  • Notetaking paart 2
  • Notes: a review of Notion
  • Building a Second Brain
  • Second Brain Resource Guide
  • Should Notion Be Your Second Brain? | Notes App Review (ft. Thomas Frank) - YouTube
  • https://m.youtube.com/watch?v=50hWDN21ZC0
  • Sqlpad

• P$ Service Mobile

2022 08 31

• When is a Dream, not a Dream? by annemcsommers

2022 09 10

• Counting points on the E8 lattice with modular forms (theta functions) | #SoME2 a youtube video
• A.E. Van Vogt's World of Null-A - Philosophy and Speculative Fiction (lecture 3)

2022 09 11

• Rights, Laws, and Google Posted onMonday, August 29, 2022 in stratechery
• There were almost two internets. Then, the CIA destroyed one. About CIA shutting down Allende's Chile.
• ON THE ESSENTIAL LOGICAL STRUCTURE OF INTER-UNIVERSAL TEICHM ̈ULLER THEORY IN TERMS OF LOGICAL AND “∧”/LOGICAL OR “∨” RELATIONS: REPORT ON THE OCCASION OF THE PUBLICATION OF THE FOUR MAIN PAPERS ON INTER-UNIVERSAL TEICHM ̈ULLER THEORY

2022 09 15

• Skew Dice
  • REVIEW | Skew Dice
  • Poetry
  • the Dice Lab buy them here?
  • Weird But Fair Dice (plus the D120) - Numberphile
    • Weird Dice (extra footage) - Numberphile
• Who wrote their PhD thesis in the shortest amount of time?

https://www.quora.com/Who-wrote-their-PhD-thesis-in-the-shortest-amount-of-time/answer/Cedric-Mamo?ch=10&oid=27575642&share=5f4e821a&srid=5GY2I&target_type=answer

• Antikythera

• Why Aren’t You Voting in Your Financial Self-Interest?

• The Origin of Time Asymmetry

• https://public.oed.com/blog/a-brief-history-of-singular-they/

• Fair Ranking as Fair Division: Impact-Based Individual Fairness in Ranking Looks interesting; haven't read it yet. Would this work for, say, a recommendation system for Netflix? where there isn't a supply sortage of any particular film?

  • Cornell publicity article

• galaxy map to 750 parsecs

  • Discussion

• The brain undergoes a great "rewiring" after age 40 - Big Think

• πfs: Never worry about data again! https://www.quora.com/

• John Mark McDonald on nuclear war an extensive, likely realistic, explanation of the nature of nuclear war. Also here

• Rockin' on without Microsoft Why and how Sterling Ball moved his company from Windows to Linux.

• Chapter 1. What Is A Relational Security System?

• NASA's Mars Helicopter Snags Mysterious Foreign Object on 33rd Flight Oct 05, 2022

• Post-tropical storm Fiona makes landfall in Atlantic provinces on Saturday - The Globe and Mail

• Rethinking Loneliness: Singledom and the Stigma of Solitude

• Why Doom is Awesome: Binary Space Partitioning Youtube video about early 3D rendering techniques.

• DeepMind Invents Faster Algorithms to Solve Tough Math Puzzles I'd like to know more about what inputs the neural net used.

• The most drug-evasive COVID variant yet is likely to ruin winter

• Rising cases of variants BQ.1 and XBB could make COVID drugs all but useless, study finds BQ.1, BQ.1.1 XBB, BA.2.75.2, XBB,BA.5, BA.4.6, BA.2.75.2, BJ.1, BM.1.1.1, "a sore throat is now the dominant symptom of COVID infection, rather than fever or loss of smell"

• WT coding

• Dune worldbuilding

• Where is Common Lisp used today?

• What does a lack of punctuation signify in a poem?

• What is π? (and while we're at it, what's e?) Why π and e are important.

• Programming language community forums and chats

• Brief of The Onion as amicus curiae at the USA supreme court

• Pass A password manager. How does this ompare with keepass?

• [Dreamdisc}(https://mindfungus.itch.io/dream-disc) A mindfungus name.

• Nanp presp 101

• Disco Elysium

  • Disco Elysium
  • [Final cut on Steam](https://store.steampowered.com/app/632470/Disco_Elysium__The_Final_Cut
  • on gog
  • Bumbling Through Disco Elysium p.1 - Sore, Bloated Man-Meat

• Seminar on This Week’s Finds

• What's your pandemic story by ElizabethGreene on Soylent News. A personal exposition of her experiences during the pandemic, followed by many comments by others, some describing their own pandemic stories.

Social media sites

Ones I know nothing about

• Tribel

• How to Change your Mind on Youtube, There's also a series on Netflix.

• Gem Newman

• Megatokyo

• CHARITY STREAM: Upgrading Old Webservers On An 8 Year Old Website (SoylentNews Revival #1)

• What is ZFC (Zermelo-Fraenkel set theory) and why is it important? Discussoin on the nature of axiomati set theory.

  • a good answer https://qr.ae/pvjPiW

• What are the advantages of homotopy type theory over Zermelo–Fraenkel set theory with the axiom of choice (ZFC)?

  • What are the advantages of homotopy type theory over Zermelo–Fraenkel set theory with the axiom of choice (ZFC)? shortened link to same place

2022 11 18

History:

• Exploring BASIC Programming for the Atari 2600: About an ancient so-called personal computer from about 1979. It reminds me why I didn't buy a home omputer in 1979.
  • Part 1
  • Part 2

2022 11 16

• Artemis I Launch to the Moon (Official NASA Broadcast) - Nov. 16, 2022 Actual launch at about 3:17.

2022 11 20

• The Man Who Planted Trees

2022 11 21

Russell and Gödel

2022 11 23

• Why did the ancient Babylonians come up with 60 second minutes and 360 degrees?

• Some Results Concerning Intuitionistic Logical Categories Karen Tennenhouse's master's thesis, 1975

  • actual pdf

• The benefits and costs of writing a POSIX kernel in a high-level language On using Go to write an operating system kernel.

• Attention deficit

  • Why the ADHD Brain Chooses the Less Important Task — and How CBT Improves Prioritization Skills On procrastivity.
  • “I Hired a Virtual Assistant and It’s the Best Thing I’ve Done for My ADHD”
  • “Life on Mars: Why Peopling Is a Mystery to Me”

• Alice Mary Hilton, who coined the term cyberculture in 1963.

• Study Confirms That Processed Foods Key to Rising Obesity

• Humans Possess Surprising Nutritional Intelligence

• NCommander's return (in 2022)

  • Site Updates and The Road Forward ...
  • AC Responses to NCommander's Meta - 21 Nov 2022

• Amiga

  • Had Commodore not gone bust, and continued their line of Amiga computers, fast forward today. What innovation would we have, how would their machines differ from mainstream Windows desktops and laptops of the 2020s and beyond?
    • also

• The Unexpected Measure that Makes the Modern World Tick About measuring time

• How to lose a Ph.D in 127 pages

• Jefferson Airplane - White Rabbit but the lyrics are AI generated images

• The Doors - People Are Strange but the lyrics are AI generated images

• a Racket blog by Mike Delmonaco.

• zeromq an attempt at a robust intercinnection protocol.

• Jordan Peterson excerpts

  • How Hitler was Even More Evil Than You Think - Prof. Jordan Peterson
  • [How Ordinary Men Became Nazi Killers - Prof. Jordan Peterson](How Ordinary Men Became Nazi Killers - Prof. Jordan Peterson)

Canadian law

• Canada (AG) v Bedford: Canada's Prostitution Laws Found Unconstitutional
• The Charter proves to be Canada's gift to world

2022 11 13

• Video: World’s first artificial womb facility lets you choose baby's characteristics from menu I find myself wondering if this is real.

• Tales from Outside the Comfort zonw

• 2020 Lego Harry Potter Calendar

• Stable Diffusion Version 2: Power To The People… For Free! A seven-minute video advertising it (in the series called two-minute papers)

• Is it ethical to use AI art? Some thought on this topic

• HTTP in Swift Am 18-part series on implementing HTTP in Apple's Swift.

  • Critique of this on Soylent News

• Montreal stuff

  • Neotokyo
    • Old Montreal Just Got a ‘Blade Runner’ Remake in Cyberpunk Ramen Bar Neo Tokyo
    • Neotokyo Noodle Bar

• William Safire’s 33 Fumblerules Of Grammar

• Globe and Mail christmas card 2022

• Webassembly

  • Scheme in Webassebly
  • WebAssembly/Wasm and OCaml About proposals for Wasm relating to tail-recursion, garbage collection, and OCaml compilation.
  • Schism is an experimental compiler from Scheme to WebAssembly. https://github.com/google/schism
  • WebAssembly
    • and tail recursion?

• Partitioning

  • Understanding the MBR's limits
  • Make the most of large drives with GPT and Linux
  • GPT fdisk Tutorial

• Philosophy?

  • [Genius of the Modern World - Friedrich Nietzsche)[https://www.youtube.com/watch?v=vzcD-LCKuNs] eems to be a BBC documentary. How to deal with sufering in a world devoid of God? More is allegedly on the site www.bbc.co.uk/genius BBC Open University partneship. BBC Religion & Ethics Production Salford. 2016.
    • TODO: See also sometime?
      • Jung diagnoses Nietzsche's insanity ║ Friedrich Nietzsche
      • Wittgenstein: A Wonderful Life (1989)

• Games again

  • How NOT to make a game from scratch
  • How NOT to make an indie game

• Voxel Space Engine: My favorite algorithm!

• Wavelets: a mathematical microscope

• Trudeau tweet prompts questions on everything from mermaid sex to dog pants

• UNEARTHED: Honest Brexit Ad from 2016 -- Larry & Paul

• Great Works in Computer Science Let's learn from the past instead of forgetting it.

• Italy’s pasta row: a scientist on how to cook spaghetti properly and save money

• Why Are There 7 Days In a Week? EXPLAINED on YouTube

• Metformin and vitamin B12

  • Metformin Users – Consider This
  • Metformin and reduced vitamin B12 levels: new advice for monitoring patients at risk

• Minor planet list

• Which ancient civilization was best for the common man? An answer about the Caral civilisation.

  • other answers

• Fediverse

  • Mastodon-based
    • Mastodon
    • Fosstodon
    • Pleroma
      • What Is Pleroma?
  • ActivityPub
    • TODO
  • Garden Fence - Fediverse Blocklist

• Related, but different and likely incompatible

  • Bluesky
    • Bluesky built a decentralized protocol for Twitter — and is working on an app that uses it

• NonEuclideanism

  • Tehora Rogue
    • Portals to Non-Euclidean Geometries
  • NIL geometry explained
  • Games from softonic
    • Hyperbolica Npneuclidean game for Widows. Not free.
      • How high does this Hyperbolic trampoline go? - Hyperbolica Sample play-through
      • ??
    • Gardens of a New World a game for Windows and Mac, and apparently for [Linux] on (https://slitherpunk.itch.io/gardens-of-a-new-world) uthor: Autumn Rain
    • [Fez}(https://fez.en.softonic.com/) Two-to-three dimensions

• [Spinors for Beginners[(https://www.youtube.com/playlist?list=PLJHszsWbB6hoOo_wMb0b6T44KM_ABZtBs)

  • [Spinors for Beginners 1: Introduction](Overview +Table of Contents for video series)](https://www.youtube.com/watch?v=j5soqexrwqY)

• The Mystery of Spinors on YouTube

• Holonomy toy

• Platypus

• BBC documentary on Nietzsche

  • Bettany Hughes explores the mind of the philosopher, Friedrich Nietzsche A short clip at BBC. Links to a currently unavailable hour-long program, which has been preserved on Youtube:
  • Genius of the Modern World -- Friedrich Nietsche on Youtube

• H.P. Lovecraft Historical Society

  • Mary Poppins in the H.P. Lovecraft Historicel Society
    • The Time God Turned out to be Mary Poppins and Killed Harry Potter
  • Puritanism

• What to Expect When You're Expecting ... GPT-4 by Gary Marcus

  • commentary in Soylent News

• ChatGPT in Context.

  • Part 1 - The Transformer, a Revolution in Computation

• AI dungeon

• Dog stories

  • Handsome Dawang buying the bones first time, eat full without spend a dime apparently part ot a channel about this dog. Is it just friends with the butchers? Providing them security? Or running a protection racket? Irrelevant commentary in Chinese supertitles and English subtitles.

• Do Complex Numbers Exist?

  • https://www.youtube.com/watch?v=ALc8CBYOfkw the article the video is based on.

• Why isn't "Trickle Down economics" working?

  • alternative link

• What separates a great programmer from a good programmer? alternative link

• Descartes vs Fermat

• Squid and human brains develop the same way despite diverging 500 million years ago

• Medieval helpdesk with English subtitles

• Letter from Birmingham Jail by Martin Luther King written from Birmingham jail way back in 1963. Notable are the exquisite politeness of the language, the intellectual depth of the narrative, and the straightforward nonavoidance of the word "Negro".

• [Fall of Civilizations Podcast(ttps://fallofcivilizationspodcast.com)

• Grey 17 -- A Babylon 5 Podcast

  • also

• Sectograph visual planner A tool for visualising time that some attention-deficited people find useful.

• Lectures on ADHD for professionals by Dr. Russel Barkley. A Youtube playlist.

• Carlo M. Cipolla A Wikipedia article containing the Basic Laws of Human Stupidity,

• You've Been Lied To About Genetics Video explaining the discrepancies between Mendel's laws and what we have subsequently learned about genetics.

• It' all right Ma Bob Dylan song on Youtube

• programmer interviewing as it was

• 5 Useful Mental Models for PhD Students & Academics

• Cranelift's Instruction Selector DSL, ISLE: Term-Rewriting Made Practical

• A rimeline of Russian cyberattacks on Ukraine

• The Hunt for the Dark Web’s Biggest Kingpin: The Rise and Fall of AlphaBay

  • Part 1: The Shadow
  • Part 2: Pimp_alex_91

• 20 Things I’ve Learned in my 20 Years as a Software Engineer with a lot of reader comments.

  • even more comments on Soylent News

• Mathematical theorems you had no idea existed, cause they’re false

• 2021 Global Leviwand Collab Video

• The History of Minecraft's Super-Computers

• How Kindle novelists are using ChatGPT / An interview with an AI early adopter

• Tiktok's "Enshittification"

• Lightbulb screwing

• zeitgeist warning

2023 02 01

• Alien Coding Synthesising programs for OEIS sequences

• Drawing on a sphere

• the Racket Room where first Saturday afternoon meetings are hed at 18:00 UTC

• RIP Knuckles

• Meeting Grothendieck, 2012 Katrina Honigs

  • Unabridged version

• Let Me Think Somonw want to re-engineer scholarly society.

• Critical Ignoring

  • When critical thinking isn’t enough: to beat information overload, we need to learn ‘critical ignoring’

• Robert Sawyer: 55th anniverary of Panet of the Apes

• Genizah

• Watch distant worlds dance around their sun

  • the article
  • the video: Footage of 4 Planets Orbiting HR 8799 (12-Year Time Lapse)
  • discussion on soylent news

• Nicolas Parent -- Mirage short guitar music

• In the Victorian Era, Valentine’s Day Was a Celebration of Same-Sex Romance - Atlas Obscura Turns out this about events at American womens' colleges.

• Gigguk An anime and manga reviewer.

• Arrival: A Response To Bad Movies A review that approves of Arrival.

• [101 Science Fiction Tropes For Writers]{https://www.writerswrite.co.za/101-sci-fi-tropes-for-writers/}

• Rx for Prolonged Sitting: A Five-Minute Stroll Every Half Hour

• The Emperor's Old Clothes Tony Hoare: there are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies. (on page 81)

• GrapheneOS for pixel phones

• Chromecast

  • Google Cast Protocol: Overvieww
  • Google Cast Protocol: Discovery and Connection
  • Google Cast Protocol: Receiver Authentication

• [Stephen Wolfram](A New Kind of Science](https://www.wolframscience.com/nks/) I find the attitude that the physics of our world can be described by cellular automata to be just false, but there are insights to he had from this ridiculously simplistic model.

  • Chapter 10: Processes of Perception and Analysis The discussion of randomness in terms of perception and analysis is t least interesting.
  • Note: The navigation tools used in presenting online seems quite satisfactory for reading, except perhaps for those who with to download the whole thing and use navigations tools of one's own devising.

• Tongues Of Flame

  • “Alle shalle be wele”: T. S. Eliot’s Little Gidding and Julian of Norwich’s Showings | Explorations: The Twentieth Century

• Youtubery

  • Knowing Better
  • It's All over Now Baby Blue - Marianne Faithfull - The Girl on a Motorcycle (1968)
  • Marianne Faithfull - "Dreaming my dreams" (bio)
  • Bob Dylan - Watching The River Flow (1971)
  • M.C. Escher ~ Documentary
  • One More Cup of Coffee - Bob Dylan Cover
  • TOP 20 SINGER SONGWRITER SONGS OF ALL TIME
  • Chapter 1-4: Rethinking General Relativity as 5 Dimensions of Physics - A Unifying Theory of Gravity Not a theory of graviation a much as a visualisation.
  • ALL of calculus 3 in 8 minutes.
  • 1984 complete Audiobook - New high quality version

• The Defiance of Salman Rushdie

• Bloatware Pushes the Galaxy S23 Android OS to an Incredible 60GB on soylent news

  • original article on Ars Technica

• The Right to Read by Richard Stallman

• Elements of Style: CSS for Ebooks #2 looks to be a useful part of a larger, less useful site on self-publishing.

• Elements of Style: CSS for Ebooks

• ScanPyramids video

  • article

• History for GRANITE

• OpenAssistant - ChatGPT's Open Alternative (We need your help!)

• Stop Getting Lost: Make Cognitive Maps, Not Levels GDC presentation

• Full “Me Want Bite” Compilation (2022)

• Knowledge Representation (popular subject in the 1960's and on)

  • [access-limited](https://www.researchgate.net/publication/2751139_A_Formalization_of_Access-Limited_Logic_for_Knowledge_Representation]
  • A Comparative study of four major knowledge representation techniques used in expert systems with an implementation in Prolog Logic, production rules, semantic networks, and Frames interpreted as Prolog code.

• comic

  • Broodhollow

• Dragons don't celebrate Passover on Amazon -- there should be other places to buy it.

• Amazing Stories

  • Subnmissions

• Omenana

• Can-Con 2023 The Conference on Canadian Content in Speculative Arts and Literature

• Tell Tale Heart Animation (1953)

• Tru Earth Laundry Eco-Strips

• Amazon Yesterday Shipping

• Electric skillet cooking

• How Quantum Computers Break The Internet... Starting Now ](https://www.youtube.com/watch?v=-UrdExQW0cs)

• Candidate geometries for round-world RPG maps

  • The key is to achieve minimal distortion from the spherical ideal, yet still bea ble to map everything on flat paper. I suspect this is easiest to accomplish with solids that have many, many simple geometric faces. Using hexagon grids for in-play use makes distance measurement a bit more symmetrica than the much easier square grids.
  • Icosahedron This is the one I used for my dungeon years ago. No player has ever wandered further than the triangle they started on.
  • Rhombic triacontahedron This one could be filled with a hexagonal grid, excepd for twelve pentacons. I suspect it involves less distortion from spherical geometry than the icosahedron I used.
  • Truncated octahedron
  • Tetrakis hexahedron
  • Icosidodecahedron

• RPG Tools Dungeon Alchemist

• Toy Programming Languages

• Pythagorean Tuning Fascinating artile about how a tuning based on exact fifths differs from a tempered tuning.

• Learning Lumatone: Ep. 25 - "53-EDO Basics" - YouTube

• 17 of the most powerful excerpts from poetry according to Writers Write. There's some good poetry here.

• 10 Tips For Writers From Douglas Adams

• SpikeGPT: researcher releases code for largest-ever spiking neural network for language generation March 07, 2023

• Population decrease is irreversible. How will we manage the decline of humanity?

• You Can Now Run a GPT-3-Level AI Model on Your Laptop, Phone, and Raspberry Pi

• Protohackers

  • Protohackers Challenge in Racket Part 1 SOme possibly useful examples of Racket networking code.

• The Empire of the Rising Scum by Robert Shea, 1990

• IPFS -- Interplanetary File System

  • Welcome to the IPFS docs
  • IPFS on wikipedia

• I Made the Same Game in 8 Engines

• Artificial Intelligence

  • AI can't cross this line and we don't know why.

    • REFERENCES
      • First 2020 OpenAI Scaling Paper: https://arxiv.org/pdf/2001.08361
      • GPT-3 Paper: https://arxiv.org/pdf/2005.14165
      • Second 202 OpenAI Scaling Paper: https://arxiv.org/pdf/2010.14701
      • Google Deepmind “Chinchilla Scaling” Paper: https://arxiv.org/abs/2203.15556
      • Nice summary of Chinchilla Scaling: https://www.lesswrong.com/posts/6Fpvc...
      • GPT-4 Technical Report: https://arxiv.org/pdf/2303.08774
      • Nice Neural Scaling Laws Summary: https://www.lesswrong.com/posts/Yt5wA...
      • Explaining Neural Scaling Laws: https://arxiv.org/pdf/2102.06701
      • A Neural Scaling Law from the Dimension of the Data Manifold: https://arxiv.org/pdf/2004.10802
      • High Cost of Training GPT-4: https://www.wired.com/story/openai-ce...
      • Nvidia V100 FLOPs: https://lambdalabs.com/blog/demystify...
      • Nvidia V100 Original Price: https://www.microway.com/hpc-tech-tip... GPU model,Key Points
      • Great paper on scaling up training infrastructure: https://arxiv.org/pdf/2104.04473
      • Eight Things to Know about LLMs: https://arxiv.org/abs/2304.00612
      • Emergent Properties of LLMs: https://arxiv.org/abs/2206.07682
      • Theoretical Motivation for Cross Entropy (Section 6.2): https://www.deeplearningbook.org/

  • Mastering NIM and Impartial Games with Weak Neural Networks: An AlphaZero-inspired Multi-Frame Approach by Søren Riis

  • How the Writers Guild sunk AI’s ship from Pluralistic: Daily links from Cory Doctorow

  • The Future Coming at You – Artificial Intelligence & Writing with D. G. Valdron in The Attic, with D.G. Valdron

  • AI Incident Database

  • OpenAI

    • Google "We Have No Moat, And Neither Does OpenAI"
      • commentary on Suylent News

  • AI Threats: Can the Matrix and Other Sci-Fi Films Teach Us Anything?

  • Self-Healing Code is the Future of Software Development](https://soylentnews.org/article.pl?sid=23/06/08/1514241&page=1&noupdate=1#comment_1311558) I doubt it.

  • How To Check If Something Was Written with AI

  • Tor Tried to Hide AI Art on a Book Cover, and It Is a Mess

  • ‘Godfather of AI’ Geoffrey Hinton quits Google and warns over dange...

  • ChatGPT

    • What Happened When ChatGPT Got Hold of My Online Dating Profile

  • ‘ChatGPT said I did not exist’: how artists and writers are fightin...

  • Chinese police arrest man who allegedly used ChatGPT to spread fake...

  • ChatGPT launches boom in AI-written e-books on Amazon

  • Machine Learning XKCD

  • PRINCIPLES FOR THE DEVELOPMENT, DEPLOYMENT, AND USE OF GENERATIVE AI TECHNOLOGIES June 17, 2023

  • The peril and promise of artificial intelligence - The Globe and Mail

  • Will AI take over the world? And other questions Canadians are asking Google about the technology - The Globe and Mail

  • Generative AI is changing work, it’s time to ask ‘how’ and ‘how quickly’ - The Globe and Mail

  • AI ‘race to recklessness’ could have dire consequences, tech experts warn in new interview

  • Philip Koopman - How safe is safe enough for Autonomous Vehicles The meat of the talk is about 20 minutes; he rest is discussion.

  • If HAL was Alexa

• To make sense of the police response to the Ottawa convoy, look at Ipperwash - The Globe and Mail

• Highway of Tears - Wikipedia

• IPCC_AR6_SYR_PressRelease_en.pdf

• Globe Climate: The final IPCC report looks dire, but there are bright spots - The Globe and Mail

• Actions to stave off climate breakdown are possible but urgent, UN report says - The Globe and Mail

• Attacks on Iran-linked bases in Syria will draw swift response, spokesperson says - The Globe and MailStates Iran's claims that its presence in Syria is to fight terrorism
  instead of supporting it.

• Syrian says air defences confront Israeli attack over Homs area - The Globe and Mail

• Eight credits Canadians overlook when filing their tax returns - The Globe and Mail

• Broodhollow

  • 20120218
  • 20131111
  • 20131113

• What Canadians need to know to plan for the solar eclipse of a lifetime - The Globe and Mail

  • Do Your Homework to Prep for the 2023 and 2024 Eclipses

• Opinion: A curious photo from 1885 captures what Indigenous reconciliation could have been - The Globe and Mail

• Trope Talk: Those Dang Phones

• Automating 7 Lego Water Pumps

• Songs that use 15/8 time

• Saturday Morning Breakfast Cereal - The Painting About a salacious painting lleged to have been in a Russian space vehicle.

• https://onlinebooks.library.upenn.edu/renewals.html

• SpaceX’s Starship rocket, the largest & most powerful rocket ever, successfully lifted off. a rapid unscheduled disassembly.

• Natural Languages

  • How Much Can Duolingo Teach Us?
  • Introducing Duolingo Max, a learning experience powered by GPT-4
  • How Much Can Duolingo Teach Us?

• Tolerance is not a moral precept by Yonatan Zunger

• GPT-like AI -- mimicry in prectice

  • Paramount Media Networks, Showtime and MTV Entertainment Studios to Lay Off 25% of U.S. Staff as MTV News Shuts Down
  • [Oneworld signs Andy Stanton adult debut](https://www.bookbrunch.co.uk/page/article-detail/oneworld-signs-andy-stanton-adult-debut/

• Blues rules on Facebook Candace Jane Dorsey

• The Work of Art in the Age of Mechanical Reproduction An article from 1935, now relevant in the age of AI.

• A Contextual-Bandit Approach to Personalized News Article Recommendation How does this work?

• How anxiety induces verbal hallucinations

• World Wide Web is 30 years old.

  • A brief history of the World Wide Web Posted around the web's 30th anniversary.
  • [https://www.theregister.com/2023/05/02/world_wide_web_30th_anniversary/](CERN celebrates 30 years since releasing the web to the public domain)
  • A Little History of the World Wide Web
  • CERN Celebrates 30th Anniversary of the World Wide Web

• [Slavery, Race and Ideology in the United States of America](https://www.versobooks.com/en-ca/blogs/news/2763-slavery-race-and-ideology-in-the-united-states-of-america

• Tractatus Logico-Philosophicus Ludwig Wittgenstein, Translated by F. P. Ramsey

Mathematical art

• the Bridges Organization mathematical art

• the metaverse museum of math art.

• Mathematical Fiction A vast collection of mathemaatical fition, som of it available online.

• the Basel problem Euler's elegant algebraic proof of a series that some to pi squared over 6

• 2017 North America Total Solar Eclipse Close-up Real-time 4K on Vimeo

• Two-disk compound symmetry and the resulting fractals Bob Hearn

  • paper
  • tal on youtube
  • Play here

• The Cow

  • review on Animation Obsessive

• Snif & Snüf

• The Goon Show

• The Wanderers Shadrach, Meshack & Abednego

• Seeds of Diversity A Canadian seed bank preserving heritage seeds.

• Triple Stores

  • triple stores are used in RDF (what's that? Resource descriptin F??)

  • Open-source triplestore battle

  • DPpedia extract structured content from Wikipedia

  • SHACL

    • SHACL Shapes Constraint Language
    • Top Quadrant's SHACL Tutorial

  • E.W.Dijkstra -- On the cruelty of really teaching computer science

• heisenpoop

• Malware

  • The Strange Story of the Teens Behind the Mirai Botnet
    • discussed on Soylent News

• Cat pictures

  • catsdiary3882

• Parachute use to prevent death and major trauma when jumping from aircraft: randomized controlled trial

• Scientists finally know why we get distracted — and how we can stay on track

• Smells like fire in Montreal today. (posted 2023 06 06)

• Language Creation Society

• Laughing Through Life: 40+ Hilarious Comics About An Artist’s Everyday Struggles Ari

• A Tim Hortons flavoured take on 'Sorry' (Super Canadian version - Justin Bieber Parody)

• Where the ‘Wood-Wide Web’ Narrative Went Wrong

• Soylent News ShutdownIEEE Vis 2022 - Transforming Tabular Data and Grammars MV

https://youtu.be/Pu8jkCqKHpY?list=PLuAO-1XXEh0ZiJlRKz7EuODAdIOjC5-1l

• A prettier printer Philip Wadler

• 24 hours of Earth's rotation

• Pangram:

  • sphinx of black quartz, judge my vow.

• The Cellular Automaton Interpretation of Quantum Mechanics Gerard ’t Hooft

  • Discussion on Facebook

• The Road Home Babylon 5 animated movie, 2023

  • also ad copied on facebook

• The End

• Kaktovik Numerals

• The Future of Physics

• The Mysterious Dodecahedrons of the Roman Empire

  • Unlike All The Archeologists, I Know What This Thingy Is For This is so stupid

• Reading Euclid Learn Euclid nd vlassical Greek at the same time.

• How Painted Bricks Could Have Contributed to the Recent Iowa Building Collapse

  • 5 Reasons You’ll Regret Painting Your Brick House

• The Black Telephone

• Boots theory

• jokes about semicolons

• English Literature -- T/S/ Eliot

• Cliodynamics

  • End Times by Peter Turchin review – can we predict the collapse of societies?
  • We're on the verge of breakdown: a data scientist's take on Trump and Biden
  • Peter Turchin

• Ultravaluations and their Applications in CPL Krzysztof A. Krawczyk and Bo ̇zena Pi ̧eta CA 3:11 / 4:49

• Falling In Reverse - "Last Resort (Reimagined)"

• Apéro à Zéro 3661, rue Ontario Est. A store specialising in non-alcoholic beers, wines, whiskeys, ...

• Predicativity

  • Predicativity beyond Gamma_0 Nik Weaver, last revised May 2009
  • Poincar ́e-Weyl’S Predicativity: Going Beyond Γ0 Arnon Avron

• Compositional System Dynamics for Public Health TODO: find where the recording is available https://www.youtube.com/watch?v=t__TaOb5Pvk