Sequent Calculus
http://logitext.mit.edu/tutorial https://builds.openlogicproject.org/content/first-order-logic/sequent-calculus/sequent-calculus.pdf
In the middle of reading
https://arxiv.org/pdf/math/9404236 https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
Music Wishlist Maybe?
Sim Gretina - YouTube
Stream Sim Gretina not active music | Listen to songs, albums, playlists for free on SoundCloud
Music | Wandering Artist
Music in just intonation | Wandering Artist
PONYTOWN OST | Wandering Artist
Music in just intonation Vol. 2 | Wandering Artist
Train Bells | Wandering Artist
At the end of the day | Wandering Artist
Real Sound: Echoing Sky by Wandering Artist
Anki
Early Adventures in Spaced Repetition
Projects (xkqr.org)
Reading Slightly More Incrementally
Quantum computing for the very curious
Adding/Editing - Anki Manual
20 rules of knowledge formulation - supermemo.guru
Rules for Designing Precise Anki Cards - Control-Alt-Backspace