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

bollu.github.io

bollu.github.io

2020

Bouncing Light Clock Is an Hourglassoriginal ↗
24 Nov 2020
Structure Theory of Finite Endo-functionsoriginal ↗
24 Nov 2020
Number of Paths in a DAGoriginal ↗
24 Nov 2020
Set Partitionsoriginal ↗
24 Nov 2020
Stars and Bars by Direct Bijectionoriginal ↗
24 Nov 2020
DFS and Topological Sortingoriginal ↗
24 Nov 2020
Tournamentsoriginal ↗
24 Nov 2020
Matching Problems (TODO)original ↗
24 Nov 2020
Four Fundamental Subspacesoriginal ↗
24 Nov 2020
Why Is int i = i Allowed in C++?original ↗
17 Nov 2020
Kakoune Cheatsheetoriginal ↗
17 Nov 2020
Assembly IDEoriginal ↗
17 Nov 2020
Cohomology Is Like Holismoriginal ↗
17 Nov 2020
Amortized Analysisoriginal ↗
17 Nov 2020
Correctness of Binary Searchoriginal ↗
17 Nov 2020
readlink -f < path > To Access File Pathoriginal ↗
17 Nov 2020
Rank/select as Compress/decompressoriginal ↗
17 Nov 2020
Remembering Eulerian and Hamiltonian Cyclesoriginal ↗
17 Nov 2020
Nice Way to Loop over an Array in Reverseoriginal ↗
17 Nov 2020
Dynamic Programming: Erik Demaine ' s Lecturesoriginal ↗
17 Nov 2020
Accuracy vs Precisionoriginal ↗
17 Nov 2020
Why Is the Gradient Covariant?original ↗
17 Nov 2020
Politicization of Scienceoriginal ↗
17 Nov 2020
Multi ꙮ Cular O: ꙮ / Eye of Cthuluoriginal ↗
17 Nov 2020
You Can ' t Measure the One Way Speed of Lightoriginal ↗
17 Nov 2020
Show Me the Hand Strategyoriginal ↗
17 Nov 2020
Words That Can Be Distinguished from Letters If We Know the Sign of the Permutationoriginal ↗
17 Nov 2020
Easy Times Don ' t Create Weak People, They Just Allow Weak People to Survive.original ↗
17 Nov 2020
Multiplicative Weights Algorithm (TODO)original ↗
17 Nov 2020
How to Fairly Compare Groupsoriginal ↗
17 Nov 2020
Empathyoriginal ↗
17 Nov 2020
Bijection from (0, 1) to [0, 1]original ↗
30 Oct 2020
Rene Girardoriginal ↗
30 Oct 2020
Slavoj Zizek: Violenceoriginal ↗
30 Oct 2020
Poverty: Who ' s to Blame?original ↗
30 Oct 2020
Big List of Quotesoriginal ↗
30 Oct 2020
Learn Zig in Y Minutesoriginal ↗
24 Oct 2020
The Algebraic Structure of the ' nearest Smaller Number ' Questionoriginal ↗
22 Oct 2020
Why Loss of Information Is Terrifying: Checking That a Context-free Language Is Regular Is Undecidableoriginal ↗
22 Oct 2020
Sciences of the Artificialoriginal ↗
22 Oct 2020
Numbering Nodes in a Treeoriginal ↗
22 Oct 2020
Number of Vertices in a Rooted Treeoriginal ↗
22 Oct 2020
Median Minimizes L1 Normoriginal ↗
22 Oct 2020
LISP Quineoriginal ↗
22 Oct 2020
A Slew of Order Theoretic and Graph Theoretic Resultsoriginal ↗
22 Oct 2020
Neko to Follow Your Cursor Aroundoriginal ↗
22 Oct 2020
Non Commuting Observables: Light Polarizationoriginal ↗
22 Oct 2020
Statement Expressions and Other GCC C Extensionsoriginal ↗
22 Oct 2020
A Quick Look at Impredicativityoriginal ↗
22 Oct 2020
Data Oriented Programming in C++original ↗
22 Oct 2020
Retro Glitchoriginal ↗
22 Oct 2020
SSA as Linear Typed Languageoriginal ↗
22 Oct 2020
Nix Weirdness on Small Machinesoriginal ↗
7 Oct 2020
Autodiff over Derivative of Integralsoriginal ↗
7 Oct 2020
Proof of Projective Dualityoriginal ↗
7 Oct 2020
Preventing the Collapse of Civilizationoriginal ↗
7 Oct 2020
An Elementary Example of a Thing That Is Not a Vectororiginal ↗
7 Oct 2020
The Handshaking Lemmaoriginal ↗
7 Oct 2020
Crash Course on DCPO: Formalizing Lambda Calculusoriginal ↗
29 Sept 2020
Git for Pure Mathematiciansoriginal ↗
29 Sept 2020
Mutorchoriginal ↗
29 Sept 2020
Computing the Smith Normal Formoriginal ↗
29 Sept 2020
Laziness for C Programmersoriginal ↗
22 Sept 2020
Exact Sequence of Pointed Setsoriginal ↗
17 Sept 2020
What Is a Syzygy?original ↗
16 Sept 2020
Under the Spell of Leibniz ' s Dreamoriginal ↗
16 Sept 2020
Normal Operators: Decomposition into Hermitian Operatorsoriginal ↗
15 Sept 2020
Readable Pointersoriginal ↗
15 Sept 2020
The Grassmanian, Handwavilyoriginal ↗
15 Sept 2020
Lie Bracket as Linearization of Conjugationoriginal ↗
15 Sept 2020
Computational Origamioriginal ↗
15 Sept 2020
Katex in Duktapeoriginal ↗
5 Sept 2020
Kebab Caseoriginal ↗
5 Sept 2020
Offline Documentationoriginal ↗
5 Sept 2020
Using Gurobioriginal ↗
5 Sept 2020
Stars and Bars by Generating Functionsoriginal ↗
5 Sept 2020
This Is Not a Place of Honororiginal ↗
5 Sept 2020
Topological Proof of Infinitude of Primesoriginal ↗
5 Sept 2020
The Ise Grand Shrineoriginal ↗
5 Sept 2020
Edward Kmett ' s List of Useful Mathoriginal ↗
5 Sept 2020
Cokernel Is Not Sheafyoriginal ↗
5 Sept 2020
Von Neumann: Foundations of QMoriginal ↗
5 Sept 2020
Discrete Schild ' s Ladderoriginal ↗
5 Sept 2020
Derivative of Step Is Dirac Deltaoriginal ↗
5 Sept 2020
Extended Euclidian Algorithmoriginal ↗
5 Sept 2020
In a PID, All Prime Ideals Are Maximal, Geometricallyoriginal ↗
5 Sept 2020
Prime Numbers as Maximal Among Principal Idealsoriginal ↗
5 Sept 2020
Axiom of Choice and Zorn ' s Lemmaoriginal ↗
5 Sept 2020
Local Ring in Terms of Invertibilityoriginal ↗
5 Sept 2020
Nullstellensatz for Schemesoriginal ↗
5 Sept 2020
Perspectives on Yonedaoriginal ↗
5 Sept 2020
Germs, Stalks, Sheaves of Differentiable Functionsoriginal ↗
5 Sept 2020
Connectedness in Terms of Continuityoriginal ↗
5 Sept 2020
Intuition for Limits in Category Theoryoriginal ↗
5 Sept 2020
Finite Topologies and DFS Numberingoriginal ↗
5 Sept 2020
Categorical Definition of Products in Painful Detailoriginal ↗
5 Sept 2020
Why Is the Spectrum of a Ring Called So?original ↗
5 Sept 2020
Ergo Proxyoriginal ↗
5 Sept 2020
Combinatorial Intuition for Fermat ' s Little Theoremoriginal ↗
5 Sept 2020
An Incorrect Derivation of Special Relativity in 1Doriginal ↗
5 Sept 2020
Previous Next