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.
Homotopy Type Theory Electronic Seminar Talks Home page for this seminar. Haslinks to talks.
NF
Bohemian Logical & Philosophical Café
OWLS online Worldwide Seminar on Logic and semantics
The Topos Institute Colloquium Usually on Thursdays
Valeria de Paiva had a talk about using category theoory to explicate all the issues with contexts and variable capture
[Lisp Meetings](#Lisp Meetings)
Breakthrough Infection Study Compares Decline in COVID Vaccine Effectiveness: Pfizer v Moderna v J&J
CoVaRR-Net - Quickly assessing how SARS-CoV-2 variants ...
Game development resources Game development tools in Racket.
Ludii
Game Engines
Game Jams
Interactive Fiction
tools for Interactive Fiction
articles abot tools
inklewriter A tool t write ink code
lectrote an interpreter for several interactive adventure object codes in electron or a Chrome browser.
Adrift Completely GUI-driven development. Free, but accepts donations
Inform
Communities
Interactive Fictin Technology foundation
Interactive Fiction
Game Sites
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."
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
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
Racket is an implementation of Scheme, a Lisp derivative. Well, not just an implementation. It differs in a number of ways, notably in preferring immutable data structures (but nor requiring them), in its extensive set of libraries, some of which actually implement new compatible languages.
Racket-related
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
Fluxus A language for live-coding; i.e., you write your program in publuc, before an audience, with the results on a screen everybody can watch. The language is of course designed to make this easy, enabling fast interaction to fix errors. Ot's progrmming! Of course there are bugs!
Graphite -- A language for data visualisation.
Lean for the Curious Mathematician 2022 Jul 11 - 15, 2022 An in-person conference teaching Lean
A Lambda Term Representation Inspired by Linear Ordered Logic
Higher-order unification
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions
Fast Inverse Square Root — A Quake III Algorithm
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)
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
Notations
What is an intuitive view of adjoints? (version 1: category theory)
Topos Institute presumably the presenter's website on 2020 09 16: tslil.xyz
Computational category theory 1 Simplicial Sets - Hiro Lee Tanaka
Implementing category theory in ML. This one looks interesting, with a
Values and Inclusivity in the Applied CategoryTheory Community (pdf)
Calculations with presheaves
The Algebra of Grand Unified TheoriesJohn C. Baez, John Huerta
On my favorite conventions for drawing the missing diagrams in Category Theory Eduardo Ochs
Talks
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
Homotopy Type Theory
Anime and manga
Where to get legitimate digital manga
Comics online
Comixology ad
Links from 2021 otakuthon
A history of Japanese striptease
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
TO SEE: ??
The Twelve Kingdoms, Moriboto, Claymore, most Ghibli films Urotsukidoj
indent paragraphs kepler somnium
Laurie Anderson - 1983 (A Merman I Should Turn To Be) - Jimi Hendrix Cover
writing
Restarting a stalled project according to Mary Robenette Kowal, transcript:
“The ABC’s of How NOT to Write Speculative Fiction” by Susan MacGregor
https://www.w3.org/wiki/Common_HTML_entities_used_for_typography
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?
Plot generators
10 Fantasy Books with Unique Magic Systems (that Can't Currently Be Adapted)
Writers write
Writing Excuses 15-minute podcasts. Or videos?
Gizmodo Writer Experiments Blocking Amazon, Facebook, Google, Microsoft, and Apple From Her Life https://soylentnews.org/article.pl?sid=19/02/11/0623210
Comics
SYmbolism
[the Waifu catalog]
Alleged tools
Why Writers Should Know About Monsters Before They Write a Word Includes a sectin on the difference between devils and demons.
nano
Judy Reeves’s 10 Daily Habits That Make a (Good) Writer Some actual good advice, whether yo uwrite or not.
How to export annotations. It seems like this information should be available from kobo itself.
[Constructor Theory[(https://www.youtube.com/watch?v=8DH2xwIYuT0)
To view sometime
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.
The Most COMPLEX Pop Song of All Time Never Gonna Let Yo Go. Persented by rick beato.
Horses -- Patti Smith Patti Smiths' debut album.
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
SYML
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)
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. )
Mary Hopkin Those were the days lyrics GPITRAL2 Music for Learning English with subtitles
The Shangri- Las - Remember ( Walking in the Sand) - Long stereo mix
NENA | 99 Luftballons [Offizielles Musikvideo] (1983) Not the video with the nuclear explosions
Commentary
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
70's Oldies but Goodies - 70s Greatest Hits - Best Oldies Songs Of 1970s - Greatest 70s Music
Fractal music
ImSLP Petrucci Free Music LibrarySharing the world’s public domain music.
I'm your venus
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.
See also Virtual coffee shops
Books
Art
QM
Discovering New Tessellations Using Dynamic Geometry Software
Japanese
epub
Funny
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.
Globe and Mail Canada https://www.theglobeandmail.com/canada/
Babylon 5
See also: Codex Atlanticus, Codec Leiester, Codex Happer
https://www.facebook.com/PatriciaTallmanPage/videos/627560674800549/
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
search for ADOM, MAngband, and dwarf fortress found
Septermber 18, 2018 is DRM-free day.
RSS feed reader
Racket
Gambit
OpenCog
OpenGL
Constructive Solid Geometry
Soylent News Book CLub
Web Serving
Thierry
Reading or watching
To buy and read?
Aready read
Interactive Fiction
Manga
System-d free hosting
Power chip
Fishcam
Politics in general
Math
Golang
Security
Other
Speech Recognition
math
Browsers
mastodon
virtual machines
Mathjax
Purism touchpad
Gayle says: Pedro Urvi - Path of the Ranger (8 books +), Iliana Enigma, the Secret of the Golden Harley Merlyn Bella Forrest Chrona trigger (old game)
Mike B.:this is me https://www.mediafire.com/file/mq7uwq32ag4dy7f/Tasha%2525u2019s_Cauldron_of_Everything_%2528HQ%252C_Both_Covers%2529.zip/file https://www.mediafire.com/file/0bj44ew6dep4w17/Player%2527s_Handbook.pdf/file https://www.mediafire.com/file/dfrctd15c620hfd/Xanathar%2527s_Guide_to_Everything.pdf/file
Peter C.:https://ddb.ac/campaigns/join/16327232861135165 Mike B.:https://thetrove.net/Books/
Legend of the Overfiend
ADDitude -- a site about attention deficit
Dependent Type Checking
Grothendieck
What is proof that the sum of (1+1/2+1/3+…+1/n)-this series can't be an integer when n>1?
Natural Type Theory
Words and wordplay: The Phrontistery
XKCD Imposter *NDG resto
TUNES projects
A few links bout the design of social networks:
Octonions:
ambience:
Zoom
[Ad for master classes](https://youtu.be/Xb0PYr9EgPk Ad for master classes)
Covid life
epub
cats in boxes
matrix Claims to be an open network for secure, decentaralised communication. How open is it?
Android
Computer hardware
Procedural text generation
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
Feature structure grammars
Implementing Typed Feature Structure Grammars book by Ann Copestake
Google search for typed feature structure grammar
Feature structure on wikipedia
Deep Linguistic Processing with HPSG (DELPH-IN) -- LkbInstallation
Deep Linguistic Processing with HPSG (DELPH-IN) front page: DELPH-IN Overview
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
more misc.
Floods
Alternative video and the like
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](Langlands program)?
Patrick Massot's sphere eversion project
condensed mathematics
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
Contemporary architecture does not merely reflect finance – it is finance
The Girl Who Played Go by Shan Sa, Adriana Hunter (Translator)
Combatting revisionist history A history of systemd claims.
emacs relatives
emacs
$15 Drug Gets COVID Patients Off Oxygen Support in Under Week -- Study Any chance that this actually works/
Samsung Kills the Cameras on the Galaxy Z Fold 3 If You Unlock the Bootloader
The Wonderful Century A review of the progress in the 1800's, made in 1898.
Git
https://commonjoe.gitlab.io/git-clarification/index.html A biography of Hugh Hefner
Windows 11 Is Making It Absurdly Difficult to Change Browsers
Malazan Book of the Fallen A huge fantasy weries, complexly world-build, which I should try reading sometime.
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
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.
Mister Invincible Ad for a comic book
http://www.magnetic-press.com/mr-invincible/ How to make type theories for languages
Reverse Engineering the source code of the BioNTech/Pfizer SARS-CoV-2 Vaccine
How writers are turning H.P. Lovecraft's racist work on its head
https://soylentnews.org/article.pl?sid=21/01/13/1546243 a Soylent News link
pijul a new distributed versin control system.
The Azimuth Project Index to John Baez's site
Parednown A Racket extension that reduces parenthese to a more manageable level.
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
Canada Post support page Seems there should be a welcome page, but they bypassed it somehow when I followed th elink here.
James Bond: The evolution of an iconic franchise—and the coolest secret agent of all time A history of Bond films.
David Card and Minimum Wage
https://flashforest.ca/ Using drones to plant forests.
Picturing Our Future Pictures of anticipated climate change fooding.
Workouts
Interfacing linux to Facbook Messemger
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.
Recovering Our Lost Free Will Online: Tools and Techniques That Are Available Now An essay.
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
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.
Generative Art
Rudy Rucker's Infinity and the Mind on Rucker's website
Web Accessibility
NightWatch in 717 billion pixels
A real-life snow globe One family's first night on the snowy streets of Toronto. (labelled as sponsor content)
History
Anthem of Ukraine sang in English Language
What did Nietzsche mean by monsters and the abyss?
Oil gas fracking radioactivity
As a mathematician, what notational convenience were you most excited to find? on Quora
Flatland explained by Car Sagan
Sketchtogether Is this the right site? For a shared online whiteboard?
Ten Heartbreakingly Brilliant Works of Animation according to Dan Persons; posted on Tor
Greenpeace petitino to support right-to-repair
The worst programming language ever - Mark Rendle - NDC Oslo 2021 I should watch this sometime.
Site Hosting
The Magnus Archives a weekly horror fiction anthology podcast (I haven't tried it -- something I should do sometime)
Reptilian humanoid Entertaining video about video artifacts
U.S. Supreme Court on abortion