Bookmarks

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

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

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

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

Online Seminars

• Homotopy Type Theory Electronic Seminar Talks Home page for this seminar. Haslinks to talks.
  • HoTT on initiality of term model Live talk on Septermber 10, 2020. Where is the archived version?
• Proof Theory Virtual Seminar
• Bohemian Logical & Philosophical Café
  • zoom
  • site
• OWLS online Worldwide Seminar on Logic and semantics
• The Topos Institute Colloquium Usually on Thursdays
• Lisp meetings
  • Lisp meeting #8YouTube
  • 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

end of online seminars

Devuan

• [Index» Packaging for Devuan» The Basics of Devuan Package Maintenance](http://dev1galaxy.org/viewtopic.php?pid=29962 )
• Packaging Guide for Devuan
• see also maintainer's guide by LeePen
• Index» Documentation» dev1fanboy's "Maintainer walkthrough"
• Simple (package) development kit
• Debian New Maintainers' Guide

Dotfiles

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

Covid

• Covid 19
  • Aaron Derfel reports reguarly on the covid-19 situation in Montreal
  • https://twitter.com/Aaron_Derfel
  • it's a coronavirus.
  • Virus is called SARS-CoV-2
  • coronavirus statistics -- world
    • Canada
  • Quebec vaccination priorities
  • Statistics
  • Vaccine tracker
  • Quebec
  • NDG
  • The Evidence which Suggests that This Is No Naturally Evolved Virus
  • In Barcelona Sewage
    • pdf Is this downloaded?
  • JAMA on covid
  • Coronavirus in provinces
  • Covid-19 info NDG
  • Quebec state
  • It’s Time to Let the Serfs Return to the Fields
  • Early Covid
    • Barcelona, March 2019
    • Italy, September 2019
    • USA
      • also [wsj.com])
  • Main canada page
    • Mathematical modelling and COVID-19
      • [as of 2020 12 11]](https://www.canada.ca/content/dam/phac-aspc/documents/services/diseases-maladies/coronavirus-disease-covid-19/epidemiological-economic-research-data/update-covid-19-canada-epidemiology-modelling-20201211-en.pdf)

end Covid

Programming languages

• Lisps (see alse Racket-relateed)
  • Lispy
    • How to write a Lisp interpreter (in Python)
    • Lispy2 (An ((Even Better) Lisp) Interpreter (in Python))
  • Pylisp
• Smalltalk
  • The Early History of Smalltalk Alan C. Kay
• The Symbolic Language of Math
  • Part of help with abstract math
• Racket-related
  • Racket itself
    • Regular meeting first Saturday every month at 2PM Eastern time on GatherTown
      • announced in Racket News 54
  • Racket news 49
    • Introductions
      • Teach Yourself Racket For mature programmers with experience in an imperative language
        • Part of Prabhakar Ragde's flâneries
      • How To Design Programs
    • Racketcon https://con.racket-lang.org/
      • Gather
      • talks
        • https://spritelyproject.org/
          • E language
        • http://wiki.c2.com/?TestDrivenDevelopment
        • Schism is an experimental compiler from Scheme to WebAssembly. https://github.com/google/schism
        • https://en.wikipedia.org/wiki/Open_Broadcaster_Software
        • Test-driven development
    • [parendown[(https://docs.racket-lang.org/parendown/index.html)
    • Goblins a quasi-functional distributed object system, mostly following the actor model.
    • Procedural text generation in Racket.
      • the Racket language Jen
        • It seems to be for random text generatio, or, more generally, for any random S-expressions
        • jen
        • jen-doc the documentation for jen
        • jen-lib
          • Refinement Types in Typed Racket
  • 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
• 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

Programming tools

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

Type theory

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

• Efficient Full Higher-Order Unification
  • also on arxiv

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

end programming languages

mathematics

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

Category Theory

• Centre de Recherche en Théorie des Catégories -- Montréal -- Category Theory Research Center

• Category Theory seminar calendar

  • MIT (Applied) Categories Seminar

• Zulipchat

• What is an intuitive view of adjoints? (version 1: category theory)

  • https://www.math3ma.com/blog/what-is-an-adjunction-part-1

  • https://www.math3ma.com/blog/what-is-an-adjunction-part-2

presumably the presenter's website on 2020 09 16: tslil.xyz

New York ?university? category theoory at 7

Here's the zoom link

• Computational category theory Implementing category theory in ML. This one looks interesting, with a

  • manual and
  • programs

• Functorial Wiki

• Motives and What Not

• Baez: Noether's Theorem

• Baez: The Algebra of Grand Unified Theories

• Applied Category Theory 2021 — Adjoint School

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

• The rising sea in applied mathematics

• Calculations with presheaves

  • pdf file

  • ipynb file

• Definitions

• The Algebra of Grand Unified TheoriesJohn C. Baez, John Huerta

• Applied Category Theory Course

• On my favorite conventions for drawing the missing diagrams in Category Theory Eduardo Ochs

• the wiki

• Talks

  • June 25: Remy Tuyeras' talk

    • on zulip

    • paper

• Symmetric Monoidal Categories: a Rosetta Stone

• Graphical Linear Algebra A presentation of linear algebra without all the arrays of numbers. It uses categorical strinf diagrams. But it's not clear that this is a reasonable introduction to linear algebra.

• Type Theory
  • lecture notes on Bishop’s set theory
  • Dependent Type Checking
    • Checking Dependent Types with Normalization by Evaluation: A Tutorial by David Thrane Christiansen. Has a number of links to other techniques.
    • An algorithm for type-checking dependent types Thierry Coquand
• Homotopy Type Theory
  • CATT
    • There was a talk on the HOTT meeting series.
      • https://github.com/ericfinster/catt.io/blob/master/examples/syllepsis.catt
      • https://github.com/ericfinster/catt.io
• Emily Riehl

end Category Theory

Ordinals

• John Baez'z intuitive nonrigorous introduction to ordinals
• Taranovsky
  • Ordinal Notation by Dmytro Taranovsky (to be downloaded by other means that ensure necessary linked files are included in the download.
  • Update on Ordinal Analysis Taranovsky. 2018 11 22 on FOM mailing list
  • Goals of Ordinal Analysis Taranovsky. 2017 08 12 on FOM mailing list
• A Tutorial Overview of Ordinal Notations by Jacques Bailhache (jacques.bailhache@gmail.com) Starts with combinatory logic! Contains computer programs.
• ]Ordinal notation calculator and research tool Paul Budnik on FOM mailing list 2012 08 06
• An overview of the ordinal calculator Paul Budnik
• 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
• 'Recursive notations' for countable admissible level ordinals Paul Budnik on FOM mailing list 2009 10 16

end ordinals

• Big numbers
  • TREE sequence

end mathematics

http://bit.ly/ucmtlsunday

Movies

• Marx Bros. LOVE HAPPY European cut
• Documentary movie Empire of the Ants - BBC Documentary HD
• Koyaanisqatsi (1982)
• Baraka (1992)
• The Revenant https://www.imdb.com/title/tt1663202/
• 365 Days https://en.wikipedia.org/wiki/365Days(2020_film) I probably don't want to watch this
• Eyes Wide Shut
• falaise
  • Should also be on youtube
• 8. The Sumerians - Fall of the First Cities Someone recommended this to me. Seems to be 8th in a history of Sumaria. On Youtube.
• Quibi -- a video streming service with short films
• A Promising Young Woman -- Jane recommended this to me with warnings.
• Shadow and Bone ??? on netflix, rcommended in newspaper

• Streaming video
  • Of course there's netflix, crave, and youtube. But lesser known are:
  • Highball TV "We carefully curate films from Cannes, TIFF, Sundance, and other festivals around the world for you to watch on any screen, any time, anywhere in the world." Allegedly free trial.
• Films to watch
  • Film to watch: Paycheck
  • Film to watch: White Sun of the Desert (Apparently all the astronauts lunched from Russia see this file -- it's a tradition)
• Short online films
  • Slaughterbots
• Driverless car
  • Demo video of driverless taxi service in Shenzhen, China
    • Discussion on Soylent News

TO SEE: ??

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

Podcasts

archaeology podcast network

Other

MUAs for Linux

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

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

CBC war of the worlds

indent paragraphs kepler somnium

• MONSFFA

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

• Wasabi Sushi

• Bison Water Hole camera

• Lisp chat

writing

• writing
  • Plot generator
  • What kind of a plotting method will work best for you and your story?
  • Jot, Bin, Pants
  • Random Plot Generator This is not actually a plot generator, but a writing prompt generator.
  • Brandon Sanderson Guidelines for a Successful Writing Group
  • Walter Mosley advertising a writing master class
  • Writers write
    • create setting like character
    • How To Read Books
    • Things Bookworms Are Still Mad About
    • Cheat Sheets For Writing Body Language
• 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

Nanowrimo

• nano
  • nanowrimo.org
  • Nanaprep 101
    • Nanoprep 101: as a pdf Downloaded to ~/Documents/NaNo-Prep-101-Course-Final.pdf
    • Quiz on plotting style
    • Nano prep 101: imagining it A six-week workshop.
  • Prep course
    • Complete nanoprep guide -- local
    • Complete nanoprep guide -- Amazon cloud
  • options-for-getting-stickers-to-your-participants-this-year
  • about the prepping outlining category
  • nanowrimo forums
  • nanowrimo group forums
  • A musical ablut nanowrimo

Markup

• HTML
  • Quotations
• CSS's flex and grid properties
  • a guide to flexbox
  • css3_flexbox.asp
• Measurements
  • em, px, pt, cm, in. font sizes, rem, vw…

• TikZ
  • TikZ Google Search
  • Overleaf, Online LaTeX Editor
  • LaTeX/PGF/TikZ
  • PGF/TikZ - Wikipedia
  • Template for commutative diagrans

end writing

Computing documents

• Debian Handbook
  • Also go visit aptitude and search for "handbook"

Kobo

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

Physics

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

John Baez said

For instance, I tried searching for "Why is the Higgs mechanism needed?" and I only found news articles that basically said "because it gives particles mass!"

Instead of Google searches it's probably better to get a stock of QFT books like Itzykson and Zuber, Weinberg, and so on. Even if you can't understand all the details, there are some very nice paragraphs here and there.

Easier books, which I find to be full of wisdom, are these:

Kerson Huang, Quarks, Leptons & Gauge Fields, World Scientific, Singapore, 1982.

L. B. Okun, Leptons and Quarks, translated from Russian by V. I. Kisin, North-Holland, 1982. (Huang's book is better on mathematical aspects of gauge theory and topology; Okun's book is better on what we actually observe particles to do.)

T. D. Lee, Particle Physics and Introduction to Field Theory, Harwood, 1981.

end of John baez quote

end Physics

Miscellaneous

Babylon 6

• Springer: Free books from Springer (temporary)

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

• Curry recipes

• Music

  • on youtube

    • [[MMD]Gimme×Gimme / Kagamine Rin Sour Ver x Hatsune Miku Sour Ver PV]](https://www.youtube.com/watch?v=Orb6mvWMyAs&list=RDUFTfJnkYS8A&index=1)

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

  • Tom Lehrer

• Udemy music compsition

• The Windup Girl

• Babylon 6

• Art

  • Fractale -- Katharina Ellador a fractal showcase

• QM

  • Articles

    • Rethinking Determinism

    • Bell's Theorem: The Quantum Venn Diagram Paradox

• The World's Greatest Gallery of Seductive Radishes

• Discovering New Tessellations Using Dynamic Geometry Software

• Japanese

  • The Japan Shop

    • Beri- Beri- Shoshinsha Beginners

    • Learn Japanese with Stories [All 10 Volumes Bundle] [DIGITAL DOWNLOAD]

• epub

  • Lithium Epub reader

  • Posting memes until somone falls in love with you on a facebook page

• Anime and manga

  • Sailor Moon

    • Casablanca Memories

  • Batou shojo The girl who verbally abuses -- Matoko arc

  • Hige wo Soru. Soshite Joshikousei wo Hirou. / Shave the beard and pick up the high school girl is on Crunchyroll. Sounds like a sexploitation title, but it is anything but.

    • ad

  • Wolf's Rain is on funimation. Good anime about a change in the world.

  • Revolutionary Girl Utena

  • Indexes and recommendations found on the webpage https://www.reddit.com/r/anime/comments/5w0g9o/anime_with_lots_of_rain/

    • Flowchart

    • Reddit recommendation wiki

    • Weekly recommendation thread

    • List of legal streams and downloads

    • A useful website where you can enter an anime and see where it's legally streaming

    • List of currently airing anime

    • A useful wiki page with watch orders for many anime.

    • Someone asked about anime with rain

    • anime streaming search engine Canadian edition

  • Blue reflection Ray -- crunchyroll news; should start April 09, 2021

    • its livechart entry

  • Soredemo Sekai wa Utsukushii / The World is Still Beautiful

  • https://en.wikipedia.org/wiki/Assassination_Classroom

• 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

• Comixology ad
  • Good Dog, Cerberus! Vol. 1
  • Tales from the Chthulhuverse #1
• Extre Fabulous Comics

Computing stuff

• Kobol Network Attached Storage

• Raspberry Pi Alternatives

• TLS Deadline
  • Certbot
• unfwics and piglet

• The current state of free music in 2019

• Book Fire with Fire Charles E. Gannon

• Funny Ya know, retirement might be alright after all!

• The Ingenious Way TV Logos Were Made Before Computers

• 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

• kalsarikännit: The feeling when you are going to get drunk home alone in your underwear – with no intention of going out. A drink. At home. In your underwear.

• Wizard of Oz

• pandemic the cult

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

• Posting memes

Miscellaneous

• Pinephone, as reported by Subsentient

  • Subsentient

• Jango Radio metadata

  • from Zirconium's journal

• Mona Lisa vs Monna Lisa

See also: Codex Atlanticus, Codec Leiester, Codex Happer

• Doctor Who Wiki

• Gog

• The Oatmeal

• Zoom encryption proposal

• Forth multiprocessor

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

• Bleach for coronavirus via salt water

• Lifetimes in Rust

• Hot or not

• Sudoku as spectator sport

• Puzzles maybe Thierry recommended

• Systemd ten years later (at about 2020 05 02)

• Edgar Allan Poe on secret writing

• Zork source code is on github

• Bender affadavit

• Visual-Spatial Learning Disorder. Aphantasia.

• Library Genesys 2M

  • Library Genesis Chobits:

• 256-byte demo:

  • 256-byte demo

  • a-jaw-dropping-demo-in-only-256-bytes

HAKMEM hakmem TODO: local copy?

• Barbara Hudson

  • Journal of Barbara Hudson: Why are we still happy?

  • Easter Bunny Tales

• Discussion on constructivism

• Self-hosted video and chat

  • 1.

  • 2.

• Novel to read: The Peace War -- Vernor Vinge

• Learning and testing AI

  • 1.

  • 2.

  • 3.

• Existential Comics

OlderBookmarks

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

Filesystems:

• ZFS

  • What is ZFS? Why are People Crazy About it?

  • Install ZFS on Debian GNU/Linux (2012 04 17)

  • Memory requirements for ZFS

  • The 'Hidden' Cost of Using ZFS for Your Home NAS

• btrfs A btrfs installation introduced a bug few months ago (now maybe a few years ago) that cost Sti his entire file system. Fortunately, he had a backup. Thie is not a glowing recommendation.

• turnkey systems

  • Rockstor This appears to be a complete Centos-based Linux OS for a network-attached storage system. It uses btrfs.

    There's another one called FREENAS, based on FreeBSD and OpenZFS.

  • NILFS

• Text Generation

DRM

• search for ADOM, MAngband, and dwarf fortress found

  • 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

games

• 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
• Unreal Engine 5 Beginner Tutorial - UE5 Starter Course! A 5-hour tutorial, so I'm told. And the description contains lists to individual chapters.

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

• game No Man's Sky
  • Go and Games
• Godot game engine
  • https://godotengine.org/article/godot-3-0-released
  • https://godotengine.org/download/linux
  • http://docs.godotengine.org/en/3.0/getting_started/step_by_step/
  • http://docs.godotengine.org/en/3.0/about/introduction.html

• Steam play proton compatibility list

Shared Worlds

• Orion's Arm Universe Project
• Terran Shift
• Open Game Art
• Pixelles
  • Pixelles game incubator
    • Follow along
• Eve Online Advertisement
  • https://gizmodo.com/11-games-you-can-play-with-the-family-remotely-over-zoo-1845712859
• Game-related
  • Tasha 2019 Cauldon of Everything
  • The Trove
    • Books
      • Flatland corebook

• Crowdsourcing Open Interactive Narrative Matthew Guzdial, Brent Harrison, Boyang Li, Mark O. Ried:

  • The Slack: whatever this is

• RSS feed reader

  • RSSTail is more or less an rss reader: it monitors an rss-feed and if it detects a new entry it'll emit only that new entry. https://vanheusden.com/rsstail/

• Racket

  • pattern matching
    • in macros
      • https://docs.racket-lang.org/reference/stx-patterns.html
  • Beautiful Racket
    • Creating Languages in Racket
    • Make a language in one hour: stacker
    • Follow the grammar: bf
  • Pict3d
    • current source repository
      • as apparently indicated
  • Still massively under development resyntax: Interesting, but not yet ready or stable enough for real use.
  • Tutorial: Using Racket’s FFI

• Gambit

  • Progress on the native back end
    • http://www.iro.umontreal.ca/~gambit/SW2018-talk.pdf
    • https://www.brinckerhoff.org/scheme2018/papers/Huberdeau_Feeley.pdf
    • TODO: get inks to racket at 25.
    • TODO: gt links for the nscent Vulkan binding.

• OpenCog

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

  • https://wiki.opencog.org/w/OpenCog_Development_Roadmap#Introduction

  • https://wiki.opencog.org/w/SatisfactionLink_and_BindLink

  • Pattern matching on graph

• OpenGL

  • Official site
    • Getting Started
  • RenderDoc for debugging graphics code
  • Useful OpenGL guide
  • Hello Triangle
  • Colored Cube
  • OpenGL terrain renderer: rendering the terrain mesh
  • Triangle mesh
    • Wikipedia on triangle mesh
    • Mesh representations and data structures
    • Flipcode site
      • The Half-Edge Data Structure
      • Theory & Practice - Issue 05 - Landscapes

• Constructive Solid Geometry

  • in Racket
    • Ruckus: Procedural CAD For Weirdos
  • Constructive Solid GeometryandProcedural Modeling by StelianCoros. A slide show.
  • Constructive solid geometry on Wikipedia

• Soylent News Book CLub

  • Poll results

  • SoylentNews Book Club is Alive

• Web serving

• Thierry

  • Worth the Candle, currently on chapter 3

• Reading or watching

  • Stein's Gate

  • The Thrilling Adventures of Lovelace and Babbage

  • Lovecraft

    • on Soylent News

    • The H.P. Lovecraft Archive

    • The Lovecraft Reread

      • fungi from yuggoth

• To buy and read?

  • maybe free? Clarkesworld magazine

    • Secret Life of Bots

    • http://www.gutenberg.org/files/18139/18139-h/18139-h.htm -- within chapter 6

    • https://www.fanfiction.net/s/10360716/1/The-Metropolitan-Man -- halfway through chapter 1

  • The Divine Cities Series

  • Kim Stanley Robinson: New York 2140: review

  • 2018 Hugos:

    • https://www.tor.com/2018/08/20/announcing-the-2018-hugo-award-winners/

    • https://www.theverge.com/2018/8/20/17698208/2018-hugo-awards-n-k-jemisin-martha-wells-science-fiction-fantasy-books

    • Soylent News

  • Aready read

    • Science Fiction / Noon in the antilibrary

• Interactove Fiction

  • Interactive Fiction Technology Foundation

    • Forum

    • tools

      • Twine

    • Narrascope an annual conference

  • The Interactive Fiction Archive

    • index

  • Teaching and Learning With Interactive Fiction

• Manga

  • mangacrawler

• System-d free hosting

  • https://devuanhosting.com/en-us/cms/

• Power chip

  • IBM Power Development Cloud

• Fishcam

  • the original one:

• Politics in general

  • [World Socialist Web Site]9http://www.wsws.org/)

• Math

  • Girard's's "Proofs and Types"

  • Bob Coecke, who did Categorical Quantum Mechanics

    • thesis

  • Wikipedia on Categorical Quantum Mechanics

  • Matching Logic Grigore Rosu

• Golang

  • How to Write Go Code

• Security

  • Have I been Pwned?

  • Firefox Monitor

Operating Systems

• Haiku

Copernicanism

• http://tofspot.blogspot.com/2013/10/the-great-ptolemaic-smackdown-table-of.html

• The Truth About Galileo and His Conflict With the Catholic Church
• Vatican Observatory Hosts Conference on Astronomy

other

• Rick Moen's Signature Archive
• Nanogenmo
  • Nanogenmo 2018
    • issues
  • hendrikboom3
  • A Calculus of Motive and Plot
    • Issues
    • Code
  • cpressey
    • Samovar
    • The League of Extraordinarily Dull Gentlemen
    • Voynich
      • code and sample pages
      • ttps://github.com/lizadaly/nanogenmo2014/tree/master/examples
  • novel via prolog chaining -- Grail HUnters in the Jungle
    • Definite Clause Grammar
      • The tracery definite clause grammar
      • [he Prolog DCG Primer]https://www.metalevel.at/prolog/dcg)
    • Someone suggests PicoLisp
  • Brainstorming some ideas
  • Prose description of game engine, using Reiter and Dale book
    • Alternate repo for NaNoGenMo 2017
    • Building natural language generation systems
      • library
      • buy (too expensive) Cambridge University Press. No ebook available.
      • Google books
  • 2013
    • cpressey
      • The Swallows
• Text Generation
  • Generating Narrative Variation in INteractive Fiction. Nick Montfirt. A Dissertation
  • Kitfox games: Writing Modular Characters for System-Driven Games -- a GDC presentation in 2018. https://www.youtube.com/watch?v=qX5-2D8SP5A
  • Emily Short's Interactive Storytelling -- Essays and reviews on narrative in games and new media
    • Mailbag: AI Research on Dialogue and Story Generation
    • Procedural Generation in Game Design -- book review
      • /home/hendrik/farhome/hendrik/Documents/ProceduralContentGenerationInGames/
      • /home/hendrik/farhome/hendrik/Documents/ProceduralContentGenerationInGames/chapter05.pdf
  • Generative Text -- google group --
• Scanning
  • CZUR
    • https://www.czur.com/support
    • indiegogo Aura https://www.indiegogo.com/projects/aura-speeds-simplifies-all-your-scanning-needs/x/5978809?gclid=CjwKCAiArK_fBRABEiwA0gOOc8DD3q_uURQ1Ah1TAO42TV4yy7YLPPys0Ch50RUBpoUniJU5wjnZdBoCGrUQAvD_BwE#/comments
    • https://www.indiegogo.com/projects/aura-speeds-simplifies-all-your-scanning-needs/x/5978809?gclid=CjwKCAiArK_fBRABEiwA0gOOc8DD3q_uURQ1Ah1TAO42TV4yy7YLPPys0Ch50RUBpoUniJU5wjnZdBoCGrUQAvD_BwE#/
    • https://www.indiegogo.com/projects/aura-speeds-simplifies-all-your-scanning-needs/x/5978809?gclid=CjwKCAiArK_fBRABEiwA0gOOc8DD3q_uURQ1Ah1TAO42TV4yy7YLPPys0Ch50RUBpoUniJU5wjnZdBoCGrUQAvD_BwE#/
  • TWAIN
    • https://stackoverflow.com/questions/28218822/twain-support-in-linux-c
  • SANE http://www.sane-project.org/intro.html
  • Viisan https://www.viisan.com/en/product/K21.html?fbclid=IwAR33Qp6gdjIVS4-BP1OpnzEQVU37b1MxGzCIk9NgghEdCVVRqy6iTuFLGFw
• Canadian Centre for Policy Alternatives
  • Are we addicted to debt?
  • The Monitor, November-DEcember 2018
  • CCPA on Wikipedia
  • CCPA on Facebook
• Speech Recognition
  • Speech Recognition For Linux Gets A Little Closer
  • https://unix.stackexchange.com/questions/256138/is-there-any-decent-speech-recognition-software-for-linux? https://unix.stackexchange.com/questions/256138/is-there-any-decent-speech-recognition-software-for-linux
  • Lifewire: The State Of Linux Voice Recognition
  • Wikipedia: Speech recognition software for Linux
  • LinuxLinks:
    • DeepSpeech – TensorFlow implementation of Baidu’s DeepSpeech architecture
    • Julius – large vocabulary continuous speech recognition decoder software
    • Kaldi Speech Recognition Toolkit – Designed for Speech Recognition Researchers
    • Simon – frontend for simon speech recognition solution
    • CMUSphinx – Open Source Speech Recognition System for Mobile and Server Applications
    • deepspeech.pytorch – Implementation of DeepSpeech2 using Baidu Warp-CTC

• math
  • Special Symbols in LaTeX
  • First Steps in Synthetic Computability Theory http://math.andrej.com/data/synthetic.pdf
• Browsers
  • Iridium browser https://iridiumbrowser.de/
    • on soylent news: https://soylentnews.org/comments.pl?sid=28093
  • on ubuntu 16.20, mint 18.1 http://linuxbsdos.com/2017/02/18/how-to-install-iridium-browser-on-ubuntu-16-10-linux-mint-18-1/
  • (Servo)[https://servo.org/] An attempt at writing a browser in Rust. There seems to be cooperation with Mozilla Firefox.
  • Debian package qutebrowser -- one with a minimal GUI.
  • Debian package torbrowser-launcher -- to download an run the tor browser
  • COmponents and packages
    • Debian package python-zope.testbrowser: "Provides an easy-to-use programmable web browser with special focus on testing. It can be used to test or otherwise interact with any web site,
      • Also python3-zope.browser
      • Also python2.6-zope.testbrowser
      • Also python2.7-zope.testbrowser
    • Debian package www-browser -- virtualpackage satisfied by many browsers
    • Debian package ruby-browser -- do some browser detection with Ruby. Allows defining custom rules to define a modern browser.
    • Debian package webext-browserpass -- a Firefox/Chromium extension for pass, a password manager.
• music browser: Debian package gmusicbrowser for libraries with a very large number of songs (over 10.000)
• mastodon
  • on oulipo.social https://oulipo.social/about
  • Giving social networking back to you - the Mastodon project https://joinmastodon.org/ *eol
  • elo conference https://sites.grenadine.uqam.ca/sites/nt2/en/elo2018
  • zackwhalen's conference presentation at ELO18 https://github.com/zachwhalen/nngm-research/blob/master/text.md
• virtual machines
  • qemu https://wiki.debian.org/QEMU
  • Microsoft
    • Get a Windows 10 development environment https://developer.microsoft.com/en-us/windows/downloads/virtual-machines
  • How to Set Up a Windows Virtual Machine in Linux https://www.makeuseof.com/tag/set-windows-virtual-machine-linux/
  • Application containers: the next generation of virtualization https://www.ionos.ca/digitalguide/server/know-how/server-containers-virtualisation-without-emulation/
  • Docker
    • Docker tutorial: Installation and operation of the container platform https://www.ionos.ca/digitalguide/server/configuration/docker-tutorial-installation-and-first-steps/
    • About Docker CE https://docs.docker.com/install/
• Mathjax
  • https://github.com/mathjax/MathJax/blob/master/unpacked/jax/input/TeX/jax.js
• Purism touchpad
  • Ubuntu: Activate multi-touch on Elantech touchpad https://www.evilcodingmonkey.com/2014/01/23/ubuntu-activate-multi-touch-on-elantech/
  • Elantech Touchpad Driver https://www.kernel.org/doc/html/v4.16/input/devices/elantech.html
  • InstallingDebianOnPurismLibrem 13 https://wiki.debian.org/InstallingDebianOn/Purism/Librem%2013
  • Ubuntu bug: Elantech clickpad/touchpad lacks multitouch features. https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1166442
  • [SOLVED] Touchpad recognized as "PS/2 Elantech Touchpad", multitouch - not working on latest Linux distros (Mint,Ubuntu,Fedora,Manjaro) https://www.linuxquestions.org/questions/linux-hardware-18/touchpad-recognized-as-ps-2-elantech-touchpad-multitouch-not-working-on-latest-linux-distros-mint-ubuntu-fedora-manjaro-4175608561/
  • Maybe the simest solution: Elantech touchpad ― enable tap to click in Debian https://www.reddit.com/r/linuxquestions/comments/8nsuxy/elantech_touchpad_enable_tap_to_click_in_debian/
  • SynapticsTouchpad https://wiki.debian.org/SynapticsTouchpad#Read_the_manual

Talks

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

Bereavement

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

Miscellaneous

• Entertainment

  • Achewillow
  • Complaints re pirate sites
    • https://torrentfreak.com/riaa-and-mpa-want-domain-registries-and-njalla-on-us-piracy-watchlist-201110/
    • https://torrentfreak.com/images/Notorious_Markets_Submission_for_2020_final.pdf
    • https://torrentfreak.com/images/MPA_Notorious_Markets_Filing.pdf

• Oregon's Exploding Whale

• Photography

  • infrared and uv converted cameras with filters

    • kolari

      • on Amazon

• JagmeedSingh on twitch

• racket users video meetup

• ray-traced rendering in scheme Dominik Pantůček

music GARNiDELiA 『起死回生』MV

• 3d
  • Blender
• animation
  • Twelve basic principles

Transient, new:

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

Gayle says: Pedro Urvi - Path of the Ranger (8 books +), Iliana Enigma, the Secret of the Golden Harley Merlyn Bella Forrest Chrona trigger (old game)

Mike B.:this is me https://www.mediafire.com/file/mq7uwq32ag4dy7f/Tasha%2525u2019sCauldron_of_Everything%2528HQ%252C_Both_Covers%2529.zip/file https://www.mediafire.com/file/0bj44ew6dep4w17/Player%2527s_Handbook.pdf/file https://www.mediafire.com/file/dfrctd15c620hfd/Xanathar%2527s_Guide_to_Everything.pdf/file

Peter C.:https://ddb.ac/campaigns/join/16327232861135165 Mike B.:https://thetrove.net/Books/

Legend of the Overfiend

Incoming, largely unsorted

• OCR
  • Tesseract
  • OCPmyPDF A python script for invoking Tesseract.
• 14 Of The Saddest Pop-Punk Songs Ever
• Walt Kelly
  • Google search for walt kelly christmas carols
  • Opossum Carols or Walt Kelly's Xmas Postludicrosity contains sheet music for Boston Charlie
  • Walt Kelly's Christmas
    • Whirled of Kelly
      • Whirled of Kelly
    • Too many verses of Deck us all with Boston Charlie. The first two are the traditional ones. Others are variants.
• Poetry
  • The Poetry Archive
    • Wordview A poetry contest in 2020.
  • T.S. Eliot
    • Journey of the Magi -- includes an audio recording,

• The Theory of Quantized Fields. I by Schwingre -- the first of a series of six papers introducing quantum fielld theory. Where to get this? What's on that website is just an abstract, and the rest seems to be paywaled.

• Complete series:

  • The Theory of Quantized Fields. I Julian Schwinger Phys. Rev. 82, 914 (1951)

  • The Theory of Quantized Fields. II Julian Schwinger Phys. Rev. 91, 713 (1953)

  • The Theory of Quantized Fields. III Julian Schwinger Phys. Rev. 91, 728 (1953)

  • The Theory of Quantized Fields. IV Julian Schwinger Phys. Rev. 92, 1283 (1953)

  • The Theory of Quantized Fields. V Julian Schwinger Phys. Rev. 93, 615 (1954)

  • The Theory of Quantized Fields. VI Julian Schwinger Phys. Rev. 94, 1362 (1954)

• Bohemian Logical & Philosophical Café

agda-categories library

Agda (programming language)

The Kugelmass Episode By Woody Allen

Fractal music

https://archive.org/details/future_music/13+Mixed+Bass+Self-Similar.mp3

• Playing Visual Novels with GNU/Linux

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

• video -- glaciers calving

• World Logic Day 2021

  • Peking letures on youtube

  • Complete list Not to useful; includes dates but no ttimes; links to a variety of not-always helpful websites.

  • in Bulgaria

• Mathematical Problems of Non-perturbative Quantum General Relativity -- Abhay Ashtekar Ashtekar explains the state of quantum gravity research at about 1993. An interesting and seemingly comprehensible exposition, though so far I've read it only to page 13, and I can't say I understand all the jargon. Hoping to figure it out as I go on.

• Vermont PBS schedule

Music:

• Youtube music

• youtube folkish

• Attention deficit

  • ADDitude -- a site about attention deficit

    • List of ADDitude webinars

  • Married with ADHD: How Real Couples Make It Work

  • https://www.cablewholesale.com/support/technical_articles/megahertz_madness.php

  • Q: How Do I Prioritize Tasks and Chores on My To-Do List?

  • How to Finish What You Start

• Dependent Type Checking

• [Checking Dependent Types with Normalization by Evaluation: A Tutorial][http://www.davidchristiansen.dk/tutorials/nbe/#%28part._.Bidirectional_.Type_.Checking%29] by David Thrane Christiansen. Has a umber of links to other techniques.

• [An algorithm for type-checking dependent types Thierry Coquand][https://reader.elsevier.com/reader/sd/pii/0167642395000216?token=2E9063E6889B4EA440A8A9C853EFF36A270B0D80E34EC1B08A92C919227413EDF127E0345E1B087FA1F51FBCD8E8E87F]

• Grothendieck

  • EGA translation project
    • in-progress translation

• Philosophy Tube

• Fichub.net

  • Announcement

  • Site

• What is proof that the sum of (1+1/2+1/3+…+1/n)-this series can't be an integer when n>1?

• Monster design

• http://monstermash.zone/?fbclid=IwAR0sGtbAghikDhJeSHdm60-DOVKqKth0is7356Fi8iIVok6pEoWA82DSoM4

• Dungeon mapping software https://www.kickstarter.com/projects/1024146278/dungeon-alchemisttm?utm_medium=referral&utm_source=14.backer.camp&ref=7lylru&gclid=Cj0KCQiA-OeBBhDiARIsADyBcE4c6Ly6o7rPBKSYFTDmdHyz1BJoeOO2J0RrWRsrL6K5MQClT8-n_SUaAutyEALw_wcB

• Natural Type Theory

  • Paper on arxiv

  • Azimuth blog entry

  • N-category cafe entry This one has a lot of interesting comments.

• anime flowchart

• Words and wordplay: The Phrontistery

• ImSLP Petrucci Free Music LibrarySharing the world’s public domain music.

• XKCD Imposter

*NDG resto

• resto café oxford

• TUNES projects
  • Maru
  • MU
• A few links bout the design of social networks:
  • Taiwan Is Crowdsourcing an Everybody-Wins Democracy
  • Discussion on soylent news
  • Presentation of pol.is, the software they used
  • Actual code

Music: I'm your venus

• with rewritten lyrics for Gillette (2015?)

Octonions:

• Wikipedia on octonions
• Octonions and the Standard Model,

• Sudokus

• 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

• Ambient sounds (still need to try these out)

  • https://www.ambient-mixer.com/ This one has short pauses every 5 seconds or so.

  • Blizzard Sounds for Sleep In a Soothing Room | Snowstorm Sounds with Fireplace Crackling And A Cat

  • https://tabletopaudio.com/

• Mathematics Without Apologies

• Zoom

  • Zoom meeting test

  • System requirements for Windows, macOS, and Linux

  • How Much Data Does Zoom Use?

Ad for master classes

• Perimiter Institute

  • Perimiter Institute Courses recordings of lectures in Perimiter Institute courses. *Perimiter Institure Recorded Seminar Archive perimeter institute videos a duckduckgo search

• Covid life

  • Sikhs expand their community kitchens in response to COVID-19 hardships - The Globe and Mail

• epub

  • very informative wikipedia page

  • standard

    • Version 3.0 from archive.org
    • Version 3.2

  • How to repack an epub file from command line

  • .epub eBooks Tutorial Introduction

  • How to create an eBook the open source way; i.e., in LibreOffice

• sheela na gig

• cats in boxes

  • Groundbreaking Cat Science Shows They Love to Sit in Illusory Boxes, Too

• I Don't Want to Go to Toronto Funny.

• matrix Claims to be an open network for secure, decentaralised communication. How open is it?

  • Bridges

    • There's a bridge to IRC

      • Matrix IRC Bridge

      • Using the Matrix IRC Bridge

    • There's a bridge to Facebook Messenger

    • There's a bridge to Discord.

    • There's a bridge to email.

    • There's an android bridge to SMS

    • and to SMS with one phone number only.

• Android

  • Android Debug Bridge (adb)https://developer.android.com/studio/command-line/adb)

  • Chromecast throught desktop chrome

• Computer hardware

  • ethernet

    • interface bit rates

    • Cable categories

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

• Kagerou project

• Procedural text generation

• Extraversion vs Extroversion

Rinabow playing "Pokémon Alpha Sapphire randomizer ランダマイズ改造のポケモンアルファサファイア" on YouTube

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