 Mathographics: how to draw mathematics
 Read EVERYTHING by Milnor!
 Method of moving frames
 Learn to draw impossible figures. It’s MUCH harder than I thought it would be.
 Mathematics for physics: has everything including bundles
 Joahn Baez: Gauge Fields, Knots and Gravity
 Probability on trees and networks
Some Highlights
Random Walks and Electric Networks
Special Networks
Uniform Spanning Trees
Branching Processes, Second Moments, and Percolation
Isoperimetric Inequalities
Percolation on Transitive Graphs
The MassTransport Principle and Percolation
Infinite Electrical Networks and Dirichlet Functions
Uniform Spanning Forests
Minimal Spanning Forests
Limit Theorems for GaltonWatson Processes
Escape Rate of Random Walks and Embeddings
Random Walks on Groups and Poisson Boundaries
Hausdorff Dimension
Capacity and Stochastic Processes
Random Walks on GaltonWatson Trees
 What colour are your bits
My friend had gone through an elaborate process that basically amounted to
performing some other piece of music four minutes and thirtythree seconds
long, with a software synthesizer and the volume set to zero. The result was
an appropriatesized file of zeroes  which he compressed with an MP3
compressor. The MP3 file was bitforbit identical to one that would have been
produced by compressing /dev/zero… but this file was (he claimed)
legitimately a recording of 4’33” and the other one wouldn’t have been. The
difference was the Colour of the bits. He was asserting that the bits in his
copy of 433.mp3 had a different Colour from those in a copy of 433.mp3 I might
make by means of the /dev/zero procedure, even though the two files would
contain exactly the same bits.
…
The trouble is, human beings are not in general Colourblind. The law is not
Colourblind. It makes a difference not only what bits you have, but where
they came from. There’s a very interesting Web page illustrating the Coloured
nature of bits in law on the US Naval Observatory Web site. They provide
information on that site about when the Sun rises and sets and so on… but
they also provide it under a disclaimer saying that this information is not
suitable for use in court. If you need to know when the Sun rose or set for
use in a court case, then you need an expert witness  because you don’t
actually just need the bits that say when the Sun rose. You need those bits to
be Coloured with the Colour that allows them to be admissible in court, and the
USNO doesn’t provide that. It’s not just a question of accuracy  we all know
perfectly well that the USNO’s numbers are good. It’s a question of where the
numbers came from.
 HoTT lecture videos
 Comp.graphics usenet FAQ
 Kobayashi Nomizu: Contains the “"”right definitions””” of all differential geometric objects.
 Reciprocality: The Anatomy, Life Cycle and Effects of the Phenomenologically Distributed Human Parasite M0
This paper presents a selfreplicating, homeostatic phenomenon called M0. M0
runs parasitically on populations of humans. It is remarkable in that
although its anatomy is distributed across all phenomenological layers from
neurological to paradigmattic, its causal sequences are robust and (once
exposed) readily traceable and hence vulnerable to counterattack.
The anatomy and lifecycle of the parasite are described, together with
several secondary effects which are often of primary importance to the host
population. An alternative interpretation of the role of dopamine in
controlling mood and awareness is proposed, and how the “security breach”
thus exposed is exploited by M0 is shown. A disturbing model of the
variability of human consciousness is proposed.
 Invitation to topos theory
 Groups, Categories, Homological algebra
 Metric and hilbert spaces
 Cohomology operations and applications in homotopy theory
 Homotopic topology
 Trefethen: Numerical Linear Algebra

Topology via logic, frames and locales, etc.

Laziness and linear types mix in complicated ways.
 Spaceship earth
Spaceship Earth (or Spacecraft Earth or Spaceship Planet Earth) is a
worldview encouraging everyone on Earth to act as a harmonious crew working
toward the greater good.
We travel together, passengers on a little space ship, dependent on its
vulnerable reserves of air and soil; all committed for our safety to its
security and peace; preserved from annihilation only by the care, the work,
and, I will say, the love we give our fragile craft. We cannot maintain it
half fortunate, half miserable, half confident, half despairing, half
slave—to the ancient enemies of man—half free in a liberation of resources
undreamed of until this day. No craft, no crew can travel safely with such
vast contradictions. On their resolution depends the survival of us all.
 Dialog can change people’s minds
A black man says he has accidentally persuaded around 200 white racists to
abandon the Klu Klux Klan simply by befriending them. Blues musician Daryl
Davis has travelled the US for around three decades, actively seeking out white
supremacists as a hobby. In a new documentary, out this month, the 58yearold
can be seen sitting down beside and joking with cloaked members. “It’s a
wonderful thing when you see a light bulb pop on in their heads or they call
you and tell you they are quitting,” said the author, actor and lecturer. “I
never set out to convert anyone in the Klan. I just set out to get an answer to
my question: ‘How can you hate me when you don’t even know me’.
 Jazz standard
 Pannini Projection
 Hunter versus farmer hypothesis
This hypothesis proposes that ADHD represents a lack of adaptation of members
of huntergatherer societies to their transformation into farming societies.
Hartmann developed the idea first as a mental model after his own son was
diagnosed with ADHD, stating, “It’s not hard science, and was never intended to
be.”. However, more recent molecular and clinical research has given support
to a genetic deflection ”theory” of ADHD arising from evolutionary adaptation
Hartmann notes that most or all humans were nomadic huntergatherers for
hundreds of thousands of years, but that this standard gradually changed as
agriculture developed in most societies, and more people worldwide became
farmers. Over many years, most humans adapted to farming cultures, but Hartmann
speculates that people with ADHD retained some of the older hunter
characteristics. A key component of the hypothesis is that the proposed “hyperfocus” aspect of
ADHD is a gift or benefit under appropriate circumstances. The hypothesis also
explains the distractibility factor in ADHD individuals and their short
attention span for subject matter that does not interest the individual (which
may or may not trigger hyperfocus), along with various other characteristics
such as difficulty adhering to social norms, poor planning and organizing
ability, distorted sense of time, impatience, attraction to variety or novelty
or excitement, and impulsiveness.[citation needed] It is argued that in the
huntergatherer cultures that preceded farming societies, hunters needed
hyperfocus more than gatherers.
 Gender Differences in Personality and Interests: When, Where, and Why?
How big are gender differences in personality and interests, and how stable are
these differences across cultures and over time? To answer these questions, I
summarize data from two meta‐analyses and three cross‐cultural studies on
gender differences in personality and interests. Results show that gender
differences in Big Five personality traits are ‘small’ to ‘moderate,’ with the
largest differences occurring for agreeableness and neuroticism (respective
ds = 0.40 and 0.34; women higher than men). In contrast, gender differences on
the people–things dimension of interests are ‘very large’ (d = 1.18), with
women more people‐oriented and less thing‐oriented than men. Gender differences
in personality tend to be larger in gender‐egalitarian societies than in
gender‐inegalitarian societies, a finding that contradicts social role theory
but is consistent with evolutionary, attributional, and social comparison
theories. In contrast, gender differences in interests appear to be consistent
across cultures and over time, a finding that suggests possible biologic
influences.
 Complex analysis: A geometric viewpoint
Teaches complex analysis using diffgeo.
 Can’t we talk?
