A Universe of Sorts
§ Siddharth Bhat
 Hook length formula
 The tyranny of light
 Muirhead's inequality
 Rearrangement inequality
 Triangle inequality
 The Heather subculture
 Frobenius Kernel
 Galois theory by "Abel's theorem in problems and solutions"
 Galois theory perspective of the quadratic equation
 Burnside lemma by representation theory.
 Contributing to SAGE
 Shadow puppet analogy for entanglement
 Books for contest math
 Analysing simple games
 Using
egg
: Extensible equality saturation (WIP)  Using the
bound
library (WIP)  Linear algebraic proof of the handshaking lemma
 Historical contemporaries
 Rota's twelvefold way
 Counting necklackes with unique elements
 Decomposition of projective space
 Childhood: Playing pokemon gold in japanese
 Tensor is a thing that transforms like a tensor
 Tensor Hom adjunction
 Schur's lemma
 Newton polygon and simplification, blowing up (WIP)
 Daughters of destiny
 Stuff I learnt in 2020
 Method of types in information theory(WIP)
 Line bundles, a high level view as I understand them today
 Conversations with a wood carver
 Resolution and first order logic (WIP)
 Kruskal card trick (WIP)
 Discrete Riemann Roch (WIP)
 Conversation with Olaf Klinke
 Topological groups and languages
 Killing fields (WIP)
 The mnemonica stack (WIP)
 Conversation with Alok about how I read
 KMP (Knuth, Morris, Pratt) (WIP)
 Reading C declarations
 Make mnemonics
 Vandermonde and FFT
 Thoughts on blitz chess: 950 ELO
 Periodic tables and make illegal states unrepresentable
 Big list of questions on the structure of graphs
 Combinations notation in bijective combinatorics
 Arguments for little endian
 Expectiles
 Depth first search through linear algebra (WIP)
 2SAT
 Longest increasing subsequence, step by step (WIP)
 On reading how to rule (WIP)
 Strongly Connected Components via Kosaraju's algorithm
 Articulation points
 Disjoint set union
 Making GDB usable
 Bouncing light clock is an hourglass
 Euler tours
 Representation theory of the symmetric group (WIP)
 Maximum matchings in bipartite graphs
 padics, 2's complement, intuition for bit fiddling
 Diameter of a tree
 Catalan numbers as popular candidate votes (WIP)
 The chromatic polynomial (WIP)
 Structure theory of finite endofunctions
 Number of paths in a DAG
 Set partitions
 Integer partitions: Recurrence
 Stars and bars by direct bijection
 DFS and topological sorting
 Tournaments
 Matching problems (TODO)
 Four fundamental subspaces
 WHO list of essential medicines (WIP)
 why is
int i = i
allowed in C++?  Kakoune cheatsheet
 Assembly IDE
 Cohomology is like holism
 Flows (WIP)
 Amortized analysis
 Shelly Kegan: death  Suicide and rationality (WIP)
 Sam harris and jordan peterson: Vancouver 1 (WIP)
 Correctness of binary search

readlink f
to access file path  rank/select as compress/decompress
 Remembering Eulerian and Hamiltonian cycles
 Nice way to loop over an array in reverse
 Dynamic Programming: Erik Demaine's lectures
 Accuracy vs precision
 Why is the gradient covariant?
 Politicization of science
 Multi ꙮ cular O: ꙮ / Eye of cthulu
 You can't measure the one way speed of light
 Show me the hand strategy
 Words that can be distinguished from letters if we know the sign of the permutation
 Easy times don't create weak people, they just allow weak people to survive.
 Multiplicative weights algorithm (TODO)
 How to fairly compare groups
 Z algorithm (TODO)
 Bijection from
