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)
- 2-SAT
- 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
- p-adics, 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 endo-functions
- 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 context-free 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
- Permutations-and-lyndon-factorization
- 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) >= 1-x
- 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
- Einstein-de Haas effect
- Rank-select 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 half-open intervals
- How does one build a fusion bomb?
- Christoffel symbols, geometrically
- A natural vector space without an explicit basis
- Cache oblivious B trees
- Krohn-Rhodes 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 p-adic 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 k-calculus
- Topology as an object telling us what zero-locus 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
- Long-form 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