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.
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.
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
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:
ADOM Roguelikes [Archive] - ADOM & Ultimate ADOM Forums
MAngband (mayne type for Angband?)
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
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/
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.
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
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.
Topos Institute presumably the presenter's website on 2020 09 16: tslil.xyz
Implementing category theory in ML. This one looks interesting, with a
Calculations with presheaves
The Algebra of Grand Unified TheoriesJohn C. Baez, John Huerta
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.
Homotopy Type Theory
Anime and manga
Where to get legitimate digital manga
Links from 2021 otakuthon
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
archaeology podcast network
MUAs for Linux
indent paragraphs kepler somnium
Laurie Anderson - 1983 (A Merman I Should Turn To Be) - Jimi Hendrix Cover
Restarting a stalled project according to Mary Robenette Kowal, transcript:
Seventh Sanctum lots of random tables and generators.
Darkest of Nights More generators. Also some games.
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
[the Waifu catalog]
Why Writers Should Know About Monsters Before They Write a Word Includes a sectin on the difference between devils and demons.
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.
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.
[[MMD]Gimme×Gimme / Kagamine Rin Sour Ver x Hatsune Miku Sour Ver PV]](https://www.youtube.com/watch?v=Orb6mvWMyAs&list=RDUFTfJnkYS8A&index=1)
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
NENA | 99 Luftballons [Offizielles Musikvideo] (1983) Not the video with the nuclear explosions
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
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
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/
See also: Codex Atlanticus, Codec Leiester, Codex Happer
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.
search for ADOM, MAngband, and dwarf fortress found
Septermber 18, 2018 is DRM-free day.
RSS feed reader
Constructive Solid Geometry
Soylent News Book CLub
Reading or watching
To buy and read?
System-d free hosting
Politics in general
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
Natural Type Theory
Words and wordplay: The Phrontistery
XKCD Imposter *NDG resto
A few links bout the design of social networks:
[Ad for master classes](https://youtu.be/Xb0PYr9EgPk Ad for master classes)
cats in boxes
matrix Claims to be an open network for secure, decentaralised communication. How open is it?
Procedural text generation
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) 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
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
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-managed Reserved Domains reserved domain names
The Girl Who Played Go by Shan Sa, Adriana Hunter (Translator)
Combatting revisionist history A history of systemd claims.
$15 Drug Gets COVID Patients Off Oxygen Support in Under Week -- Study Any chance that this actually works/
The Wonderful Century A review of the progress in the 1800's, made in 1898.
https://commonjoe.gitlab.io/git-clarification/index.html A biography of Hugh Hefner
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.
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.
Mister Invincible Ad for a comic book
http://www.magnetic-press.com/mr-invincible/ How to make type theories for languages
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.
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.
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.
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.
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.
Rudy Rucker's Infinity and the Mind on Rucker's website
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)
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
News in Slow Frnch
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.
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