(0, 1)
to [0, 1]
 Rene Girard
 Noam Chomsky on anarchism (WIP)
 Slavoj Zizek: Violence
 Poverty: Who's to blame?
 Learn Zig in Y minutes
 The algebraic structure of the 'nearest smaller number' question
 Why loss of information is terrifying: Checking that a contextfree language is regular is undecidable
 Sciences of the artificial
 Numbering nodes in a tree
 Number of vertices in a rooted tree
 Median minimizes L1 norm
 LISP quine
 A slew of order theoretic and graph theoretic results
 Thebes
 Beethoven
 Neko to follow your cursor around
 Non commuting observables: Light polarization
 Statement expressions and other GCC C extensions
 A quick look at impredicativity
 Data oriented programming in C++
 Retro glitch
 SSA as linear typed language
 Nix weirdness on small machines
 Autodiff over derivative of integrals
 Proof of projective duality
 Preventing the collapse of civilization
 Violent deaths in ancient societies (WIP)
 An elementary example of a thing that is not a vector
 Elementary probability theory (WIP)
 The handshaking lemma
 Git for pure mathematicians
 Mutorch
 Computing the smith normal form
 Laziness for C programmers
 Exact sequence of pointed sets
 What is a syzygy? (WIP)
 Under the spell of Leibniz's dream
 Normal operators: Decomposition into Hermitian operators
 Readable pointers
 The grassmanian, handwavily
 Lie bracket as linearization of conjugation
 Computational Origami
 Katex in duktape
 Kebab case
 Localization: Introducing epsilons (WIP)
 NaN punning
 Offline Documentation
 Using Gurobi
 osqp: convex optimizer in 6000 LoC
 stars and bars by generating functions
 This is not a place of honor
 Topological proof of infinitude of primes
 Burnside Theorem
 The Ise Grand shrine
 Edward Kmett's list of useful math
 Cokernel is not sheafy
 Von neumann: foundations of QM
 Discrete schild's ladder
 Derivative of step is dirac delta
 Extended euclidian algorithm
 In a PID, all prime ideals are maximal, geometrically
 Prime numbers as maximal among principal ideals
 Axiom of Choice and Zorn's Lemma
 Local ring in terms of invertibility
 Nullstellensatz for schemes
 Perspectives on Yoneda
 Germs, Stalks, Sheaves of differentiable functions
 Connectedness in terms of continuity
 Intuition for limits in category theory
 Finite topologies and DFS numbering
 Categorical definition of products in painful detail
 Why is the spectrum of a ring called so?
 Ergo proxy
 Satisfied and frustrated equations
 Combinatorial intuition for Fermat's little theorem
 An incorrect derivation of special relativity in 1D
 The geometry and dynamics of magnetic monopoles
 Sanskrit and Sumerian
 Writing Cuneiform
 The code of hammurabi
 The implicit and inverse function theorem
 Whalesong hyperbolic space in detail
 Motivating Djikstra's
 Intuitions for hyperbolic space
 Product of compact spaces in compact
 Hyperbolic groups have solvable word problem
 Elementary uses of Sheaves in complex analysis
 Snake lemma
 Kernel, cokernel, image
 The commutator subgroup
 Simplicity of A5 using PSL(2, 5)
 A5 is not solvable
 Complex orthogonality in terms of projective geometry
 Arithmetic sequences, number of integers in a closed interval
 The arg function, continuity, orientation
 Odd partitions, unique partitions
 Continued fractions, mobius transformations
 Permutationsandlyndonfactorization
 Graphs are preorders
 Crash course on DCPO: formalizing lambda calculus
 Parallelisable version of maximum sum subarray
 Thoughts on implicit heaps
 Discriminant and Resultant
 Polynomial root finding using QR decomposition
 A hacker's guide to numerical analysis
 Mobius inversion on Incidence Algebras
 Finite differences and Umbral calculus
 Permutahedron
 Lyndon + Christoffel = Convex Hull
 Geometric proof of
e^x >= 1+x
, e^(x) >= 1x
 Ranking and Sorting
 Proof of minkowski convex body theorem
 Burrows Wheeler
 Intuitionstic logic as a Heytig algebra
 Edit distance
 Evolution of bee colonies (WIP)
 Best practices for array indexing
 Algebraic structure for vector clocks
 Networks are now faster than disks
 Einsteinde Haas effect
 Rankselect as adjunction
 Bounding chains: uniformly sample colorings
 Coupling from the past
 Word problems in Russia and America
 Encoding mathematical hieararchies
 Learning code by hearing it
 Your arm can be a spinor
 Self modifying code for function calls: Look ma, I don't need a stack!
 Adjunctions as advice
 Reversible computation as groups on programs
 Blazing fast math rendering on the web
 VC dimension
 Symplectic version of classical mechanics
 Theorems for free
 How to reason with halfopen intervals
 How does one build a fusion bomb?
 Christoffel symbols, geometrically
 A natural vector space without an explicit basis
 Cache oblivious B trees
 KrohnRhodes decomposition
 Proving block matmul using program analysis
 Why I like algebra over analysis