A married couple was in a car when the wife turned to her husband and asked,
“Would you like to stop for a coffee?” “No, thanks,” he answered truthfully.
So they didn’t stop. The result? The wife, who had indeed wanted to stop,
became annoyed because she felt her preference had not been considered. The
husband, seeing his wife was angry, became frustrated. Why didn’t she just
say what she wanted? Unfortunately, he failed to see that his wife was
asking the question not to get an instant decision, but to begin a
negotiation. And the woman didn’t realize that when her husband said no, he
was just expressing his preference, not making a ruling. When a man and woman
interpret the same interchange in such conflicting ways, it’s no wonder they
can find themselves leveling angry charges of selfishness and obstinacy at
each other. As a specialist in linguistics, I have studied how the
conversational styles of men and women differ. We cannot lump all men or all
women into fixed categories. But the seemingly senseless misunderstandings
that haunt our relationships can in part be explained by the different
conversational rules by which men and women play.
 Semantics of type theory
 Selected papers on Automath.
 Higher dimensional type theory
 Differential algebraic topology: From stratifolds to exotic spheres
 Stable homotopy theory
 Computing the continuous discretely: integer point enumeration in polyhedra
 Algebraic Topology of Finite Topological Spaces and Applications by Jonathan Barmak
 Memory layout and staging: https://www.youtube.com/watch?v=WOd0ZFbJfQg
 Concolic execution:
 Determiniant calculus: https://arxiv.org/pdf/math/9902004.pdf
 Compact Oxford english dictionary: https://kk.org/cooltools/compactoxford/
 Fractional Calculus: An Introduction for Physicists
 Electromagnetic Theory and Computation: A Topological Approach
 Gauge theory and the topology of 4manifolds
 A history of gale shapely for selecting doctors:
https://thesheriffofsodium.com/2020/02/10/thematchpart3onproposalsandthefightforastudentoptimalmatch/
 Being and Event: Dude who claims to use ZFC to
“identify the relationship of being to history, Nature, the State, and God”?
 Read quotes of camus, kierkegaard, nietcheze, derrida, lovecraft,
 A Mathematical Introduction to String Theory
 Fundamental Algorithms for Permutation Groups
 Topological data structures for surfaces.
 Obscurantism. Wonderful that there’s
a wikipedia page for this.
 analytical marxism
 Inuit parenting
 Metamorphosis of prime intellect, author
 Cheap way to spy on someone’s
tty
if they are sharing. Something like asciinema
but
can be livestreamed on a tty
.
 doocracy: an organizational structure in which individuals choose roles and tasks for themselves and execute them.
 SAGE and Ito calculus?: https://github.com/acguidoum/Sim.DiffProc
 https://almostsuremath.com/: great blog on probability
 Apparently, a LOT of complex analysis can be performed if one knows martingales!
Examples include “Proof of Liouville’s theorem from Brownian motion”,
“Brownian Motion in Complex Analysis”.
 Seems to be a connection between elliptic/parabolic PDEs (heat equation)
and brownian motion, which is also ofc explained in keenan’s geodesics in heat.
Here is an MO link
 David Williams: Probability with Martingales — motivates probability and measures
through martingales.
 arb: a C library for arbitrary precision arithmetic

James Gilleard: Hypnotic art that looks like a strange blend of natural and artifical.
Minimal. He lives in Japan now. Has art on mountains, japan, and animals.
 Silent trade:
Silent trade, also called silent barter, dumb barter (“dumb” here used in its
old meaning of “mute”), or depot trade, is a method by which traders who
cannot speak each other’s language can trade without talking. Group A would
leave trade goods in a prominent position and signal, by gong, fire, or drum
for example, that they had left goods. Group B would then arrive at the spot,
examine the goods and deposit their trade goods or money that they wanted to
exchange and withdraw. Group A would then return and either accept the trade
by taking the goods from Group B or withdraw again leaving Group B to add to
or change out items to create an equal value. The trade ends when Group A
accepts Group B’s offer and removes the offered goods leaving Group B to
remove the original goods.
 Deep trust versus broad trust
we don’t have communities like we used to have with deep trust, even the
families are not the same anymore. On the other hand I am not afraid to go to
neighboring city (or when I was a kid it could be even other part of the city)
so someone would come up with “hey you are not from around here, what are you
looking for a trouble here son?”.
We traded deep trust for broad trust. This way price of transactions on
bigger scale went down a lot, even if they went up on personal or local
level.
In the end broad trust is more useful for people because it enables mobility.
One can move to a big city and won’t be instantly scammed. If we would value
deep trust only, there would be no way for people to move out from “dead end”
places.
 Multiple cursors as local operational transforms!
 Haskell for maths: implementations of lots of algorithms for math
 Serees: Permutation group algorithms
 algebraic number theory: a computational approach by the sage dude (William stein)
 Beautiful math books along the lines of needham
 “Introduction to Money” by Honor Croome
 Linearity, Symmetry, and Prediction in the Hydrogen Atom: Capstone book for complex analysis and representation theory.
Seems like a good bedtime read. Found from an MO question: why is the physical meaning of an irreducible representation justified
 Big list of useful terminal apps
 C++ move semantics, the complete guide: http://www.cppmove.com/
 SIMD parsers are sort of like parsers that build an index/semiindex. Can we
use this to build a restartable semiindexed parser? This will let us use
seekable machines to play rank/select tricks, while being “fast” and
“good in memory” (succinct). Krohn rhodes theory may tell us how to cascade
the automata correctly.
 Inequalities: Theory of Majorization and Its Applications
 Measure theory youtube videos: https://www.youtube.com/watch?v=xZ69KEg7ccU
 Representations of Groups A Computational Approach
 SAGE issues/tickets related to manifolds
 SAGE ticket on finite topological spaces
 The real problem at Yale is not free speech
There is a reason why Harvard’s motto is “Veritas”—truth, whereas Yale’s
motto is “Lux et veritas”—light and truth. Truth without light is pointless.
Knowledge without an aim is at best not useful—and at worst, destructive.
~ The real problem at yale is not free speech
 Group theory and its application to physical problems
 Classical Tessellations And Three Manifolds: geometric and pictorial account of low dimensional geometry.
 Representation Theory of Finite Groups Gordon James: introductory account of representation theory phrased in terms of modules.
 Tarot of the divine: beautiful tarot cards
 Growing a proof assistant
 Introduction to HigherOrder Categorical Logic: Lambek, P. J. Scott on topoi!
 Method of types
 Lazy DepthFirst Search and Linear Graph Algorithms in Haskell
 MAA problem books: Series of books
about problem solving!
 The Cauchy Schwarz master class
 A shorter model theory: Short book on model theory.
 On the complexity of linear arithmetic with divisibility: Useful for presburger results.
 Hori’s Mirror symmetry seems to contain good exposition of differential and
algebraic geometry.
 Shafaravich: Basic Algebraic Geometry
 Discrete version of riemann roch
 The Geometry of Geodesics, by Herbert Busemann, provides a purely intrinsic approach to a large part of differential geometry, through axioms on the metric. It does not define covariant derivatives — but it defines geodesics without them, as lengthpreserving maps from the real line. It does not define vector fields — but it analyzes motions, which are a finite analog to that infinitesimal notion. It does not define differential forms — but it defines scalar curvature synthetically.
 Relativity in Illustrations: Explains relativity purely geometrically.
 Intuition for divisor and genus
 Group representations in probability and statistics: Covers representation theory of the symmetric group
 Symmetries and curvature in general relativity by G S Hall: covers the lie
