December

• https://www.cs.toronto.edu/~hinton/FFA13.pdf paper on the forward-forward algorithm, an alternative algorithm for updating weights in a neural network besides backpropagation
• https://esoteric.codes/blogs on esoretic programming languages
• https://www.neelnanda.io/blog/mini-blog-post-22-the-8020-rule The world is full of wasted motion
• https://www.unqualified-reservations.org/2007/04/formalist-manifesto-originally-posted/ introduction to formalism
• http://www.sizecoding.org/wiki/Main_Page creating very small programs
• https://en.wikipedia.org/wiki/Simplex_algorithm algorithm used for linear programming
• https://github.com/digama0/mm0 Metamath Zero project for writing specifications and proofs