A Universe of Sorts

Siddharth Bhat

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