and representation theory of the lorentz group.
 Doxastic logic
 Rightleft rule for disambiguating C declarations
 Grothendieck construction
 KMP, functionally
 Codeforces: voronoi diagrams
 Superflux: imagined futures for the 21st century
 Exact humanities reading list
 That about wraps it up; using Y combinator to tie the knot
 Adjoint operators
 Original BDD reading material: GraphBased Algorithms for Boolean Function Manipulation
 13 ways to think of the correlation coefficient
 Chasm of unknowing
 A distributed systems reading list
 Linear logic vector spaces?
 Book on juggling notation.
 Applied Analysis by the Hilbert Space Method: book which combines Hilbert spaces, differential equations, and Fourier analysis at very elementary undergraduate level
 The major system: remembering numbers
 Necessary disorder: GIFs with the same style, looping, beautiful
 Chess tactics
 Geometric Algebra: Eric Chisolm — the reference that finally made GA make sense for me.
 The Topological Structure of Asynchronous Computability. Seems to explain a bunch of distributed systems results in combinatorial topology language. Very very cool.
 Chess endgames you must know
 Basic number theory by Weil — seems like a good place as any
to learn “real Algebraic number theory”
 Digraphs: Theory, Algorithms and Applications Seems to be an authoritative
textbook on digraph theory. Sadly, it does not contain an exposition of Tarjan’s SCC algorithm.
 INOI training material
 Discrete Images, Objects, and Functions in Zn: Seems to contain many results on
