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.
Online Seminars
end of online seminars
Devuan
Dotfiles
Covid
end Covid
Programming languages
Lisps
- Lisps (see alse Racket-relateed)
- Lispy
- Pylisp
- Rhombus -- a new syntax for a new scheme-like language
- Brainstoring A site where ideas for the new language are being proposd and discussed. Anyone can contribute; you just need a github account, which can be free.
- Smalltalk
- The Symbolic Language of Math
- Racket-related
- Racket itself
- Regular meeting first Saturday every month at 2PM Eastern time on GatherTown
- Racket news 49
- Introductions
- Teach Yourself Racket For mature programmers with experience in an imperative language
- How To Design Programs
- Racketcon https://con.racket-lang.org/
- Gather
- talks
- https://spritelyproject.org/
- 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
- Related Languages
- https://github.com/racket/rhombus-brainstorming
- Dracula, a Racket tool for verification of Racket programs (or is it common lisp?)
Lisp Meetings
Other
- Rust
- I was trying to figure out how to represent bitstrings of length 9 and be able to do the usual bitwise Boolean operations on them. the answer turned out to be to use integers, as in C. It wasn't easy to find the details on the net. Of course, now it is easy:
- nim-langallegedly a fast secure language
- Type-theoretic languages
Coding examples
Type theory
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
end programming languages
mathematics
- Video: Visualizing quaternions (4d numbers) with stereographic projection
- Quotation
- Das Aufsuchen der Invarianten ist eine sch\"{o}ne, ja sogar die sch\"{o}nste Aufgabe der Mathematik, aber noch mehr, es ist sogar ihre einzige Aufgabe. Und +auch damit ist es noch nicht genug:\ es ist einzige Aufgaben aller +Wissenschaften \"{u}berhaupt.
- Kronecker, 1891. Quoted from the text of Kronecker's last lecture
- 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').
Category Theory
presumably the presenter's website on 2020 09 16: tslil.xyz
Implementing category theory in ML.
This one looks interesting, with a
end Category Theory
Ordinals
end ordinals
end mathematics
Unitarian Church of Montreal
Movies
- My Neighbour Totoro. My all-time favorite movie.
- 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
- 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 Videos
TO SEE: ??
The Twelve Kingdoms, Moriboto, Claymore, most Ghibli films
Urotsukidoj
Podcasts
archaeology podcast network
Other
MUAs for Linux
https://www.poetryfoundation.org/poems/46560/dulce-et-decorum-est
CBC war of the worlds
indent paragraphs
kepler somnium
Laurie Anderson - 1983 (A Merman I Should Turn To Be) - Jimi Hendrix Cover
writing
end writing
Kobo
Physics
John Baez said
For instance, I tried searching for "Why is the Higgs mechanism needed?" and I only found news articles that basically said "because it gives particles mass!"
Instead of Google searches it's probably better to get a stock of QFT books like Itzykson and Zuber, Weinberg, and so on. Even if you can't understand all the details, there are some very nice paragraphs here and there.
Easier books, which I find to be full of wisdom, are these:
Kerson Huang, Quarks, Leptons & Gauge Fields, World Scientific, Singapore, 1982.
L. B. Okun, Leptons and Quarks, translated from Russian by V. I. Kisin, North-Holland, 1982. (Huang's book is better on mathematical aspects of gauge theory and topology; Okun's book is better on what we actually observe particles to do.)
T. D. Lee, Particle Physics and Introduction to Field Theory, Harwood, 1981.
end of John baez quote
end Physics
Music
See also Virtual coffee shops
End music
Miscellaneous
Babylon 6
https://soylentnews.org/comments.pl?sid=37279
Computing documents
Globe and Mail Canada
https://www.theglobeandmail.com/canada/
Miscellaneous
See also: Codex Atlanticus, Codec Leiester, Codex Happer
OlderBookmarks
https://www.facebook.com/PatriciaTallmanPage/videos/627560674800549/
Filesystems:
- ZFS
- 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?)
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
- 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
Shared Worlds
- Orion's Arm Universe Project
- Terran Shift
- Open Game Art
- Pixelles
- Eve Online Advertisement
- https://gizmodo.com/11-games-you-can-play-with-the-family-remotely-over-zoo-1845712859
- Game-related
- Crowdsourcing Open Interactive Narrative Matthew Guzdial, Brent Harrison, Boyang Li, Mark O. Ried:
- 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
- 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
- Constructive Solid Geometry
- Soylent News Book CLub
- Web serving
- Thierry
- Reading or watching
- To buy and read?
- Interactove Fiction
- Manga
- System-d free hosting
- https://devuanhosting.com/en-us/cms/
- Power chip
- Fishcam
- Politics in general
- [World Socialist Web Site]9http://www.wsws.org/)
- Math
- Golang
- Security
Operating Systems
Copernicanism
other
- Rick Moen's Signature Archive
- Nanogenmo
- Text Generation
- Scanning
- CZUR
- https://www.czur.com/support
- indiegogo Aura https://www.indiegogo.com/projects/aura-speeds-simplifies-all-your-scanning-needs/x/5978809?gclid=CjwKCAiArK_fBRABEiwA0gOOc8DD3q_uURQ1Ah1TAO42TV4yy7YLPPys0Ch50RUBpoUniJU5wjnZdBoCGrUQAvD_BwE#/comments
- https://www.indiegogo.com/projects/aura-speeds-simplifies-all-your-scanning-needs/x/5978809?gclid=CjwKCAiArK_fBRABEiwA0gOOc8DD3q_uURQ1Ah1TAO42TV4yy7YLPPys0Ch50RUBpoUniJU5wjnZdBoCGrUQAvD_BwE#/
- https://www.indiegogo.com/projects/aura-speeds-simplifies-all-your-scanning-needs/x/5978809?gclid=CjwKCAiArK_fBRABEiwA0gOOc8DD3q_uURQ1Ah1TAO42TV4yy7YLPPys0Ch50RUBpoUniJU5wjnZdBoCGrUQAvD_BwE#/
- TWAIN
- https://stackoverflow.com/questions/28218822/twain-support-in-linux-c
- SANE http://www.sane-project.org/intro.html
- Viisan
https://www.viisan.com/en/product/K21.html?fbclid=IwAR33Qp6gdjIVS4-BP1OpnzEQVU37b1MxGzCIk9NgghEdCVVRqy6iTuFLGFw
Other
- math
- Browsers
- Iridium browser https://iridiumbrowser.de/
- on soylent news: https://soylentnews.org/comments.pl?sid=28093
- on ubuntu 16.20, mint 18.1 http://linuxbsdos.com/2017/02/18/how-to-install-iridium-browser-on-ubuntu-16-10-linux-mint-18-1/
- (Servo)[https://servo.org/] An attempt at writing a browser in Rust. There seems to be cooperation with Mozilla Firefox.
- Debian package qutebrowser -- one with a minimal GUI.
- Debian package torbrowser-launcher -- to download an run the tor browser
- COmponents and packages
- Debian package python-zope.testbrowser: "Provides an easy-to-use programmable web browser with special focus on testing. It can be used to test or otherwise interact with any web site,
- Also python3-zope.browser
- Also python2.6-zope.testbrowser
- Also python2.7-zope.testbrowser
- Debian package www-browser -- virtualpackage satisfied by many browsers
- Debian package ruby-browser -- do some browser detection with Ruby. Allows defining custom rules to define a modern browser.
- Debian package webext-browserpass -- a Firefox/Chromium extension for pass, a password manager.
- mastodon
- on oulipo.social https://oulipo.social/about
- Giving social networking back to you - the Mastodon project https://joinmastodon.org/
*eol
- elo conference https://sites.grenadine.uqam.ca/sites/nt2/en/elo2018
- zackwhalen's conference presentation at ELO18 https://github.com/zachwhalen/nngm-research/blob/master/text.md
- virtual machines
- qemu https://wiki.debian.org/QEMU
- Microsoft
- Get a Windows 10 development environment https://developer.microsoft.com/en-us/windows/downloads/virtual-machines
- How to Set Up a Windows Virtual Machine in Linux https://www.makeuseof.com/tag/set-windows-virtual-machine-linux/
- Application containers: the next generation of virtualization https://www.ionos.ca/digitalguide/server/know-how/server-containers-virtualisation-without-emulation/
- Docker
- Docker tutorial: Installation and operation of the container platform https://www.ionos.ca/digitalguide/server/configuration/docker-tutorial-installation-and-first-steps/
- About Docker CE https://docs.docker.com/install/
- Mathjax
- https://github.com/mathjax/MathJax/blob/master/unpacked/jax/input/TeX/jax.js
- Purism touchpad
- Ubuntu: Activate multi-touch on Elantech touchpad https://www.evilcodingmonkey.com/2014/01/23/ubuntu-activate-multi-touch-on-elantech/
- Elantech Touchpad Driver https://www.kernel.org/doc/html/v4.16/input/devices/elantech.html
- InstallingDebianOnPurismLibrem 13 https://wiki.debian.org/InstallingDebianOn/Purism/Librem%2013
- Ubuntu bug: Elantech clickpad/touchpad lacks multitouch features. https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1166442
- [SOLVED] Touchpad recognized as "PS/2 Elantech Touchpad", multitouch - not working on latest Linux distros (Mint,Ubuntu,Fedora,Manjaro) https://www.linuxquestions.org/questions/linux-hardware-18/touchpad-recognized-as-ps-2-elantech-touchpad-multitouch-not-working-on-latest-linux-distros-mint-ubuntu-fedora-manjaro-4175608561/
- Maybe the simest solution: Elantech touchpad ― enable tap to click in Debian https://www.reddit.com/r/linuxquestions/comments/8nsuxy/elantech_touchpad_enable_tap_to_click_in_debian/
- SynapticsTouchpad https://wiki.debian.org/SynapticsTouchpad#Read_the_manual
Talks
Bereavement
- bereavement links
- https://www.facebook.com/refugeingrief/
- https://refugeingrief.com/
Miscellaneous
- Entertainment
- Achewillow
- Complaints re pirate sites
- https://torrentfreak.com/riaa-and-mpa-want-domain-registries-and-njalla-on-us-piracy-watchlist-201110/
- https://torrentfreak.com/images/Notorious_Markets_Submission_for_2020_final.pdf
- https://torrentfreak.com/images/MPA_Notorious_Markets_Filing.pdf
- Short videos
- Photography
- infrared and uv converted cameras with filters
- JagmeedSingh on twitch
- racket users video meetup
- ray-traced rendering in scheme Dominik Pantůček
- 3d
- animation
Transient, new:
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
- Poetry
- 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
- Playing Visual Novels with GNU/Linux
- Pijul A distributed revision control system with the clean theory of darcs, but efficient,
- World Logic Day 2021
- Mathematical Problems of Non-perturbative Quantum General Relativity -- Abhay Ashtekar Ashtekar explains the state of quantum gravity research at about 1993. An interesting and seemingly comprehensible exposition, though so far I've read it only to page 13, and I can't say I understand all the jargon. Hoping to figure it out as I go on.
- Vermont PBS schedule
- Attention deficit
- 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
- 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?
- 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
- Words and wordplay: The Phrontistery
- XKCD Imposter
*NDG resto
- TUNES projects
- A few links bout the design of social networks:
Octonions:
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.
Atlas Petabyte Data Store
Olympics 2020/1
more misc.
Notes on the Kevin Buzzard's talk on Lean at the topos institute.
unimath -- Vladimir Voevodsky's library of univalent math. Very incomplete as ordinary mathematics goes, but contains lots ad lots of category theory
What is the Langlands program?
Patrick Massot's sphere eversion project
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
Some memes
*chindogu
