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 you see anything here that shouldn't be public.
I've found that for zoom. firefox works for video; chromium for audio. So I use both together. (as of 2022 11 24)
To get a link to a particular facebook post, click on the date it was posted.
Lost something? Search through 91.7 million files from the ’80s, ’90s, and 2000s article about this search tool
Our 7 best Private searh engine recommendations (recommended by avoidthehack)
Specialized search engines. I no longer know know where I got thi list.
[Ungoogled Chromium]
Code Writing Code: An Introduction to the Theory and Practice of Modern Metaprogramming
Revenge of the Nerds A long essay about why Lisp.
Lisps (see alse Racket-relateed)
Embedding Hygiene-Compatible Macros in an Unhygienic Macro System
Smalltalk
Gambit
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.
Realm of Racket (I have not read this book)
Fear of Macros by Greg Hendershott
Racket
Pattern matching
Pict and Metapict
Pict3d
Still massively under development resyntax: Interesting, but not yet ready or stable enough for real use.
Parendown A Racket extension that reduces parentheses to a more manageable level.
TODO: get links to racket at 25.
TODO: gt links for the nscent Vulkan binding.
Racket Libraries
creating packages
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
Jai (TODO: What is this?)
Futhark Futhark is a small programming language designed to be compiled to efficient parallel code. It is a statically typed, data-parallel, and purely functional array language in the ML family, and comes with a heavily optimising ahead-of-time compiler that presently generates either GPU code via CUDA and OpenCL, or multi-threaded CPU code.
Carbon yet another C++ replacement
Game development resources Game development tools in Racket.
Ludii
Game Engines
Noise-based random number generation
Game Jams
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/
First Steps in Synthetic Computability Theory Lovely paper explaining computability using constructivism instead of Godel numbers.
A Beginner's Guide to Modern Set Theory by Martin Dowd
Some arguments in Favor of the Continuum Hypothesis (this is a draft, will be updated) by Martin Dowd
(Why the number 0 was banned for 1500 years)(https://youtu.be/ndmwB8F2kxA)
When someone says “I’m good at Math”, what are things that you would expect them to be good at?
Big numbers
ZenoTheRogue Videos about noneuclidean geometries
{Near a Raven](http://www.cadaeic.net/naraven.htm) Pi coded as a long poem
When = isn't quite equal An simple exposition on building new thngs from old.
zbMATH an open index of mathematical literature.
Varieties of Mathematical Understaning (also downloaded locally) "Conceptual mathematics as a technology designed to extend out cognitive reach"
Video: Visualizing quaternions (4d numbers) with stereographic projection
Quotation
Why We Might Use Different Numbers in the Future A description of number notations used in the past. This includes mentions of other number bases than 10. It seems 10, 12, 20, and 60 have all been used historically. Technologically, we've also used 2, 8, and 16. The symbols the video used for 10 and 11 in duodecimal are not the ones historically promoted, which were a backwards 3 for 11, called elf, and an old-Emgnlsh thorn for ten. (I'm not sure I remember, but they may have called it 'dec').
The Church numberss in NF set theory Intuitionistic NF Set Theory
As a mathematician, what notational convenience were you most excited to find? on Quora
Flatland explained by Car Sagan
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
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)
Topos Institute Book Club
Seven Sketches in Compositionality:An Invitation to Applied Category Theory
27 Unhelpful Facts About Category Theory by Oliver Lugg
Bob Coecke, who did Categorical Quantum Mechanics
[Matching Logic Grigore Rosu](https://arxiv.org/abs/1705.06312 for reasoning about programs)
Categories and Sets
Categories and Sets
GENERAL THEORY OF NATURAL EQUIVALENCESSAMUEL EILENBERG AND SAUNDERS MacLANE
AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
La Th ́eorie des Ensembles et la Th ́eorie des Cat ́egories: Jean-Yves B ́eziau∗
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
Catlab documentation pixel arrays are a fully discretized approach to numerically solving systems of nonlinear equations
Grothendieck
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.
Sketches of an Elephant Material related to the book Sketched of an Elephant, by Peter Johnstone., on topos theory
The rising sea in applied mathematics
Type Theory
Higher-order unification
Natural Type Theory
[univalent foundations no comment])https://mathematicswithoutapologies.wordpress.com/2015/05/13/univalent-foundations-no-comment/) a posting on Michael Harris's blog.
Homotopy Type Theory
Quantum Theory, Groups and Representations: An Introduction Revised and expanded version, under construction
See also:
Articles
Soylent News Posts
Mathematicians Prove 2D Version of Quantum Gravity Really Works
The Mystery at the Heart of Physics That Only Math Can Solve
Mathematicians Explore Mirror Link Between Two Geometric Worlds
Intrinsic mirror symmetry and punctured Gromov-Witten invariants Mark Gross, Bernd Siebert. A mirror construction in Calabi-Yau manifolds.
A Fight to Fix Geometry’s Foundations About symplectic manifolds. Has links to published papers. A lengthy presentation about mathematicians arguing whether their results are correct.
Mathematicians Prove 2D Version of Quantum Gravity Really Works
Physicists Uncover Geometric ‘Theory Space’ About conformal field theories.
[
Mathematical Problems of Non-perturbative Quantum General Relativity -- Abhay Ashtekar Ashtekar explains the state of quantum gravity research at about 1993. An interesting and seemingly comprehensible exposition, though so far I've read it only to page 13, and I can't say I understand all the jargon. Hoping to figure it out as I go on.
Dirac's Belt Trick: Why a 2π rotation twists space but a 4π rotation fixes it
Dirac's belt trick, Topology, and Spin ½ particles An excellent and very clear exposition of the mathematics of electron spin. Much of it is done via animated pictures that get to the heart of the matter. Heavy mathematics clearly pictured. There's a lot of reconceptualization going on, though, and it may take multiple viewings to put it all together.
The Theory of Quantized Fields. I by Schwinger -- the first of a series of six papers originally introducing quantum fielld theory. Where to get this? What's on that website is just an abstract, and the rest seems to be paywaled.
Octonions:
I haven't yet found all these videos.
Quantum Computing
[Perimiter Institute](https://perimetist](https://www.youtube.com/watch?v=dw1sekg6SUY)
The Rindler Horizon by Greg Egan
Why Magnetic Monopoles SHOULD Exist "Don't underestimate the power of the obsessed physicist. The great Paul Dirac has a habit of discovering particles just by starting at the math."
The Physicist Who Slayed Gravity’s Ghosts An interview with Claudia de Rham about the theory that gravitons might have mass in a universe with extra dimensinos.
https://bigthink.com/starts-with-a-bang/are-we-approaching-quantum-gravity-all-wrong/
linear quantum theory and its possible nonlinear generalisations There should be a source other than academia.edu. This one seems to be mostly blankk pages.
about Feynman's big mistake
Relativity
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.
Madoka
Sailor Moon
Spice and Wolf on Funimation, with commercials
Batou shojo The girl who verbally abuses -- Matoko arc
Hige wo Soru. Soshite Joshikousei wo Hirou. / Shave the beard and pick up the high school girl is on Crunchyroll. Sounds like a sexploitation title, but it is anything but.
Wolf's Rain is on funimation. Good anime about a change in the world.
Indexes and recommendations found on the webpage https://www.reddit.com/r/anime/comments/5w0g9o/anime_with_lots_of_rain/
Blue reflection Ray -- crunchyroll news; should start April 09, 2021
https://en.wikipedia.org/wiki/Assassination_Classroom
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
Comics Kingdom a site with many daily stripc -- but not the ones i particularly liked. Except Bizarro is there.
What are the best streaming services in Canada? Comparing Netflix, Amazon Prime Video, Apple TV+ and more Published December 15, 2021; Updated April 20, 2022
My Neighbour Totoro. My all-time favorite movie.
Dune
Documentary movie Empire of the Ants - BBC Documentary HD
Koyaanisqatsi (1982)
Baraka (1992)
The Revenant https://www.imdb.com/title/tt1663202/
365 Days https://en.wikipedia.org/wiki/365_Days_(2020_film) I probably don't want to watch this
Eyes Wide Shut
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
Films to watch
Reviews
Babylon 5
TO SEE: ??
The Twelve Kingdoms, Moriboto, Claymore, most Ghibli films Urotsukidoj
Fractal Forums
Maps
Chris Thomasson
Xaos A fractal program that does continuous interactive zooming.
Disco Diffusion
autolisp in a computer programming page contains some lispish stuff
Generative Art
Krita
https://docs.google.com/spreadsheets/d/1FXJ-tLcdO5pnENeQXqU62kQT6hKap92gv8EvelxDiEk/edit#gid=0
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
Writers Write
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.
Anne's Writing Nook
nano2022
nano
Judy Reeves’s 10 Daily Habits That Make a (Good) Writer Some actual good advice, whether yo uwrite or not.
for editing Knuth's TEX
LyX on wikipedia
TEXmacs, which is neither TEX not emacs
How to export annotations. It seems like this information should be available from kobo itself.
Bob Dylan - I Dreamed I Saw St. Augustine (Take 2 - Alternate Version)
Proof Geometric Construction Can Solve All Love Affairs / manbo-p
Horses -- Patti Smith Patti Smiths' debut album.
on youtube
[MMD]Gimme×Gimme / Kagamine Rin Sour Ver x Hatsune Miku Sour Ver PV
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)
The Moody Blues - Nights In White Satin (1968)
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.
[It's the rattlesnake I fear]((https://www.youtube.com/watch?v=_OAR6RKTAz4) Laurie Anderson - 1983 (A Merman I Should Turn To Be) - Jimi Hendrix Cover
See also Virtual coffee shops
indent paragraphs kepler somnium
To maybe read:
(The Egg)[http://www.galactanet.com/oneoff/theegg_mod.html] Short story by Andy Weir.
Audio books
epub
Soylent News Book CLub
Web Serving
Thierry
Reading or watching
To buy and read?
Aready read
Art
Discovering New Tessellations Using Dynamic Geometry Software
Globe and Mail Canada https://www.theglobeandmail.com/canada/
See also: Codex Atlanticus, Codec Leiester, Codex Happer
Soylent News Community Roundtable -- contains a comment on the soylent news API
Systemd
256-byte demo:
HAKMEM
Barbara Hudson
Learning and testing AI
search for ADOM, MAngband, and dwarf fortress found
RSS feed reader
OpenCog
Nanogenmo
Text Generation
Scanning
Speech Recognition
Browsers
Allegedly Social Media
elo
virtual machines
Mathjax
Purism touchpad
Julia language https://www.algebraicjulia.org/ https://julialang.org/ google search for #catlab.jl ?
24-core ARM
Alder Lake-Powered Linux Laptop Arrives With 14 Hours of Battery Life Soylent News on 2022 July 09
AMD Ryzen PRO 6860Z Powered Lenovo Z13 Notebook With Microsoft Pluton Co-Processor Can't Boot Linux It turns out you can reconfigure it to boot Linux, but it's not immediately obvious how. Apparently thie is a consequence of current Microsoft requirements.
OpenTitan is the first open source project building a transparent, high-quality reference design and integration guidelines for silicon root of trust (RoT) chips.
ARM with two ethernet ports
Laptop manufacturers claiming Linux support
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
OCR
Walt Kelly
Poetry
Pijul A new distributed revision control system with the clean theory of darcs, but efficient,
World Logic Day 2021
ADDitude -- a site about attention deficit
Things attention-deficit people do a list originally posted by Derek Simcoe
long twitter thread about attention deficit
What is proof that the sum of (1+1/2+1/3+…+1/n)-this series can't be an integer when n>1?
Words and wordplay: The Phrontistery
XKCD Imposter *NDG resto
TUNES projects
A few links bout the design of social networks:
ambience:
Zoom
[Ad for master classes](https://youtu.be/Xb0PYr9EgPk Ad for master classes)
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
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
JIR Journal of Irreproducible Results
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. So far I haven't succeeded, but I'm told it's worth trying again.
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
How writers are turning H.P. Lovecraft's racist work on its head
You Can Now Easily Download All CIA UFO Documents to Date a Soylent News link
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 flooding.
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.
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
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 petition 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
Flutter -- a platform-independent UI library? applications for Android, iOS, Linux, macOS, Windows, Google Fuchsia, and the web from a single codebase.
Independence of the Continuum Hypothesis: an Intuitive Introduction
Logic programming
(Xmlchecker.py)[http://troubleshooters.com/web/validating.htm#xmlchecker]
Apples
Project West Ford Needles in space!
How classic Sierra game graphics worked (and an attempt to upscale them)
Scientists announce a breakthrough in determining life’s origin on Earth—and maybe Mars It seems RNA spontaneously forms on basalt lava glass
Markov Junior a probabilistic programming language where programs are combinations of rewrite rules and inference is performed via constraint propagation.
Go at Google: Language Design in the Service of Software Engineering
Discover the Ice Age Floods Floods in weatern North America resulting from glaciers failing to hold back water.
Neo4j a so-celled graph datanase
Writing -- word lists
https://www.theatlantic.com/family/archive/2022/06/hot-mess-no-one-judging/661159/
How To Become A Hacker Eric Steven Raymond
Montreal history The Gavazzi Riot of 1853
Holly Rhiannon book announcement
Markov Junior a probabilistic programming language where programs are combinations of rewrite rules and inference is performed via constraint propagation
The children of Iron and earth prologue. (Is this story any good? Don't know. Haven't rad it yet.
Logico-pluralistic exploration of foundational theories with computers
[An Early Run-In With Censors Led Rod Serling to ‘The Twilight Zone’](https://www.smithsonianmag.com/arts-culture/early-run-censors-led-rod-serling-twilight-zone-180971837
LibreVox public domain audio books
Are there any full-length theatre scripts based off of Lovecraft's works?
Bâtiment 7 - Home
CLAP -- Clever Audio Plug-in API -- open-source music
Paint it black Not the Rolling Stones version; even lyrics changed
Plain Text - Dylan Beattie - NDC Oslo 2021 pike matchbox
The Art of Code - Dylan Beattie Minute 43 for a language that plays music.
The rarest male type (Gaussian Sigma) This title seems to have nothing to do with the content; the video is about a mathematics legend.
Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE]
The Day of a new Command-Line Interface: Shell Discusses how a 'shell' doesn't have to be limited to the 50-year-old text-only terminal interface.
What are some things you wish you knew when you started programming?A quora question, with some useful answers. Many of these answers are indeed worth reading by beginners.
Text generation
Home | SF Gateway - Your Portal to the Classics of SF & Fantasy
Why don't they teach Newton's calculus of 'What comes next?'
Rendezvous With Rama: Why Villeneuve's New Sci-Fi Film Could Be Incredible!
The REAL Answer To The Viral Chinese Math Problem "How Old Is The Captain?"
Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE]
Sir Roger Penrose on collaborating with Wolfgang Rindler on Spinors and Space Time Sharing this in case I lose it before I get to see it and figure if it's worth recommending.
Olúfémi O. Táíwò’s theory of everything One of America’s most prominent philosophers argues that climate change calls us to rethink world history.
Parody
“Atari Was Very, Very Hard” Nolan Bushnell on Atari, 50 Years Later Reminiscences
Game over? New language law puts Quebec's video game industry at risk, insiders say
github.com/ai4reason/ATP_Proofs#topology--the-clos...
https://bit.ly/300k9Pm
James M To Everyone
1:30:26 PM
JM
For the proofs that it could do already, are any different/better proofs done by it after the ML learning?
Yannis (NYC) To Everyone
2:05:26 PM
Y(
Do you think theorem proving with Artificial Intelligence will be subject to Godel's incompleteness/inconsistency theorems?
https://bit.ly/300k9Pm
7th Conference on Artificial Intelligence and Theorem Proving
Octopodes
Uber files an investigatin by The Guardian.
In these trying times, I look to the works of George Orwell for inspiration Bob Rae Canadian ambassador to the United Nations, on George Orwell
new on 2022 07 18
2022 07 20
2022 07 25
Agile
20220729
2022 08 02
2022 08 03
2022 08 05
2022 08 09
2022 08 15
2022 08 20
Death Vallew is Wrecked The eariest comments seem to date from about 2022 08 10. I'm not sure when this was posted of filmed, though.
2022 08 27
2022 08 31
2022 09 10
2022 09 11
2022 09 15
https://www.quora.com/Who-wrote-their-PhD-thesis-in-the-shortest-amount-of-time/answer/Cedric-Mamo?ch=10&oid=27575642&share=5f4e821a&srid=5GY2I&target_type=answer
https://public.oed.com/blog/a-brief-history-of-singular-they/
Fair Ranking as Fair Division: Impact-Based Individual Fairness in Ranking Looks interesting; haven't read it yet. Would this work for, say, a recommendation system for Netflix? where there isn't a supply sortage of any particular film?
The brain undergoes a great "rewiring" after age 40 - Big Think
πfs: Never worry about data again! https://www.quora.com/
John Mark McDonald on nuclear war an extensive, likely realistic, explanation of the nature of nuclear war. Also here
Rockin' on without Microsoft Why and how Sterling Ball moved his company from Windows to Linux.
NASA's Mars Helicopter Snags Mysterious Foreign Object on 33rd Flight Oct 05, 2022
Post-tropical storm Fiona makes landfall in Atlantic provinces on Saturday - The Globe and Mail
What is category theory? on YouTube
Why Doom is Awesome: Binary Space Partitioning Youtube video about early 3D rendering techniques.
DeepMind Invents Faster Algorithms to Solve Tough Math Puzzles I'd like to know more about what inputs the neural net used.
The most drug-evasive COVID variant yet is likely to ruin winter
Rising cases of variants BQ.1 and XBB could make COVID drugs all but useless, study finds BQ.1, BQ.1.1 XBB, BA.2.75.2, XBB,BA.5, BA.4.6, BA.2.75.2, BJ.1, BM.1.1.1, "a sore throat is now the dominant symptom of COVID infection, rather than fever or loss of smell"
What is π? (and while we're at it, what's e?) Why π and e are important.
What is category theory and why do mathematicians love it? A discussion on quora
Conceptual Mathematics: a first introduction to categories, by f. William Lawvere and Stephen H. Schanuel
From Sets to Types to Categories to Sets Steve Awodey
Brief of The Onion as amicus curiae at the USA supreme court
Pass A password manager. How does this ompare with keepass?
[Dreamdisc}(https://mindfungus.itch.io/dream-disc) A mindfungus name.
What's your pandemic story by ElizabethGreene on Soylent News. A personal exposition of her experiences during the pandemic, followed by many comments by others, some describing their own pandemic stories.
How to Change your Mind on Youtube, There's also a series on Netflix.
CHARITY STREAM: Upgrading Old Webservers On An 8 Year Old Website (SoylentNews Revival #1)
What is ZFC (Zermelo-Fraenkel set theory) and why is it important? Discussoin on the nature of axiomati set theory.
2022 11 18
History:
2022 11 16
2022 11 20
2022 11 21
2022 11 23
Why did the ancient Babylonians come up with 60 second minutes and 360 degrees?
Some Results Concerning Intuitionistic Logical Categories Karen Tennenhouse's master's thesis, 1975
The benefits and costs of writing a POSIX kernel in a high-level language On using Go to write an operating system kernel.
Attention deficit
Alice Mary Hilton, who coined the term cyberculture in 1963.
NCommander's return (in 2022)
Amiga
The Unexpected Measure that Makes the Modern World Tick About measuring time
Jefferson Airplane - White Rabbit but the lyrics are AI generated images
The Doors - People Are Strange but the lyrics are AI generated images
a Racket blog by Mike Delmonaco.
zeromq an attempt at a robust intercinnection protocol.
Jordan Peterson excerpts
Video: World’s first artificial womb facility lets you choose baby's characteristics from menu I find myself wondering if this is real.
Quantum Cosmology and Mathematical Physics : When you choose physics by chance not by choice
Stable Diffusion Version 2: Power To The People… For Free! A seven-minute video advertising it (in the series called two-minute papers)
HTTP in Swift Am 18-part series on implementing HTTP in Apple's Swift.
Montreal stuff
WebAssembly/Wasm and OCaml About proposals for Wasm relating to tail-recursion, garbage collection, and OCaml compilation.
Partitioning
Philosophy?
Games again
Trudeau tweet prompts questions on everything from mermaid sex to dog pants
Great Works in Computer Science Let's learn from the past instead of forgetting it.
Italy’s pasta row: a scientist on how to cook spaghetti properly and save money
Why Are There 7 Days In a Week? EXPLAINED on YouTube
Metformin and vitamin B12
Which ancient civilization was best for the common man? An answer about the Caral civilisation.
Fediverse
NonEuclideanism
[Spinors for Beginners[(https://www.youtube.com/playlist?list=PLJHszsWbB6hoOo_wMb0b6T44KM_ABZtBs)
BBC documentary on Nietzsche
H.P. Lovecraft Historical Society
What to Expect When You're Expecting ... GPT-4 by Gary Marcus
Dog stories
What separates a great programmer from a good programmer? alternative link
Squid and human brains develop the same way despite diverging 500 million years ago
Letter from Birmingham Jail by Martin Luther King written from Birmingham jail way back in 1963. Notable are the exquisite politeness of the language, the intellectual depth of the narrative, and the straightforward nonavoidance of the word "Negro".
[Fall of Civilizations Podcast(ttps://fallofcivilizationspodcast.com)
Sectograph visual planner A tool for visualising time that some attention-deficited people find useful.
Lectures on ADHD for professionals by Dr. Russel Barkley. A Youtube playlist.
Carlo M. Cipolla A Wikipedia article containing the Basic Laws of Human Stupidity,
You've Been Lied To About Genetics Video explaining the discrepancies between Mendel's laws and what we have subsequently learned about genetics.
It' all right Ma Bob Dylan song on Youtube
Cranelift's Instruction Selector DSL, ISLE: Term-Rewriting Made Practical
The Hunt for the Dark Web’s Biggest Kingpin: The Rise and Fall of AlphaBay
20 Things I’ve Learned in my 20 Years as a Software Engineer with a lot of reader comments.
Mathematical theorems you had no idea existed, cause they’re false
How Kindle novelists are using ChatGPT / An interview with an AI early adopter
2023 02 01
Alien Coding Synthesising programs for OEIS sequences
Category Theory in Context by Emily Reihl.
the Racket Room where first Saturday afternoon meetings are hed at 18:00 UTC
Meeting Grothendieck, 2012 Katrina Honigs
Let Me Think Somonw want to re-engineer scholarly society.
Critical Ignoring
Watch distant worlds dance around their sun
Nicolas Parent -- Mirage short guitar music
In the Victorian Era, Valentine’s Day Was a Celebration of Same-Sex Romance - Atlas Obscura Turns out this about events at American womens' colleges.
Gigguk An anime and manga reviewer.
Arrival: A Response To Bad Movies A review that approves of Arrival.
[101 sci-fi tropes for writers]{https://www.writerswrite.co.za/101-sci-fi-tropes-for-writers/}
Rx for Prolonged Sitting: A Five-Minute Stroll Every Half Hour
Categorical Foundations
The Emperor's Old Clothes Tony Hoare: there are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies. (on page 81)
GrapheneOS for pixel phones
Chromecast
[Stephen Wolfram](A New Kind of Science](https://www.wolframscience.com/nks/) I find the attitude that the physics of our world can be described by cellular automata to be just false, but there are insights to he had from this ridiculously simplistic model.
Tongues Of Flame
Youtubery
Bloatware Pushes the Galaxy S23 Android OS to an Incredible 60GB on soylent news
The Right to Read by Richard Stallman
Elements of Style: CSS for Ebooks #2 looks to be a useful part of a larger, less useful site on self-publishing.
OpenAssistant - ChatGPT's Open Alternative (We need your help!)
Stop Getting Lost: Make Cognitive Maps, Not Levels GDC presentation
Knowledge Representation (popular subject in the 1960's and on)
comic
Dragons don't celebrate Passover on Amazon -- there should be other places to buy it.
David Corfield Phiosophical perspectives on category theory A lovely survey of the fields category theory has become involved with, and some philosophy.
Can-Con 2023 The Conference on Canadian Content in Speculative Arts and Literature
AI ‘race to recklessness’ could have dire consequences, tech experts warn in new interview
How Quantum Computers Break The Internet... Starting Now ](https://www.youtube.com/watch?v=-UrdExQW0cs)
Candidate geometries for round-world RPG maps