topologies for images.
 Using the BorsukUlam theorem: lectures on topological methods in combinatorics and geometry
 Applied finite group actions
 [Orbit stabilizer for Lie groups? Answers in the book: “Lie Algebras and Algebraic Groups”](https://rads.stackoverflow.com/amzn/click/com/3642063330
 the book of Parametrized algorithms
 Second Thread: IGM on codeforces with great videos on competitive programming ideas
 Possibility theory an ordinal version of probability
theory, and an implementation in racket, called ‘ranked programming’
 Galois’ dream: textbook about lie theory for differential equations
 Inverse Noether theorem
 Atmospheric Thermodynamics: Bohren and Albrecht: Spends a lot of time building up good conventions
and notation, does NOT use scam differentials.
 zhihu: chinese reddit
 Makepad: sexy rust editor that runs in the web with wasm
 Olympiad combinatorics
 Evan Cheng’s list of books: Has good sources for
algebraic geometry and differential geometry.
 Yufei Zhao: olympiad training
 Dirac general theory of relativity: a good description of torsion as being intrinsic.
Learnt from this answer on mathoverflow which goes on to say:
I will try to help with the title question. I think that the real motivation
for the LeviCivita connection comes from looking at surfaces in Euclidean
3space. Differentate one tangent vector field Y along another X by first
extending them to be defined in the ambient space, and then taking the
tangential projection of XY, i.e. tangential projection of the Euclidean
connection. LeviCivita discovered that this process is intrinsic, i.e.
invariant under isometry of surfaces without carrying along the ambient
space, and described precisely by torsion freedom. This was clearly a long
and difficult process. Dirac uses this view in his book General Theory of
Relativity, and this is how I introduce the LeviCivita connection in my
lectures. I have to agree that there is something missing in the textbook
discussions of torsion. I have not found an intuitive understanding of
torsion.
aerc
: email client for CLI
 Graphs, Dioids and Semirings: Provides algebraic descriptions of most graph algorithms
 cutter: IDE for reverse engineering
 Reversing: Secrets of Reverse Engineering — book on reverse engineering.
kaitai
is like 010
editor for drilling into binary formats, but also FOSS. With a web IDE!
 010 editor: world’s best hex editor, comes with powerful scripting language to describe data layout
 MenuetOS: an entire OS written in assembly
 Study treesitter
 Kakoune community’s list of CLI tools
 Prefix sums and their applications: Guy Blelloch
 Stanford intro to logic course that uses Herbrand semantics
 The herbrand manifesto: why we ought to use herbrand semantics, and the consequences this has on prolog. Found from this
math.se
link
 Patat: terminal based presentations using Pandoc
 Algebraic effects in C
 BASIC programming in the commodore64
 A course on probability: https://www.probabilitycourse.com/
 A knight moves one square diagonal plus one straight. no need to think of
L
.
 Einstein’s original 100 page manuscript on relativity
 Holor theory: generalization of tensors that support either independent/dependent quantities
 An IDE for x86 assembly with great documentation lookup, goto symbol, etc. The
things “"”we expect”””. Ie, language server for assembly.
 Problems on flows
 The GHIDRA book: Book about learning how
to use GHIDRA
 Differentiable programming for cheaply adding interactivity to graphics: https://tiarkrompf.github.io/notes/?/differentiableprogramminginjs/
Very nice!
 Talon: hands free input for computers write code using
sounds and eye tracking.
 Advanced data structres by Peter Brass: Describes both the usual things, and
exotic okasaki structures, interval trees, ukkonen’s in detail.
 Oriented matroids as the theory of simplex?
 https://github.com/ssloy/tinyrenderer
 Combinatorial commutative algebra
 Applied finite group actions
 How does the C debugger work
 First class patterns
 Complete and easy bidirectional type checking for higher ranked polymorphism.
 Towards a practical programming language based on dependent type theory.
 Refinement types, a tutorial in the nanopass style
 Manifolds tensors and forms, introduction to mathematicians and physicists: Teaches
diffgeo with a heavy emphasis on physics intuition and applications. Is very geometric!
 Real time collision detection book. It
is basically a book about spatial data structures and cache aware algorithms.
 Werner Harzog
 Iron smelting from scratch: Harald the blacksmith
 Read Roslyn: https://github.com/dotnet/roslyn
 The Art of Multiprocessor Programming
 Read how CILK works. They’ve clearly spent a lot of time making it fast, and there
are papers.
 Performance engineering for software systems
 Ludwig Miles van der Rohe: God is in the details
 Strange algebraic structures: racks, shelves, quandles
 Schroeder’s Thermal Physics: Buck learnt stat mech from this.
 Economics and stat mech: (1) Classical thermodynamics and economic general equilibrium theory,,
(2) An economic analogy to thermodynamics.
 Nathan Bailey’s 1737 Dictionary of Thieving Slang (canting, or cant) from the underworld
 Charles Knight’s (1845) Old England, a Pictorial Museum
 Brewer’s Dictionary of Phrase and Fable: a dictionary of strange words! Nice.
 Racket DSLs: Making a DSL in one hour —
stacker
 REDIS walk through source code by antirez
 2D general relativity
 general relativity for 1+1 dimensions
 Regge calculus, a discrete version of General relativity
 bidirectional type inference, explained in Agda
 Arithmetic of elliptic curves: seems to explain elliptic curves from the “algebraic geometry perspective”.
 Smoothie: Smooth non analytic functions generated by chebfun
 USACO guide
 CSES problem set. Problem set for competitive programming
 The generalized distributive law: general version of FFT, viterbi, …
 algebraic geometry through toric ideals: https://www.youtube.com/watch?v=AkCtGY7Kc8&list=PLnklSmACpdhIZnHAecRG36du2Oc2jiTs&index=1
 CadQuery: open source python based
3D modelling / 3D printing / parametric CAD tool. Supposedly better than
OpenSCAD.
 Free Culture, Lawrence Lessig
 Getting Stronger, a blog about training oneself to thrive on stress: https://gettingstronger.org/
 A visual introduction to Differential Forms and Calculus on Manifolds
 A general relativity workbook: Supposedly is like Abel’s theorem in problems and solutions,
where it gives you exercises to work through.
 Gentle introduction to general relativity that answers all the ‘why’s:
A Most Incomprehensible Thing: Notes Towards a Very Gentle Introduction to the Mathematics of Relativity Kindle Edition
 A primer on domains and measure theory: https://www.youtube.com/watch?v=UJrnhhRi2IE
 Fisher Yates and Sattolo’s algorithm (generate permutation with one cycle) https://danluu.com/sattolo/
monochrom
’s favourite work of djikstra: http://www.vex.net/~trebla/ewd.html
 Course on solids, crystal groups, tension with video lectures: https://ocw.mit.edu/courses/materialsscienceandengineering/360symmetrystructureandtensorpropertiesofmaterialsfall2005/index.htm
 Project oberon: a computing system built from scratch: http://www.projectoberon.com/
 Domain theory and measurement: http://www.nearmidnight.com/domains.pdf
 Domain theory/Lattices/partial orders and general relativity (GR): http://www.cs.ox.ac.uk/people/bob.coecke/gr2.pdf.
 https://en.wikipedia.org/wiki/Richard_Hofstadter: American understanding of politics.
The age of reform.
 Good journal about programming: The Art, Science, and Engineering of Programming
 Adam Curtis: Hypernormalization (https://www.youtube.com/watch?v=fny99f8amM),
Bitter Lake (https://www.youtube.com/watch?v=84P4dzow1Bw),Century of the Self,
documentares.
 Joseph Tainter: The Collapse of Complex Societies
 24 hours of local cohomology
 8086 is encoded in OCTAL!
 WordPerfect as a word processor: https://news.ycombinator.com/item?id=24411333
 The entire Landscape series from Macfarlane:
(1) Mountains of the Mind (a history and firstperson account of mountain climbing),
(2)The Wild Places (a history and exploration of the ‘wild’ landscapes of the British Isles),
(3) The Old Ways (a history and exploration of the ancient paths of the world) are
all really excellent (and can be read in any order). He’s a fabulous writer,
kind of like a Kapuściński for the natural world.
 OpenSCAD: 3D modelling CAD 3D printing tool for mathematically and programatically
generating solids.
 CALM conjecture: when do we need to use coordination? https://arxiv.org/pdf/1901.01930.pdf
 pwn.college CTF: https://pwn.college/
 Procrastination by Burka & Yuen. How to stop procrastination: https://news.ycombinator.com/item?id=24120275.
In situation X I will do behaviour Y to achieve subgoal Z
Value affirmation: Remind yourself of the why.
 ‘Never split the difference’: book about negitation.
 Translation of Odyssey into iambic pentameter: ‘Odyssey by Emily Wilson’
 Milan Kundera — The Art of the Novel: If the novel you write isn’t smarter
than you, it’s probably a bad novel.

Learning synths: https://learningsynths.ableton.com/en/makingchanges/amplitude 
https://news.ycombinator.com/item?id=20272346 
 Greg Egan list of physics: https://www.gregegan.net/SCIENCE/Science.html
 Vim capture groups: https://stackoverflow.com/a/17734304/5305365
 Books on “raw counting”: The Art of Proving Binomial Identities, Bijective Combinatorics
 Efficient EMatching for SMT Solvers
 monotonicity and deltas is needed by datalog inside propagators?
 Lennart Blog: http://augustss.blogspot.com/2007/04/
 https://en.wikipedia.org/wiki/Inline_caching#Polymorphic_inline_caching
 http://twelf.org/wiki/Main_Page
 LF for dependent types.
 A hunt for a dictionary of rare words: http://wwwpersonal.umich.edu/~jlawler/wordlist.html,
which also led me to http://phrontistery.info/isms.html
 Video lectures on computational AG: http://swc.math.arizona.edu/oldaws/06Notes.html
 Algebraic function fields and codes: Covers some version of Riemann Roch in chapter 1!
Seems to build a decent amount of algebraic number theory to then perform
coding theory. Is very cool.
 Street fighting mathematics: How to do mathematics: https://www.cs.cmu.edu/~odonnell/toolkit13/howtodomathandtcs.pdf
 Books on writing: (1) On Writing by Stephen King, (2) Anatomy of Story by
John Truby (3) The Art of Dramatic Writing by Lajos Egri,
(4) Bird by Bird by Anne Lamott, (5) Theory of Prose by Shklovsky,
(6) Morphology of the Folk Tale by Propp, (7) Narrative Discourse by Genette,
and (8) Structural Semantics by Greimas, (9) Building Great Sentences
 Stream fusion to completeness: https://arxiv.org/pdf/1612.06668.pdf
 PhD qualifying exams, large list: https://math.stackexchange.com/questions/267554/onphdqualifyingexams/270467#270467
 Mishchenko/Fomenko  “A Course of Differential Geometry and Topology”. It
develops everything up from Rn, curves and surfaces to arrive at smooth
manifolds and LOTS of examples (Lie groups, classification of surfaces, etc).
It is also filled with LOTS of figures and classic drawings of every
construction giving a very visual and geometric motivation. It even develops
Riemannian geometry, de Rham cohomology and variational calculus on manifolds
very easily and their explanations are very down to Earth.
 Stoker, differential geometry: Very concrete first few chapter, then does
abstract manifolds next few chapters, finally ends up at relativity.
 Ergodic theory explanation for burnside:
https://mathoverflow.net/questions/50033/intuitiveexplanationofburnsideslemma
 Geometry: A metric approach with models by Richard S Millman: https://math.stackexchange.com/a/615095/261373
 Invitation to ergodic theory by CE Silva. Contains a first chapter on
Lebesgue measure, so no difficulties of “not knowing measure”.
 All the good tutorials on competitive programming in
codeforces: https://codeforces.com/blog/entry/57282
 Computataional algebraic number theory:
A Course in Computational Algebraic Number Theory by Henri Cohen
 Algorithms to compute the primary decompositions of ideals:
(1) Localization and Primary Decomposition of Polynomial ideals
(2) EisenbudHunekeVasconcelos
 Zhegalkin polynomials: Think edward told me about to compute toric varieties
 Indian IAS preparation textbooks: https://www.jagranjosh.com/articles/bestbooksforiasexam14798148341
 Ballentine: Quantum Mechanics: A Modern Development. Rigorously
builds up QM from rigged hilbert spaces, and probability theory from
Kolmogrov axioms.
 Recursive estimation and the kalman filter
 Books in the style of needleham’s Visual complex analysis
 Online etymology dictionary: Etymonline
 ImagineFX: digital art magazine
 Learning how to draw: structured exercises! Draw a box
 The digital line: a nonHausdorff space important in graphics: https://math.stackexchange.com/a/3778161/261373.
This seems to give topological meaning to a bunch of interesting “discrete”
algorithms. I’ll have to check it out.
 Defending the Undefendable: The Pimp, Prostitute, Scab, Slumlord, Libeler,
Moneylender, and Other Scapegoats in the Rogue’s Gallery of American Society
Origins of Mathematical Words, a book about the etymology of mathematical
terms.
 Nice example of left/right identities in terms of colored sheets
Consider a set of opaque colored sheets, along with a binary operation of
stacking sheets. Then every sheet is a left identity, UNLESS you add a
transparent sheet to the set, at which point none of the other sheets are
left identities anymore, and only the transparent sheet remains as an
identity.
 Why do people stay poor?
There are two views as to why people stay poor. The equal opportunity view
emphasizesthat differences in individual traits like talent or motivation
make the poor choose lowproductivity jobs. The poverty traps view
emphasizes that access to opportunitiesdepends on initial wealth and hence
poor people have no choice but to work in lowproductivity jobs. We test the
two views using the random allocation of an asset transferprogram that gave
some of the poorest women in Bangladesh access to the same jobopportunities
as their wealthier counterparts in the same villages. The data rejectsthe
null of equal opportunities. … Our findings imply that largeoneoff
transfers that enable people to take on more productive occupations can
helpalleviate persistent poverty.
 SPQR by Mary Beard: is a Roman history more or less with the midpoint as the
fall of the Republic and transition to Empire… a very apt piece of history
in the current political climate.
 Anarchy, State, and Utopia by Robert Nozick:
Nozick argues in favor of a minimal state, “limited to the narrow functions
of protection against force, theft, fraud, enforcement of contracts, and so
on.” When a state takes on more responsibilities than these, Nozick argues,
rights will be violated. To support the idea of the minimal state, Nozick
presents an argument that illustrates how the minimalist state arises
naturally from anarchy and how any expansion of state power past this
minimalist threshold is unjustified.
 Lam’s Lectures on Rings and Modules, apparently the
best book in the world for rings and modules
 New dimensions in geometry by manin.
Describes “supergeometry”, where we analyze
Z[x1,..., xn, e1, ... en]
where the ei
anticommute amongst themselves, and commute with the xi
.
This gives it a symplectic dimension (ei
), regular space dimension (xi
),
plus a single Z
dimension. This somehow leads to the notion that Spec(Z)
ought
to be thought of as a 3manifold..
 Measure theoretic proof of Chebyshev: https://mathoverflow.net/a/65922/123769
 Geometry of Kalman filters
 How inuit parents teach children to control their anger.
Traditional Inuit parenting is incredibly nurturing and tender. If you took
all the parenting styles around the world and ranked them by their gentleness,
the Inuit approach would likely rank near the top. (They even have a special
kiss for babies, where you put your nose against the cheek and sniff the skin.)
The culture views scolding — or even speaking to children in an angry voice —
as inappropriate, says Lisa Ipeelie, a radio producer and mom who grew up with
12 siblings. “When they’re little, it doesn’t help to raise your voice,” she
says. “It will just make your own heart rate go up.”
Traditionally, the Inuit saw yelling at a small child as demeaning. It’s as if
the adult is having a tantrum; it’s basically stooping to the level of the
child, Briggs documented.
 Vicious circles — contains
stories of sets, quines, and recursion theory. Contains theorems on how to
formally derive quines.
 MIT OCW lecture notes for combinatorics
 Uses of the internal language of a topos in AG.
Contains references to why topoi matter.
 Good notes on the hungarian algorithm
 Introduction to the theory of schemes by Manin
appears to contain much geometric content about scheme theory, along with cleaner pictures of
Spec
where Spec
is drawn as “layered” instead of “fuzzy” as mumford does.
 Page of David a Cox that contains a wealth of information about grobner basis, elimination theory, toric varieties. It also contains information on the relationship between Newton’s method and Galois theory.
 How to learn arithmetic geometry
 Great example explaining how egyptian is both logographic as well as phonographic
 Constantinople myth: it will rise and fall to an emperor named Constantine with
a mother named Helena.
 Using the internal language of toposesin algebraic geometry: https://rawgit.com/iblech/internalmethods/master/notes.pdf
 Algebraic Geometry from the beginning.
Expository blog posts that has the algebraic, geometric, and computational
parts of AG. Really neat!
 The oldschool PC font resource.
I found some fonts I really enjoyed! (i) Px437 Amstrad PC2y regular.
(ii) Px437 ApricotXenC Regular/Bold. (iii) Px437 Compaq Port3 Regular
(iv) Px437 Compis regular. (v) Px437 PhoenixEGA 9x14 regular.
 Karpman drama triangle
The drama triangle is a social model of human interaction – the triangle maps
a type of destructive interaction that can occur between people in conflict
The triangle of actors in the drama are oppressors, victims and rescuers.
The Victim: The Victim’s stance is “Poor me!” The Victim feels
victimized, oppressed, helpless, hopeless, powerless, ashamed, and seems
unable to make decisions, solve problems, take pleasure in life, or achieve
insight. The Victim, if not being persecuted, will seek out a Persecutor and
also a Rescuer who will save the day but also perpetuate the Victim’s
negative feelings. The Rescuer: The rescuer’s line is “Let me help you.”
A classic enabler, the Rescuer feels guilty if they don’t go to the rescue.
Yet their rescuing has negative effects: It keeps the Victim dependent and
gives the Victim permission to fail. The rewards derived from this rescue
role are that the focus is taken off of the rescuer. When they focus their
energy on someone else, it enables them to ignore their own anxiety and
issues. This rescue role is also pivotal because their actual primary
interest is really an avoidance of their own problems disguised as concern
for the victim’s needs. The Persecutor: (a.k.a. Villain): The Persecutor
insists, “It’s all your fault.” The Persecutor is controlling, blaming,
critical, oppressive, angry, authoritarian, rigid, and superior.
 Classical Algebraic Geometry: a modern view
Tome of classical AG.
 From Tao’s article on gauges:
(i) Quivers. This theory basically concerns connections on vector bundles over
(usually finite) directed graphs. One novel feature, over manifolds, is
that the dimension of the “bundle” may change over different points. The
“connection”, usually called a representation of the quiver, is a choice
of linear map for each edge of the graph. If one fixes a gauge, i.e. a
basis for each vector space, then the theory is boring — the space of
connections is itself a big vector space. The interest is in the gauge
transformations, whose group is the product of the general linear groups
of the vector spaces. (ii) Currency trading
 if everything is political, nothing works
 Science is politics; it is not politics
 Kaliedoscopes: optics through applicatives
 UPenn linguistics course. Has
lecture notes.
 Three dimensional geometry and topology
Most of it is readable to undergraduates. Its target audience, though, is
beginning graduate students in mathematics. If not already familiar with
hyperbolic geometry, you might want to get an introduction to the subject
first. Once with this background, though, you will discover there is another
level of understanding of hyperbolic space you never realized was possible. One
imagines Thurston able to skateboard around hyperbolic space with the kind of
geometric understanding he conveys here.
 1/k! as the volume of the ksimplex: gives geometric meaning to the 1/k! in taylor series.
 Dark Mountain movement. A movement
about changing the narrative of the 21st century to stave off, or at least
prepare better for, the eventual cycle of collapse of society.
What both Russell and Conrad were getting at was a simple fact which any
historian could confirm: human civilisation is an intensely fragile
construction. It is built on little more than belief: belief in the rightness
of its values; belief in the strength of its system of law and order; belief in
its currency; above all, perhaps, belief in its future.
…
Once that belief begins to crumble, the collapse of a civilisation may
become unstoppable. That civilisations fall, sooner or later, is as much a
law of history as gravity is a law of physics. What remains after the fall
is a wild mixture of cultural debris, confused and angry people whose
certainties have betrayed them, and those forces which were always there,
deeper than the foundations of the city walls: the desire to survive and
the desire for meaning
…
What remains after the fall is a wild mixture of cultural debris, confused
and angry people whose certainties have betrayed them, and those forces which
were always there, deeper than the foundations of the city walls: the desire to
survive and the desire for meaning
 Deschooling Society
“Many students, especially those who are poor, intuitively know what the
schools do for them. They school them to confuse process and substance. Once
these become blurred, a new logic is assumed: the more treatment there is,
the better are the results; or, escalation leads to success. The pupil is
thereby “schooled” to confuse teaching with learning, grade advancement with
education, a diploma with competence, and fluency with the ability to say
something new. His imagination is “schooled” to accept service in place of
value. Medical treatment is mistaken for health care, social work for the
improvement of community life, police protection for safety, military poise
for national security, the rat race for productive work. Health, learning,
dignity, independence, and creative endeavor are defined as little more than
the performance of the institutions which claim to serve these ends, and
their improvement is made to depend on allocating more resources to the
management of hospitals, schools, and other agencies in question. In these
essays, I will show that the institutionalization of values leads inevitably
to physical pollution, social polarization, and psychological impotence:
three dimensions in a process of global degradation and modernized misery.”
 Tools for Convivality
Radical monopoly is a concept defined by philosopher and author Ivan Illich
in his 1973 book, “Tools for Conviviality,” and revisited in his later work,
which describes how a technology or service becomes so exceptionally dominant
that even with multiple providers, its users are excluded from society
without access to the product. His initial example is the effect of cars on
societies, where the car itself shaped cities by its needs, so much so that
people without cars become excluded from participation in cities. A radical
monopoly is when the dominance of one type of product supersedes dominance by
any one brand. Social media as a technology in the forms of
Facebook/Instagram/Twitter could be seen as a radical monopoly for
reputation, as is Linkedin for employment, colleges for education, etc. I
think Illich’s criticisms of car culture pushed him outside the Overton
window of policy making, but his radical monopoly concept is a useful
critical tool for reasoning about tech and ethics. A counter argument could
use the example that the discovery of fire created a radical monopoly on
heat, and therefore it’s so general as to be applied arbitrarily to anything
you don’t like. However, being able to think about the consequences of a new
radical monopoly might have on some aspect of human experience is useful for
anticipating policy options in response to dynamic technology development.
 Handbook of geometry for competitive programmers
 Andrew Marr: A history of the world.
 Great animations of sphere eversion, setup with scrolling and webGL
 Interesting thought about why people dislike the ribbon layoyt:
It sounds like the issue is that the layout isn’t spatial. There isn’t a 1:1
mapping between place and object. The same place can have multiple objects
depending on what tab’s selected.
 AG in the time of Covid: Ravi Vakil’s course
 Elanor Ostrom: analysis of how to build systems which encourages cooperation and not competition: Design principles for Common Pool Resource (CPR) institution
Mikutap
: Website with gorgeous transitions, I wish to replicate
 From parametricity to Noerther’s theorem
 Program design by calculation: Has a sweet graphical/geometric interpretation of galois connections
 Derivation of wave equation
 Mumford’s recollections of coming to India and staying at TIFR
 Indra’s pearls: book from mumford
 twtxt: UNIX based microblogging
 It’s called the center of a group, because just like the city centre, everybody commutes there.
 Books on the financial system:
(1) A Monetary History of the United States (2) The General Theory of Employment, Interest and Money
 What are the topological obstructions to chaos in 1D and 2D?
 Involutive MCMC: new MCMC method that has classical MCMC methods as special cases
 Fun blog with visualizations by Nicholas Pilkington
 Chernoff fish: A way to build fishes that reflect the statistics of the data
 Ma and the use of negative space
 Dan Piponi’s notes on differential forms. Has good diagrams
 Jacobi field: Diffeq that contains the Riemann curvature tensor. Maybe useful to develop and intuition.
 William MacNeill’s Plagues and Peoples: Looking at history through the lens of diesease
 The presentation of self in everyday life
 Theirrey Coquand’s website
 ConceptModelIdiom
 Gorgeous animation: Escher solid
 Eastern European Movies
 Combinatorial meaning of determinant
 Motivation for distribution theory
 Addition in terms of group theory: 2 cocyles
 How to think about non hausdorff topologies in the finite case (as a preorder). Also:
To make an example possibly closer to us, think you’re in a car in the urban
traffic. Due to oneway streets, metric is not the best way to organize your
perception of the space: actually, the proper topology to do that is possibly
not Hausdorff (usually, you can’t move to A without immediately finding
yourself in B, and once you are in B, you are enormously far from A, even if
you changed your mind about the opportunity of the movement.)
 Free Pascal
 The strategy of conflict, book by Schelling about Schelling points
 All about circuits: How to learn bottom up circuits
 https://arxiv.org/pdf/1801.09553.pdf
 Books that tour mathematical domains
 Catchy encodings of serious mathematics
 Intuition for chernoff: pointwise => integrals
 Occurs check: cannot construct the infinite type:
a ~ a > a
< automatically make it a domain?
Language with only domains?
 Think of A5 in terms of the picture I put inside ~/blog/static/ [icosian calculus]
 Bill Mollison: permaculture/Permaculture One
 Algebraic geometry with a lot of geometry: Fulton’s Algebraic Curves; Griffiths,Harris’s text on Complex Algebraic Geometry
 Engineering applications of noncommutative harmonic analysis.
 SnoB / representation theory of Sn / fourier transform on Sn:
(i) his thesis
(ii) link to his library
(iii) link to mini course
 Full text search with bloom filters
 sparse sets using two arrays and pointers between them
An efficient representation for sparse sets
 A species approach to the twelvefold path / rota
 Important formulas in combinatorics
 George Springer: Introduction to Riemann sufaces. Good, lowtechnology account
of riemann surface theory that gets to Riemann Roch!
 Icosan calculus
 generalization of 2nd isomorphhism theorem: Modular Lattices
 Planning the Unthinkable: How New Powers Will Use Nuclear, Chemical, and Biological Weapons
 On Limited Nuclear War in the 21st Century
 Abel’s theorem in problems and solutions.
 Mikhail Bakunin: founder of collective anarchism.
 Algebraic geometry
 Continued fractions, mobius transformations.
 Domain theory crash course.
 Learn how to generate music.
 Fast mobius inversion using heavy/light?
 Sphere packings, lattices, groups.
 Gaussian geometry
 Gauss bonnet proof
 Low dimensional diffgeo (classic, curves, surfaces)
 Algebraic curves and riemann surfaces: has real cohomology uses,
sheaves, all the tools I want to see in action.
 Domain theory.
 Janus (time travel) for algorithmX style backtracking algorithms.
 Incidence Hopf algebra.

Think about lexordering as some kind of metric. Eg. a, b, c
each define
a branch in space. abc
counts for [a]/4 + [b]/4 + [c]/4
,
where [a] = 1, [b] = 2, [c] =3
. This way, the lowest lex word is the
path that keeps us closest to 0
. See how much of the string stuff
can be reinterpreted this way.
 Word processing in groups: book on automatic groups, hyperbolic groups,
and their relations.
 Stone duality
 Create a viewer for tensor the way fortran displays arrays.
 DebugIR.
 CRAB for llvm.
 Finish the godbolt PR for STG and Cmm
 Help with coq docs: https://github.com/coq/coq/issues/8946
 SAT Solver
 Deltas
 Dataflow: notice that arrow desugaring is bad, make this faster!
 Finish implementation of live range reordering ()
 Upstream change to
gensimdata
changing the order of downloading
and then trying to pull data locally.
 Structure theorem for PID
 Propogators (Renissance of the propogator paper  ekmett).
 Word2Blank paper.
 ApplicativeDo.
 Get the using segmented stack hack on simplexhc into GHC, run with nofib
for delta.
 Cleanup POIS notes
 BDD optimisation.
 Hyperfunctions.
 Freejit
 Tagged data flow architecture
 Geometric algebra
 Information geometry
 Elements of set theory.
 Information theory
 Topology via logic
 Geometric algebra
 Universal algebra (An invitation to General Algebra and Universal Constructions)
 Real Numbers from Exodus
 Geometry of manifolds
 Mathematical methods of classical mechanics, Arnold, Lectures notes on sympletic geometry
 Ideals, Varietites, and Algorithms
 Differential forms and connections
 Differential forms of curves and surfaces
 Tychonoff theorem
 Elementary applied topology
 Arthur Whitney guy who writes dense code.
 Directly solve system of recurrences we get from loops. (Loatpurrs has been
installed, use it to compute closed forms)
 Reverse mode automatic differentiation
 Andrej Bauer blog posts
 Toric ideals
 Noncommutative rational series with applications
 Normaliz: Can solve hilbert basis.
 A data parallel compiler hosted on the GPU
 Definitional interpreters for higherorder programming languages (Defunctionalization, original paper)
 Languages of the Underworld of West Bengal
 Language identification in the limit: inductive inference of regular / context free langs
 Blog post: An accessible example of classical gauge theory (wave from adding springs)
 Forcing
 Homology via everyday examples
 Jeff E: Algorithms  Excellent collection of explanations of algorithms.
 The little book of OS development
 Computer architecture, a constructive approach (for processor design)
 Algebraic geometry and statistical learning theory: Sumio watanabe
 IRE: book on information retreival
 P3G
 awesome Competitive Programming (big list)
 Fenwick tree in terms of orbits
 SchorrWaite algorithm for graph marking
 GraphQL apparently don’t need you to use a graph DB on the backend?
 Partial evaluation nd automatic program generation
 Geometry algorithms
 Computational Geometry in C
 Algebraic Curves and Riemann Surfaces (Rick Miranda)
 The great ISAs, a course on computer architecture as it could have been.
 What you need to know about Yoneda
 order statistics inside C++
 trie using order statistics tree
 Matroid intersection
 Michel X Goemans, advanced combinatorial optimisation
 Collection of competitive programming tricks
 Wavelet trees
 FFT, polynomials notes
 Finding the minimal polynomial of a recurrence
 About ordinals and infinity, contains some exposition from Conway
 Read everything by conway: The Book of Numbers
 Discrete Morse theory
 Topos of monoid actions
 An introduction to mechanics and symmetry
 The geometry of whales and ants / Intro to hyperbolic geometry
 The Shape of Space
 HartreeFock method for simulation
 Fortune’s algorithm for Delaunay triangulation
 Li chao tree
 Aliens
 Vehicles: Experiments in Synthetic Psychology
 Uniform space
 DFS bridges intuition
 Discrete morse theory.
 Legendre transform
 Three lectures on free probability: why cumulants are the correct way to think about distributions
 mlock / locking memory: https
 RETYPED NOTES OF John Milnor
 Vector displays
 APL idioms
 No stinking loops!
 Can spaced repetition train LSTMs?
 Anatoli fomenko artist topology spaces math art
 Histomorphisms and dynamorphisms
 Primes of the form x2+ny2 (Good intro to algebraic number theory!)
 An exposition of the KrohnRhodes decomposition theorem: http://wwwverimag.imag.fr/~maler/Papers/krnew.pdf
 Biohazard: The Chilling True Story of the Largest Covert Biological Weapons Program in the World  Told from Inside by the Man Who Ran It
 Mathematical methods for engineers
 Unified Media Programming: An Algebraic Approach (uses semigroups)
 Check if decomposition gives something useful for presburger automata??
 Discrete Algebraic Methods: book that contains presburger AND krohnrhodes!
 Beyondloom: list of K/APL articles
 A description of the collaboration between Serre and Grothendieck. Powerfully written
 Cascade Decompositions are BitVector Algorithms!
 “You just pick the speed of light squared in Minkowski space to be an
appropriate algebraic number, and magic happens! Suddenly solutions of
natural PDE’s on hyperbolic manifolds are linked with cohomology of
arithmetic groups.” I picked it up from a variety of sources, but I’d
recommend reading anything by Alan Reid. He has some course notes floating
around which cover arbitrary hyperbolic nmanifolds, though I can’t seem to
track them down at the moment. People often focus on hyperbolic 3manifolds
because there are some very strong links to number theory (e.g. Spec(Z)
behaves like a 3manifold in certain ways), but the machinery works for
higher dimensional hyperbolic manifolds as well. “Arithmetic hyperbolic
manifolds” is a good keyword to look for if you want to dig deeper.
a link for the above
 hull: using the filesystem to maintain state of program
 Dilworth’s theorem: length largest antichains (pairwise incomparable elem) = number of disjoint maximal chains
 Intro to condensed matter
 Andreson, more is different, antireductionism
 Blog on solid state physics/Condensed matter
 Solid state physics basics. Has a bunch of stuff on reciprocal lattices
 Lattice differential geometry, a generalization of DDG
 Gerard t’hooft list of physics lecture notes
 Red plenty: book about how people thought communism would be better economically than capitalism (SSC)
 The machinery of freedom: 1975 book on libterterianism, feels “fresh”. (SSC)
 Bregman divergence, great article
 MAthematical methods of classical mechanics: mathematical physics book for classical mechanics.
 Felix Klein: Development of mathematics in the 19th century: strognly encouraged by V I Arnold
 https://physicstravelguide.com
 Axioms and Hulls: Book by knuth on geometry algorithms, starting axiomatically!
 rework fuzzy to also make use of negative vectors.
 Theorizing Contemporary Anarchism
 Visualizing curved spacetime: Rickard M. Jonsson
 Lycurgus of Sparta
 Quasirandom sequences reading
 Prob. theory in terms of cointuionistic variant of minimal logic
 Is the a relationship between kernels, level sets (kernel is a level set), lagrange multipliers,
discrete morse theory? [which talks about critical points].
 The power of prolog: proper prolog tutorials!
 The Elements of Style: writing advice.
 Gordon Plotkin pisa notes on domain theory
 Algorithm to decompose number into sum of 4 primes
 Jack Cremshaw’s article on building compilers mixing parsing with codegen / Single pass compilers / One pass compilers / 1 pass compilers. Can we write fast C compilers this way? probably not, due to preprocessor :( Can we get fast Pascal commpilers thigs way? Maybe…
 The Zen of Code Optimization — The Ultimate Guide to Writing Software That Pushes PCs to the Limit: Low level programming tricks.
 Hacker’s Delight.
 Agner fog: dude who maintains info about X86 optimiation
 More moment map reading
 Book whose Ch 13 and 14 cover moment maps
 Polyscope: geometry processing library
 List of contradictory truisms with an enjoyable flavour
 Cw stands for for “wipe out” in emacs. List of similar mnemonics
 Build your own working robot
 Take birkhoff polytope; is a polytope, can build discrete diff geo
around it. consider tangent spaces. now perform DHMC on this space?
Problem is that the “interesting” points are vertices, so we may
not gain much. However, what happens if we tesselate the space
with birkhoff polytopes? Perhaps likely we get something? it’s
unclear, but very interesting for sure.
 VC dimension as matroid?
 How to Write a Sentence: how to get better at writing.
 Bugs in writing: a guide to debugging you prose.
 The chicago manual of style, for styling on how to write.
 Hierarchical Structures and Scaling in Physics
 Conversation with arjit about iheritance versus composition. Ie,
SourcePanel : public Panel
versus
Panel a = ...; type SourcePanel = Panel Source
.
 Flat assembler: assembler with very strong macro support.
 HLA (highlevelassembler): assembler with a huge STDLIB, Clikesyntax and pattern matching.
 Lens over tea
 Galculator: proof assistant using galois connections.
 Topos theory videos
 Tropical fourier transform is a legendre transform?! mathoverflow, arxiv, Dan Piponi’s notes
 Jet bundles
 Lagrangian submanifolds
 Intro to Scheme theory
 Church encoding / BÖHMBERARDUCCI
 Synthesis: selfmodifying kernel
 Strong towns, we’ve built cities we cannot afford
 Why Nation Fails, How democracies die
 Chronicles of Wasted Time
 Hysterical Realism: a genre of writing that includes Infinite Jest. I might really enjoy it, from the sound of things
sizecoding.org
how to build demos, wealth of demoscene knowledge! shows basic MSdos getting started
pouet.net
demoscene group
 subreddit for tiny code/demoscene:
tinycode
 lock picking!
 Chess Programming: they usually have the best knowledge of obscure ASM instructions
 PROCEDURAL GENERATION TODO: video of alabama shakes future people.
 Learn how to free associate when writing/rhyming. Gold standard: Can’t stop, RHCP.
Think of a good algebra for this duality between “slots” and “indexes”
 ponder an algebra that gives us segments: ie, given a list, gives us [left..right],
given a tree, gives us subtree representation (eg. recover euler tour?)
 build language to convert between ‘flat’ memory representations and
data manipulation. eg.
list a = cons a (list a)  nil
. this in sparse form
is linked list, in dense form is array. tree a = nil  branch a (tree a) (tree a)
in
sparse form is tree, in dense form is some dense repr. complete a = leaf a  branch (complete a) (complete a)
is tree in sparse form, heap in dense form.
 Flipcode: demoscene, rasterization, etc.
 Mir: Kinematic method for geometry, contains a lot about barycentric coordinates
 Mir: Operational methods. Has theory of distributions.
 Mir: Big list of cybernetics books
 Mir: The world is built on proabbility (thermodynamics <> entropy)
 Mir: Computational mathematics
 Mir: Percolation theory: Physics and Geometry of disorder
 Mir: A simple non euclidian geometry and its physical basis
 Mir: Theory of elasiticity
 Mir: Plasma physics
 Semiconductors: seems to contain explanations of how to use semiconductors
 Mir: Laser physics
 Mir: Problems in differential geometry and topology
 Mir: Linear algebra and multidimensional geometry. Contains use of reciprocal basis!
 Style: lessons in clarity and grace.
 Multivariate Calculus and Geometry: has intro to gaussian curvature, theory of surfaces in 3D.
 Word problems in russia and america: scathing critique of how american math education is screwed
also, interesting anecdote about how looking for ‘reality’ in mathematical problems
may in fact break student’s ability to think in the abstract! This is
a deep insight.
 Imaginary numbers are not real: the geometric algebra of spacetime.
 Topological games: games that reflect some topological property
 Tibetian book of dying / Tibedian book of death
 Knuth Bendix completion: A generalization of grobnerbasis / bucchberger algorithm to arbitrary systems
 Guide to Competitive Programming: Antti Laaksonen
 Maps of meaning: Jordan peterson’s lectures; talks about mythological myths
 TOOL TO BUILD: linters that will overlay compilertier optimization hints on top of handwritten assembly?
 building structures by hanging things with tension.
Example using LEGO.
 Mathematics of tensegrity: Frameworks, tensegrities, and symmetry. Understanding stable structures
 Spinors: A gentle introduction
 Separation logic through a new lens: Lensifies separation logic.
 The derivative operator: paper by ken iverson that generalizes derivative to jacobian, curl, whatnot.
 Combinatorial manifolds / tropical style manifold
 Noncommutative rational series with applications [They work with coefficients in an arbitrary semiring, which can be like watching paint]
 Evolution of eusociality
 Financial Shenanigans by Howard M Schiit.
 lying for money, The Match King, The Smartest Guys in the Room, Bad Blood, Billion Dollar Whale
 Great works in programming languages
 Divided power structure: is a way of making expressions of the form x^n/n! (taylor serieslikeobjects) meaningful even when we don’t have access to n! (n factorial).
 Arend: proof assistant for HoTT cubicalTT
 Errett Bishop: Constructive Analysis
 Theory of elites: Theh italian school of elitism
 Multiplicative weight update algorithm: contains gradient descent and samplinglike algorithms as close cousins
 Regular Car Reviews: 2012 Toyota FJ Cruiser. Explaning simulation v/s simulacra through a car review. Jean Baudillard.
 Simulacra v/s simulacra, discussion on hackernews
 Learn semantics of javascript:
function mk() { let inner = function() { console.warn(this.x)}; inner = inner.bind({x: 42}); inner.x = 42; return inner; }; mk()(); console.log(mk().x);
. NOTE: this behaviour changes if inner
is an arrow function. What are the denotational semantics of this?
 Queueing Theory.
 https://codeforces.com/blog/entry/77551
 Slope trick for DP over convex functions
 ADHD: A lifelong struggle: Why organisation systems don’t work
 Slides for intuition on converting number systems to data structures by Ralf Hinze
 James mickens: hilarious articles — this one on security