using
for cleaner function type typedefs  A walkway of lanterns (WIP)
 Natural transformations
 The hilarious commentary by dinosaure in OCaml git
 How to link against MLIR with CMake
 Energy as triangulaizing state space
 The cutest way to write semidirect products
 My Favourite APLisms
 Proof of chinese remainder theorem on rings
 monic and epic arrows
 The geometry of Lagrange multipliers
 Efficient tree transformations on GPUs (WIP)
 Things I wish I knew when I was learning APL
 Every ideal that is maximal wrt. being disjoint from a multiplicative subset is prime
 Getting started with APL
 SpaceChem was the best compiler I ever used
 Mnemonic for Kruskal and Prim
 Legendre transform
 Cartesian Trees
 DFS numbers as a monotone map
 Self attention? not really
 Coarse structures
 Matroids for greedy algorithms (WIP)
 Grokking Zariski
 My preferred version of quicksort
 Geometric proof of Cauchy Schwarz inequality
 Dataflow analysis using Grobner basis
 Fenwick trees and orbits
 Dirichlet inversion
 Incunabulum for the 21st century: Making the J interpreter compile in 2020
 An example of a sequence whose successive terms get closer together but isn't Cauchy (does not converge)
 Krylov subspace method
 Good reference to the Rete pattern matching algorithm
 Leapfrog Integration
 Comparison of forward and reverse mode AD
 An invitation to homology and cohomology, Part 1  Homology
 An invitation to homology and cohomology, Part 2  Cohomology
 Stuff I learnt in 2019
 A motivation for padic analysis
 Line of investigation to build physical intuition for semidirect products
 Topology is really about computation  part 2
 Topology is really about computation  part 1
 PSLQ algorithm: finding integer relations between reals
 Geometric characterization of normal subgroups
 Handy characterization of adding an element into an ideal, proof that maximal ideal is prime
 Radical ideals, nilpotents, and reduced rings
 My disenchantment with abstract interpretation
 Computing equivalent gate sets using grobner bases
 The janus programming language  Time reversible computation

A = B
 A book about proofs of combinatorial closed forms  Generating
k
bitsets of a given length n
:  Bondi kcalculus
 Topology as an object telling us what zerolocus is closed:
 Vivado toolchain craziness
 What the hell is a Grobner basis? Ideals as rewrite systems
 Lie bracket versus torsion
 Blog post: Weekend paper replication of STOKE, the stochastic superoptimizer
 Collapsing
BlockId
, Label
, Unique
:  Spatial partitioning data structures in molecular dynamics
 Vector: Arthur Whitney and text editors
 Representing CPS in LLVM using the
@coro.*
intrinsics  Bug in the LLVM code generator: Lowering of
MO_Add2
and MO_AddWordC
 Discrete random distributions with conditioning in 20 lines of haskell
 Everything you know about word2vec is wrong
 Hamiltonian monte carlo, leapfrog integrators, and sympletic geometry
 Small Haskell MCMC implementation
 The smallest implementation of reverse mode AD (autograd) ever:
 Timings of passes in GHC, and low hanging fruit in the backend:
 Varargs in GHC:
T7160.hs
 Debugging debug info in GHC
 GHC LLVM code generator: Switch to unreachable
 Concurrency in Haskell
 Handy list of differential geometry definitions
 Lazy programs have space leaks, Strict programs have time leaks
 Presburger arithmetic can represent the Collatz Conjecture
 Using compactness to argue about covers
 Japanese Financial Counting system
 Stephen wolfram's live stream

Cleave
as a word has some of the most irregular inflections  McCune's single axiom for group theory

Word2Vec
C code implements gradient descent really weirdly  Arthur Whitney: dense code
 How does one work with arrays in a linear language?
 Linear optimisation is the same as linear feasibility checking
 Quantum computation without complex numbers
 Linguistic fun fact: Comparative Illusion
 Longform posts:
 Big list of emacs gripes
 Big list of Coq
 Big list of writing
 Big list of Latex
 Big list of Architecture
 Big list of Recipes
 Big list of history
 Big list of words
 Big list of Music
 Big list of Social Science
 Big list of clojure
 Big list of quotes
 Empathy
 Big list of Vim
 Chess
 Big list of shitposting
 Cardistry
 Poems to memorize
 X86