Siddharth Bhat

• Leave me your thoughts / Chat with me / Email me: siddu.druid@gmail.com
• Github / Math.se / Resume / Link hoard
• RSS feed

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$
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)$ [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) = 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]$ attains a maximum
161. Invisible cities
162. Associativity of addition in cubicaltt
163. Etymology of fiber bundle $F \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. $1^n + 2^n + \dots + (n-1)^n$ is divisible by $n$ for odd $n$
301. $10^{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