corpus.blog
41,554 blogs · 4,819,422 posts Claim your blog
Back to bollu.github.io
Blog · corpus.blog/blogs/bollu.github.io/posts

bollu.github.io

bollu.github.io

2021

Alternative Version of Myhill-Nerodeoriginal ↗
25 Aug 2021
Polya Enumerationoriginal ↗
25 Aug 2021
Weighted Burnside Lemmaoriginal ↗
25 Aug 2021
Cycle Index Polynomialoriginal ↗
25 Aug 2021
Mnemonics For Symmetric Polynomialsoriginal ↗
25 Aug 2021
Uses of Minimal String Rotationoriginal ↗
25 Aug 2021
Suffix Automataoriginal ↗
25 Aug 2021
Simpson ' s Paradoxoriginal ↗
19 Aug 2021
Myhill Nerode Theoremoriginal ↗
19 Aug 2021
Linearity of Expectation for Samplingoriginal ↗
19 Aug 2021
Clojure: Minimal Makefile for REPL Driven Dev with Neovimoriginal ↗
19 Aug 2021
Delimited Continuationsoriginal ↗
19 Aug 2021
Never Forget Monic Againoriginal ↗
19 Aug 2021
Weird Canonical Example of Monic and Epic: Left/right Shiftoriginal ↗
19 Aug 2021
Playing Guitar: Being Okay with Incorrect Chordsoriginal ↗
19 Aug 2021
Sparse Tableoriginal ↗
19 Aug 2021
Duval ' s Algorithmoriginal ↗
19 Aug 2021
Amortized Complexity from the Verifier Perspectiveoriginal ↗
19 Aug 2021
Relationship Betwee Permutations and Runsoriginal ↗
19 Aug 2021
Brouwer ' s Fixed Point Theoremoriginal ↗
19 Aug 2021
XOR on Binary Trieoriginal ↗
19 Aug 2021
Big List of Artoriginal ↗
19 Aug 2021
Inconvergent: Beautiful Generative Artoriginal ↗
30 Jul 2021
Prefix/Border Functionoriginal ↗
30 Jul 2021
Shortest Walk Versus Shortest Pathoriginal ↗
30 Jul 2021
Minimal Tech Stackoriginal ↗
30 Jul 2021
FFToriginal ↗
30 Jul 2021
Continuum TTRPGoriginal ↗
30 Jul 2021
Words to Know in Target Languageoriginal ↗
30 Jul 2021
DP on Subarraysoriginal ↗
30 Jul 2021
Vis Editor Cheat Sheetoriginal ↗
30 Jul 2021
Mean, Median and Jensen ' soriginal ↗
30 Jul 2021
The Similarity Between Labellings and Representationsoriginal ↗
30 Jul 2021
L1 Norm Is Greater than or Equal to L2 Normoriginal ↗
30 Jul 2021
Z Algorithmoriginal ↗
30 Jul 2021
For a Given Recurrence, What Base Cases Do I Need to Implement?original ↗
30 Jul 2021
Number of Distinct Numbers in a Partitionoriginal ↗
30 Jul 2021
Splitting f(x) = y into Indicatorsoriginal ↗
30 Jul 2021
Why Searching for Divisors Upto sqrt(n) Worksoriginal ↗
30 Jul 2021
Lean Internals Cheat Sheetoriginal ↗
30 Jul 2021
Questions on the Structure of Graphsoriginal ↗
30 Jul 2021
Emacs Cheat Sheetoriginal ↗
30 Jul 2021
Coq Cheat Sheetoriginal ↗
30 Jul 2021
Writing Cheat Sheetoriginal ↗
30 Jul 2021
Latex Cheat Sheetoriginal ↗
30 Jul 2021
Architecture Cheat Sheetoriginal ↗
30 Jul 2021
History Cheat Sheetoriginal ↗
30 Jul 2021
Words Cheat Sheetoriginal ↗
30 Jul 2021
Clojure Sheat Sheetoriginal ↗
30 Jul 2021
Vim Cheat Sheetoriginal ↗
30 Jul 2021
X86 Cheat Sheetoriginal ↗
30 Jul 2021
Common Lisp Cheat Sheetoriginal ↗
30 Jul 2021
Agda Cheat Sheetoriginal ↗
30 Jul 2021
Centroid of a Treeoriginal ↗
8 Jul 2021
Heuristics for the Prime Number Theoremoriginal ↗
8 Jul 2021
Sum of Absolute Differences of an Arrayoriginal ↗
8 Jul 2021
GCD Is at Most Difference of Numbersoriginal ↗
8 Jul 2021
Implementing GCD and LCMoriginal ↗
8 Jul 2021
Center of a Treeoriginal ↗
8 Jul 2021
lower_bound Binary Search with Closed Intervalsoriginal ↗
8 Jul 2021
Image Unshredding as Hamiltonian Pathoriginal ↗
3 Jul 2021
Distance Between Lines in nDoriginal ↗
2 Jul 2021
Sliding Window Implementation Styleoriginal ↗
2 Jul 2021
Kawaii Implementation Of x = min(x, y)original ↗
2 Jul 2021
CSES: Counting Towersoriginal ↗
2 Jul 2021
Smallest Positive Natural Which Can ' t Be Represented as Sum of Any Subset of a Set of Naturalsoriginal ↗
2 Jul 2021
Example of RVs That Are Pairwise but Not 3-Way Independent.original ↗
2 Jul 2021
Notes on Liam O Connor ' s Thesis: Cogentoriginal ↗
2 Jul 2021
Binary Search to Find Rightmost Index Which Does Not Possess Some Propertyoriginal ↗
2 Jul 2021
Correctness of lower_bound Search with Half-open Intervalsoriginal ↗
2 Jul 2021
C++ lower_bound, upper_bound APIoriginal ↗
27 Jun 2021
Books That Impart Mental Modelsoriginal ↗
27 Jun 2021
Subarrays ~= Prefixesoriginal ↗
27 Jun 2021
Operations with Modular Fractionsoriginal ↗
27 Jun 2021
Modular Inverse Calculationoriginal ↗
27 Jun 2021
The Number of Pairs (a,b) Such That ab≤x Is O(xlogx)original ↗
27 Jun 2021
DP as Path Independenceoriginal ↗
27 Jun 2021
Greedy Coin Change: Proof by Probingoriginal ↗
27 Jun 2021
Clean Way to Write Burnside Lemmaoriginal ↗
27 Jun 2021
The Groupoid Interpretation of Type Theoryoriginal ↗
27 Jun 2021
Mnemonics for Free = Left Adjointoriginal ↗
27 Jun 2021
Where to Scratch a Catoriginal ↗
27 Jun 2021
Mnemonic for Specht Module Actionsoriginal ↗
27 Jun 2021
Quotes from ' Braiding Sweetgrass 'original ↗
27 Jun 2021
Transfinite Recursion: Prooforiginal ↗
27 Jun 2021
Transfinite Induction: Prooforiginal ↗
27 Jun 2021
Thoughts on Playing Em-Bmoriginal ↗
27 Jun 2021
An Explanation for Why Permutations and Linear Orders Are Not Naturally Isomorphicoriginal ↗
27 Jun 2021
We Can ' t Define Choice for Finite Sets in Haskell!original ↗
27 Jun 2021
Geomean Is Scale Independentoriginal ↗
27 Jun 2021
Induction on Natural Numbers Cannot Be Derived from Other Axiomsoriginal ↗
27 Jun 2021
Ordinals and Cardinalsoriginal ↗
13 Jun 2021
Musing About Specht Modulesoriginal ↗
13 Jun 2021
Every Continuous Function on [a, b] Attains a Maximumoriginal ↗
13 Jun 2021
Proof of Heine Borel from Munkres (compact iff closed, bounded)original ↗
10 Jun 2021
Invisible Citiesoriginal ↗
9 Jun 2021
Associativity of Addition in Cubicalttoriginal ↗
7 Jun 2021
Etymology of Fiber Bundle F \rightarrow E \rightarrow Boriginal ↗
7 Jun 2021
Galois Correspondence, Functoriallyoriginal ↗
7 Jun 2021
Functors to Motivate Adjuntionsoriginal ↗
7 Jun 2021
Previous Next