A Universe of Sorts

Siddharth Bhat

  1. Wilson's theorem
  2. General enough special cases
  3. XOR and AND relationship
  4. Geometry of complex integrals
  5. Green's functions
  6. CP trick: writing exact counting as counting less than
  7. CP trick: Heavy Light Decomposition euler tour tree
  8. Counting with repetitions via pure binomial coefficients
  9. Fundamental theorem of homological algebra [TODO ]
  10. Projective modules in terms of universal property
  11. How ideals recover factorization [TODO ]
  12. Centroid of a tree
  13. Path query to subtree query
  14. Pavel: bridges, articulation points for UNDIRECTED graphs
  15. Segtree: range update, point query [TODO ]
  16. Monadic functor
  17. Injective module
  18. Proof that Spec(R)Spec(R) is a sheaf [TODO ]
  19. Projections onto convex sets
  20. LM algorithm for nonlinear least squares
  21. Backward dataflow and continuations
  22. Coordinate compression with set and vector
  23. Hilbert polynomial and dimension
  24. Cost of looping over all multiples of ii for ii in 11 to NN
  25. Stuff I learnt in 2021
  26. Cayley hamilton for 2x2 matrices in sage via AG
  27. LispWorks config
  28. Birkhoff Von Neumann theorem
  29. Latin Square
  30. Assignment Problem
  31. Interpolating homotopies
  32. Example where MIP shows extra power over IP
  33. Lazy reversible computation?
  34. Theorem coverage as an analogue to code coverage
  35. Lazy GPU programming
  36. Projections onto convex sets [TODO ]
  37. BGFS algorithm for unconstrained nonlinear optimization [TODO ]
  38. LM algorithm for nonlinear least squares [TODO ]
  39. Backward dataflow and continuations
  40. The tyranny of structurelessness
  41. Simple Sabotage Field Manual
  42. Counting permutations with #MAXSAT
  43. Coloring cat output with supercat
  44. Reader monoid needs a hopf algebra?! [TODO ]
  45. Monads mnemonic
  46. Card stacking
  47. Representation theory for particle physics [TODO ]
  48. SSH into google cloud
  49. Comma & Semicolon in index notation
  50. Spin groups
  51. How to write in biblical style?
  52. Undefined behaviour is like compactification [TODO ]
  53. God of areppo
  54. Classification of lie algebras, dynkin diagrams
  55. Weird free group construction from adjoint functor theorem
  56. bashupload
  57. When are the catalan numbers odd
  58. Discrete probability [TODO ]
  59. Geodesic equation, Extrinsic
  60. Connections, take 2
  61. Dropping into tty on manjaro/GRUB
  62. Why the zero set of a continuous function must be a closed set
  63. Derivatives in diffgeo
  64. Building stuff with Docker
  65. Lie derivative versus covariant derivative
  66. The Tor functor
  67. Sum of quadratic errors
  68. Hip-Hop and Shakespeare
  69. Write thin to write well
  70. Hidden symmetries of alg varieties
  71. fd for find
  72. Thu Morse sequence for sharing
  73. Elementary and power sum symmetric polynomials
  74. Projective spaces and grassmanians in AG
  75. Mnemonic for why eta is unit:
  76. Fundamental theorem of galois theory
  77. Counter-intuitive linearity of expectation [TODO ]
  78. Metis
  79. Tooling for performance benchmarking
  80. Normal field extensions
  81. Eisenstein Theorem for checking irreducibility
  82. Gauss Lemma for polynomials
  83. How GHC does typeclass resolution
  84. Defining continuity covariantly
  85. Why commutator is important for QM
  86. Deriving pratt parsing by analyzing recursive descent [TODO ]
  87. Level set of a continuous function must be closed
  88. HPNDUF - Hard problems need design up front!
  89. Separable Extension is contained in Galois extension
  90. Primitive element theorem
  91. Separable extension via embeddings into alg. closure
  92. Separable extensions via derivation
  93. Irreducible polynomial over a field divides any polynomial with common root
  94. Galois extension
  95. Separability of field extension as diagonalizability
  96. Motivation for the compact-open topology
  97. Example of covariance zero, and yet "correlated"
  98. Hypothesis Testing
  99. Dumb mnemonic for remembering adjunction turnstile
  100. Delta debugging
  101. Tidy Data
  102. Normal subgroups through the lens of actions
  103. Writing rebuttals, Tobias style
  104. LCS DP: The speedup is from filtration
  105. Poisson distribution
  106. F1 or Fun : The field with one element
  107. McKay's proof of Cauchy's theorem for groups [TODO ]
  108. Odds versus probability [TODO ]
  109. ncdu for disk space measurement
  110. nmon versus htop
  111. Schrier sims --- why purify generators times coset
  112. Vyn's feeling about symmetry
  113. Convergence in distribution is very weak
  114. Class equation, P-group structure
  115. Sylow Theorem 1
  116. Fuzzing book
  117. Filtered Colimits [TODO ]
  118. Fisher Yates
  119. Bucchberger algorithm
  120. GAP permutation syntax
  121. Why division algorithm with multiple variables go bad
  122. Integral elements of a ring form a ring [TODO ]
  123. "Cheap" proof of euler characteristic
  124. Siefert Algorithm [TODO ]
  125. Cap product [TODO ]
  126. Cup product [TODO ]
  127. Colimits examples with small diagram categories
  128. Limits examples with small diagram categories
  129. Classification of compact 2-manifolds [TODO ]
  130. Gauss, normals, fundamental forms [TODO ]
  131. Second fundamental form
  132. Shape operator [TODO ]
  133. Theorem Egregium / Gauss's theorem (Integrating curvature in 2D) [TODO ]
  134. Integrating Curvature in 1D [TODO ]
  135. Fundamental theorem of symmetric polynomials
  136. DP over submasks
  137. Dual of Planar Euler graph is bipartite
  138. Yoneda preserves limits
  139. Separable Polynomials and extensions
  140. Limits of a functor category are computed pointwise.
  141. a + b = (a or b) + (a and b)
  142. Intuition for why choosing closed-closed intervals of [1..n] is (n+1)C2(n+1)C2
  143. Thoughtful discussion on the limits of safe spaces
  144. Semidirect product: Panning and Zooming
  145. Longest Convex Subsequence DP
  146. Representation theory of SU(2)SU(2) [TODO ]
  147. Why quaternions work better
  148. DFA to CFG via colimits?
  149. Why pointless topology is powerful
  150. Denotational semantics in a few sentences
  151. Monge Matrix
  152. Fixpoint as decorator
  153. Combinatorial generation algorithms
  154. Perform DP on measures, not indexes.
  155. Alternative version of Myhill-Nerode
  156. Polya Enumeration
  157. Weighted Burnside Lemma
  158. Cycle index polynomial
  159. Mnemonics For Symmetric Polynomials
  160. Uses of minimal string rotation
  161. Suffix Automata
  162. Simpson's Paradox
  163. Myhill Nerode Theorem
  164. Linearity of expectation for sampling
  165. Dedekind MacNiellie
  166. Good and bad combinatorics: intro to counting
  167. Expected number of turns to generate all numbers 1..N (TODO)
  168. Diameter in single DFS (TODO)
  169. Min cost flow (TODO)
  170. Clojure: minimal makefile for REPL driven dev with Neovim
  171. Delimited continuations
  172. Never forget monic again
  173. Weird canonical example of monic and epic: left/right shift
  174. Playing guitar: being okay with incorrect chords
  175. Sparse table
  176. Duval's algorithm
  177. Amortized complexity from the verifier perspective
  178. Relationship betwee permutations and runs
  179. Brouwer's fixed point theorem
  180. XOR on binary trie
  181. Inconvergent: beautiful generative art
  182. Prefix/Border function
  183. Shortest walk versus shortest path
  184. Minimal tech stack
  185. FFT
  186. codeforces rating of some GMs
  187. Continuum TTRPG
  188. Words to know in target language
  189. DP on subarrays
  190. Vis editor cheat sheet
  191. Mean, Median and Jensen's
  192. The similarity between labellings and representations
  193. L1 norm is greater than or equal to L2 norm
  194. Z algorithm
  195. For a given recurrence, what base cases do I need to implement?
  196. Number of distinct numbers in a partition
  197. Splitting f(x)=yf(x) = y into indicators
  198. Why searching for divisors upto sqrt(n) works
  199. Heuristics for the prime number theorem
  200. Sum of absolute differences of an array
  201. GCD is at most difference of numbers
  202. implementing GCD and LCM
  203. Centroid of a tree
  204. Center of a tree
  205. Image unshredding as hamiltonian path
  206. Distance between lines in nD
  207. lower_bound binary search with closed intervals
  208. Sliding window implementation style
  209. Kawaii implementation of x = min(x, y)
  210. CSES: Counting Towers
  211. Smallest positive natural which can't be represented as sum of any subset of a set of naturals
  212. Example of RVs that are pairwise but not 3-way independent.
  213. Notes on Liam O Connor's thesis: Cogent
  214. C++ lower_bound, upper_bound API
  215. Books that impart mental models
  216. Subarrays ~= prefixes
  217. Operations with modular fractions
  218. Modular inverse calculation
  219. The number of pairs (a,b) such that ab≤x is O(xlogx)
  220. DP as path independence
  221. Binary search to find rightmost index which does not possess some property
  222. Correctness of lower_bound search with half-open intervals
  223. Greedy Coin change: proof by probing
  224. Clean way to write burnside lemma
  225. The groupoid interpretation of type theory
  226. Mnemonics for free = left adjoint
  227. Where to scratch a cat
  228. Mnemonic for Specht module actions
  229. Quotes from 'Braiding Sweetgrass'
  230. Transfinite recursion: Proof
  231. Transfinite induction: Proof
  232. Thoughts on playing Em-Bm
  233. An explanation for why permutations and linear orders are not naturally isomorphic
  234. We can't define choice for finite sets in Haskell!
  235. Geomean is scale independent
  236. Thoughts on playing Em Bm.
  237. Induction on natural numbers cannot be derived from other axioms
  238. Ordinals and cardinals
  239. Musing about Specht modules
  240. Every continuous function on [a,b][a, b] attains a maximum
  241. Invisible cities
  242. Associativity of addition in cubicaltt
  243. Etymology of fiber bundle FEBF \rightarrow E \rightarrow B
  244. Galois correspondence, functorially
  245. CubicalTT: sharpening thinking about indexed functions
  246. Functors to motivate adjuntions
  247. Madoka Magica: plot thoughts
  248. Chain rule functorially
  249. Lagrange multipliers by algebra
  250. Specht module construction
  251. Even and odd functions through representation theory
  252. Greg egan: Orthogonal
  253. Simplicial approximation: maps can be approximated by simplicial maps (TODO)
  254. Excision (TODO)
  255. Marshall: Andrej (TODO)
  256. Limit is right adjoint to diagonal
  257. Working out why right adjoints preserve limits.
  258. Limit/Colimit/Cone/Cocone: the arrows are consistent!
  259. Representable Functors
  260. Why terminal object is a limit
  261. Excluded middle is not false in intuitionistic logic
  262. Yoneda Lemma and embedding
  263. GHCID
  264. Character theory
  265. Cofibration
  266. Emily Riehl Contrability as uniqueness
  267. Cofactor as derivative of determinant
  268. Homology, the big picture
  269. Normaliztion by evaluation (TODO)
  270. Legal Systems very different from ours
  271. Lefschetz fixed point theorem (TODO)
  272. Shrinking wedge of circles / Hawaiian earring (TODO)
  273. Simplicial approxmation of maps (TODO)
  274. Lebesgue number lemma (TODO)
  275. Lean internals Cheat Sheet
  276. MicroUI
  277. Proof of tree having (V-1) edges
  278. Creating PDFs to read code
  279. Bias and gain
  280. Barycentric subdivision: edge length decreases
  281. Homotopic maps produce same singular homology: Intuition
  282. Singular homology: induced homomorphism
  283. Demoscene tools
  284. Binaural Beat
  285. Low pass filter by delaying
  286. Octaves are double frequency apart (TODO)
  287. Bias and gain
  288. Show, don't tell
  289. Try and think of natural transformations as intertwinings
  290. Subobject classifier measures how much we need to pay to access fact
  291. Spectral norm of Hermitian matrix equals largest eigenvalue (TODO)
  292. Penrose cohomology [TODO ]
  293. Bicycle wheel proof of Gauss Bonnet (TODO)
  294. What is Levi Cevita trying to describe (TODO)
  295. Torsion as giving monodromy of path lifts (TODO)
  296. Cartan's spiral staircase (TODO)
  297. Weingarten map
  298. When maps cannot be lifted to the universal cover
  299. Nets from Munkres (TODO)
  300. Limit point compactness from Munkres
  301. Proof of Heine Borel from Munkres (compact iff closed, bounded)
  302. Alexandrov topology
  303. Zeroth singular homology group: Intuition
  304. Examples of fiber products / pullbacks
  305. Covariant derivative
  306. Clackety sounds: bucklespring
  307. Submersions and immersions
  308. Ehrsmann connection
  309. Quotes from the culture
  310. Lie bracket commutator as infinitesimal conjugation
  311. Thoughts on proof of fundamental group of unit circle
  312. Pasting lemma
  313. Tensoring with base ring has no effect
  314. Seeing the semidirect product of the dihedral group.
  315. Animating rotations with quaternion curves
  316. Mnemonic for hom-tensor and left-right adjoints
  317. Construction of tensor product: Atiyah macdonald
  318. Recovering topology from sheaf of functions: Proof from Atiyah Macdonald
  319. Urhyson's lemma
  320. Compact Hausdorff spaces are normal
  321. Stone representation theorem: Proof from Atiyah Macdonald
  322. Covariant Hom is left exact
  323. Internal versus External semidirect products
  324. Splitting of semidirect products in terms of projections
  325. Tensor is right exact
  326. Semidirect product as commuting conditions
  327. Exact sequences for semidirect products; fiber bundles
  328. Semidirect product is equivalent to splitting of exact sequence
  329. Intro to topological quantum field theory
  330. Non examples of algebraic varieties
  331. Nilradical is intersection of all prime ideals
  332. Exactness of modules is local
  333. Quotient by maximal ideal gives a field
  334. Ring of power series with infinite positive and negative terms
  335. Mean value theorem and Taylor's theorem. (TODO)
  336. Cayley Hamilton
  337. Nakayama's lemma
  338. Vector fields over the 2 sphere
  339. Learning to talk with your hands
  340. Lovecraftisms
  341. Hairy ball theorem from Sperner's Lemma (TODO)
  342. CS and type theory: Talks by vovodesky
  343. Hilbert basis theorem for polynomial rings over fields (TODO)
  344. Covering spaces
  345. Wedge Sum and Smash Product
  346. Quotient topology
  347. CW Complexes and HEP
  348. Stable homotopy theory
  349. Simply connected spaces
  350. Finitely generated as vector space v/s algebra:
  351. Weak and Strong Nullstllensatz
  352. Screen recording for kakoune pull request
  353. Intuition for why finitely presented abelian groups are isomorphic to product of cyclics
  354. Euler characteristic of sphere
  355. John Conway: The symmetries of things
  356. Semidirect product mnemonic
  357. Non orthogonal projections
  358. Why did maxwell choose his EM wave to be light?
  359. Fast string concatenation in python3
  360. Split infinitive
  361. Yoneda from string concatenation
  362. Right Kan extensions as extending the domain of a functor
  363. Non standard inner products and unitarity of representations
  364. take at most 4 letters from 15 letters.
  365. Flat functions
  366. Hopf Algebras and combinatorics
  367. Butcher group
  368. Neovim frontends
  369. A semidirect product worked on in great detail
  370. Direct and Inverse limits
  371. LEAN 4 overfrom from LEAN together 2021
  372. BLM master thesis
  373. Hololive subculture
  374. RSK correspondence for permutations
  375. Djikstra's using a segtree
  376. Markov and chebyshev from a measure theoretic lens
  377. Among any 51 integers, that are 2 with squares having equal value modulo 100
  378. 1n+2n++(n1)n1^n + 2^n + \dots + (n-1)^n is divisible by nn for odd nn
  379. 103n+110^{3n+1} cannot be written as sum of two cubes
  380. Coq-club: the meaning of a specification
  381. SQLite opening
  382. Old school fonts
  383. Stalking syzigies on hackernews
  384. Conditional probability is neither causal nor temporal
  385. Hook length formula
  386. The tyranny of light
  387. Muirhead's inequality
  388. Rearrangement inequality
  389. Triangle inequality
  390. The Heather subculture
  391. Frobenius Kernel
  392. Galois theory by "Abel's theorem in problems and solutions"
  393. Galois theory perspective of the quadratic equation
  394. Burnside lemma by representation theory.
  395. Contributing to SAGEmath
  396. Shadow puppet analogy for entanglement
  397. Books for contest math
  398. Analysing simple games
  399. Linear algebraic proof of the handshaking lemma
  400. Historical contemporaries
  401. Rota's twelvefold way
  402. Counting necklackes with unique elements
  403. Decomposition of projective space
  404. Childhood: Playing pokemon gold in japanese
  405. Tensor is a thing that transforms like a tensor
  406. Tensor Hom adjunction
  407. Schur's lemma
  408. Daughters of destiny
  409. Stuff I learnt in 2020
  410. Line bundles, a high level view as I understand them today
  411. Conversations with a wood carver
  412. Discrete Riemann Roch
  413. Conversation with Olaf Klinke
  414. Topological groups and languages
  415. The mnemonica stack (TODO)
  416. Conversation with Alok about how I read
  417. KMP (Knuth, Morris, Pratt) (TODO)
  418. Reading C declarations
  419. Make mnemonics
  420. Vandermonde and FFT
  421. Thoughts on blitz chess: 950 ELO
  422. Periodic tables and make illegal states unrepresentable
  423. questions on the structure of graphs
  424. Combinations notation in bijective combinatorics
  425. Arguments for little endian
  426. Expectiles
  427. Depth first search through linear algebra (TODO)
  428. 2-SAT
  429. Longest increasing subsequence, step by step (TODO)
  430. On reading how to rule (TODO)
  431. Strongly Connected Components via Kosaraju's algorithm
  432. Articulation points
  433. Disjoint set union
  434. Making GDB usable
  435. Bouncing light clock is an hourglass
  436. Euler tours
  437. Representation theory of the symmetric group (TODO)
  438. Maximum matchings in bipartite graphs
  439. p-adics, 2's complement, intuition for bit fiddling
  440. Diameter of a tree
  441. Catalan numbers as popular candidate votes (TODO)
  442. The chromatic polynomial (TODO)
  443. Structure theory of finite endo-functions
  444. Number of paths in a DAG
  445. Set partitions
  446. Integer partitions: Recurrence
  447. Stars and bars by direct bijection
  448. DFS and topological sorting
  449. Tournaments
  450. Matching problems (TODO)
  451. Four fundamental subspaces
  452. WHO list of essential medicines (TODO)
  453. why is int i = i allowed in C++?
  454. Kakoune cheatsheet
  455. Assembly IDE
  456. Cohomology is like holism
  457. Flows (TODO)
  458. Amortized analysis
  459. Shelly Kegan: death --- Suicide and rationality (TODO)
  460. Sam harris and jordan peterson: Vancouver 1 (TODO)
  461. Correctness of binary search
  462. readlink -f to access file path
  463. rank/select as compress/decompress
  464. Remembering Eulerian and Hamiltonian cycles
  465. Nice way to loop over an array in reverse
  466. Dynamic Programming: Erik Demaine's lectures
  467. Accuracy vs precision
  468. Why is the gradient covariant?
  469. Politicization of science
  470. Multi ꙮ cular O: ꙮ / Eye of cthulu
  471. You can't measure the one way speed of light
  472. Show me the hand strategy
  473. Words that can be distinguished from letters if we know the sign of the permutation
  474. Easy times don't create weak people, they just allow weak people to survive.
  475. Multiplicative weights algorithm (TODO)
  476. How to fairly compare groups
  477. Bijection from (0, 1) to [0, 1]
  478. Rene Girard
  479. Noam Chomsky on anarchism (TODO)
  480. Slavoj Zizek: Violence
  481. Poverty: Who's to blame?
  482. Learn Zig in Y minutes
  483. The algebraic structure of the 'nearest smaller number' question
  484. Why loss of information is terrifying: Checking that a context-free language is regular is undecidable
  485. Sciences of the artificial
  486. Numbering nodes in a tree
  487. Number of vertices in a rooted tree
  488. Median minimizes L1 norm
  489. LISP quine
  490. A slew of order theoretic and graph theoretic results
  491. Thebes
  492. Beethoven
  493. Neko to follow your cursor around
  494. Non commuting observables: Light polarization
  495. Statement expressions and other GCC C extensions
  496. A quick look at impredicativity
  497. Data oriented programming in C++
  498. Retro glitch
  499. SSA as linear typed language
  500. Nix weirdness on small machines
  501. Autodiff over derivative of integrals
  502. Proof of projective duality
  503. Preventing the collapse of civilization
  504. Violent deaths in ancient societies (TODO)
  505. An elementary example of a thing that is not a vector
  506. Elementary probability theory (TODO)
  507. The handshaking lemma
  508. Git for pure mathematicians
  509. Mutorch
  510. Computing the smith normal form
  511. Laziness for C programmers
  512. Exact sequence of pointed sets
  513. What is a syzygy?
  514. Under the spell of Leibniz's dream
  515. Normal operators: Decomposition into Hermitian operators
  516. Readable pointers
  517. The grassmanian, handwavily
  518. Lie bracket as linearization of conjugation
  519. Computational Origami
  520. Katex in duktape
  521. Kebab case
  522. Localization: Introducing epsilons (TODO)
  523. NaN punning: Storing integers in doubles in JavaScript
  524. Offline Documentation
  525. Using Gurobi
  526. osqp: convex optimizer in 6000 LoC
  527. stars and bars by generating functions
  528. This is not a place of honor
  529. Topological proof of infinitude of primes
  530. Burnside Theorem
  531. The Ise Grand shrine
  532. Edward Kmett's list of useful math
  533. Cokernel is not sheafy
  534. Von neumann: foundations of QM
  535. Discrete schild's ladder
  536. Derivative of step is dirac delta
  537. Extended euclidian algorithm
  538. In a PID, all prime ideals are maximal, geometrically
  539. Prime numbers as maximal among principal ideals
  540. Axiom of Choice and Zorn's Lemma
  541. Local ring in terms of invertibility
  542. Nullstellensatz for schemes
  543. Perspectives on Yoneda
  544. Germs, Stalks, Sheaves of differentiable functions
  545. Connectedness in terms of continuity
  546. Intuition for limits in category theory
  547. Finite topologies and DFS numbering
  548. Categorical definition of products in painful detail
  549. Why is the spectrum of a ring called so?
  550. Ergo proxy
  551. Satisfied and frustrated equations
  552. Combinatorial intuition for Fermat's little theorem
  553. An incorrect derivation of special relativity in 1D
  554. The geometry and dynamics of magnetic monopoles
  555. Sanskrit and Sumerian
  556. Writing Cuneiform
  557. The code of hammurabi
  558. The implicit and inverse function theorem
  559. Whalesong hyperbolic space in detail
  560. Motivating Djikstra's
  561. Intuitions for hyperbolic space
  562. Product of compact spaces in compact
  563. Hyperbolic groups have solvable word problem
  564. Elementary uses of Sheaves in complex analysis
  565. Snake lemma
  566. Kernel, cokernel, image
  567. The commutator subgroup
  568. Simplicity of A5 using PSL(2, 5)
  569. A5 is not solvable
  570. Complex orthogonality in terms of projective geometry
  571. Arithmetic sequences, number of integers in a closed interval
  572. The arg function, continuity, orientation
  573. Odd partitions, unique partitions
  574. Continued fractions, mobius transformations
  575. Permutations-and-lyndon-factorization
  576. Graphs are preorders
  577. Crash course on DCPO: formalizing lambda calculus
  578. Parallelisable version of maximum sum subarray
  579. Thoughts on implicit heaps
  580. Discriminant and Resultant
  581. Polynomial root finding using QR decomposition
  582. A hacker's guide to numerical analysis
  583. Mobius inversion on Incidence Algebras
  584. Finite differences and Umbral calculus
  585. Permutahedron
  586. Lyndon + Christoffel = Convex Hull
  587. Geometric proof of e^x >= 1+x, e^(-x) >= 1-x
  588. Ranking and Sorting
  589. Proof of minkowski convex body theorem
  590. Burrows Wheeler
  591. Intuitionstic logic as a Heytig algebra
  592. Edit distance
  593. Evolution of bee colonies (TODO)
  594. Best practices for array indexing
  595. Algebraic structure for vector clocks
  596. Networks are now faster than disks
  597. Einstein-de Haas effect
  598. Rank-select as adjunction
  599. Bounding chains: uniformly sample colorings
  600. Coupling from the past
  601. Word problems in Russia and America
  602. Encoding mathematical hieararchies
  603. Learning code by hearing it
  604. Your arm can be a spinor
  605. Self modifying code for function calls: Look ma, I don't need a stack!
  606. Adjunctions as advice
  607. Reversible computation as groups on programs
  608. Blazing fast math rendering on the web
  609. VC dimension
  610. Symplectic version of classical mechanics
  611. Theorems for free
  612. How to reason with half-open intervals
  613. How does one build a fusion bomb?
  614. Christoffel symbols, geometrically
  615. A natural vector space without an explicit basis
  616. Cache oblivious B trees
  617. Krohn-Rhodes decomposition
  618. Proving block matmul using program analysis
  619. Why I like algebra over analysis
  620. using for cleaner function type typedefs
  621. A walkway of lanterns (TODO)
  622. Natural transformations
  623. The hilarious commentary by dinosaure in OCaml git
  624. How to link against MLIR with CMake
  625. Energy as triangulaizing state space
  626. The cutest way to write semidirect products
  627. My Favourite APLisms
  628. Proof of chinese remainder theorem on rings
  629. monic and epic arrows
  630. The geometry of Lagrange multipliers
  631. Efficient tree transformations on GPUs (TODO)
  632. Things I wish I knew when I was learning APL
  633. Every ideal that is maximal wrt. being disjoint from a multiplicative subset is prime
  634. Getting started with APL
  635. SpaceChem was the best compiler I ever used
  636. Mnemonic for Kruskal and Prim
  637. Legendre transform
  638. Cartesian Trees
  639. DFS numbers as a monotone map
  640. Self attention? not really
  641. Coarse structures
  642. Matroids for greedy algorithms (TODO)
  643. Grokking Zariski
  644. My preferred version of quicksort
  645. Geometric proof of Cauchy Schwarz inequality
  646. Dataflow analysis using Grobner basis
  647. Fenwick trees and orbits
  648. Dirichlet inversion
  649. Incunabulum for the 21st century: Making the J interpreter compile in 2020
  650. An example of a sequence whose successive terms get closer together but isn't Cauchy (does not converge)
  651. Krylov subspace method
  652. Good reference to the Rete pattern matching algorithm
  653. Leapfrog Integration
  654. Comparison of forward and reverse mode AD
  655. An invitation to homology and cohomology, Part 1 --- Homology
  656. An invitation to homology and cohomology, Part 2 --- Cohomology
  657. Stuff I learnt in 2019
  658. A motivation for p-adic analysis
  659. Line of investigation to build physical intuition for semidirect products
  660. Topology is really about computation --- part 2
  661. Topology is really about computation --- part 1
  662. PSLQ algorithm: finding integer relations between reals
  663. Geometric characterization of normal subgroups
  664. Handy characterization of adding an element into an ideal, proof that maximal ideal is prime
  665. Radical ideals, nilpotents, and reduced rings
  666. My disenchantment with abstract interpretation
  667. Computing equivalent gate sets using grobner bases
  668. The janus programming language --- Time reversible computation
  669. A = B --- A book about proofs of combinatorial closed forms
  670. Generating k bitsets of a given length n:
  671. Bondi k-calculus
  672. Topology as an object telling us what zero-locus is closed:
  673. Vivado toolchain craziness
  674. What the hell is a Grobner basis? Ideals as rewrite systems
  675. Lie bracket versus torsion
  676. Blog post: Weekend paper replication of STOKE, the stochastic superoptimizer
  677. Collapsing BlockId, Label, Unique:
  678. Spatial partitioning data structures in molecular dynamics
  679. Vector: Arthur Whitney and text editors
  680. Representing CPS in LLVM using the @coro.* intrinsics
  681. Bug in the LLVM code generator: Lowering of MO_Add2 and MO_AddWordC
  682. Discrete random distributions with conditioning in 20 lines of haskell
  683. Everything you know about word2vec is wrong
  684. Hamiltonian monte carlo, leapfrog integrators, and sympletic geometry
  685. Small Haskell MCMC implementation
  686. The smallest implementation of reverse mode AD (autograd) ever:
  687. Timings of passes in GHC, and low hanging fruit in the backend:
  688. Varargs in GHC: T7160.hs
  689. Debugging debug info in GHC
  690. GHC LLVM code generator: Switch to unreachable
  691. Concurrency in Haskell
  692. Handy list of differential geometry definitions
  693. Lazy programs have space leaks, Strict programs have time leaks
  694. Presburger arithmetic can represent the Collatz Conjecture
  695. Using compactness to argue about covers
  696. Japanese Financial Counting system
  697. Stephen wolfram's live stream
  698. Cleave as a word has some of the most irregular inflections
  699. McCune's single axiom for group theory
  700. Word2Vec C code implements gradient descent really weirdly
  701. Arthur Whitney: dense code
  702. How does one work with arrays in a linear language?
  703. Linear optimisation is the same as linear feasibility checking
  704. Quantum computation without complex numbers
  705. Linguistic fun fact: Comparative Illusion
  706. Long-form posts:
  707. Emacs Cheat Sheet
  708. Coq Cheat Sheet
  709. Writing Cheat Sheet
  710. Latex Cheat Sheet
  711. Architecture Cheat Sheet
  712. Recipes Cheat Sheet
  713. History Cheat Sheet
  714. Words Cheat Sheet
  715. Clojure Sheat Sheet
  716. Big list of quotes
  717. Empathy
  718. Vim Cheat Sheet
  719. Big list of Chess
  720. Big list of shitposting
  721. Cardistry
  722. Poems to memorize
  723. X86 Cheat Sheet
  724. Common Lisp Cheat Sheet
  725. Agda Cheat Sheet
  726. Big list of Hacker news
  727. Favourite Demoscenes