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

bollu.github.io

bollu.github.io

2020

Concurrency in Haskelloriginal ↗
5 Sept 2020
Lazy Programs Have Space Leaks, Strict Programs Have Time Leaksoriginal ↗
5 Sept 2020
Presburger Arithmetic Can Represent the Collatz Conjectureoriginal ↗
5 Sept 2020
Using Compactness to Argue About Coversoriginal ↗
5 Sept 2020
Linear Optimisation Is the Same as Linear Feasibility Checkingoriginal ↗
5 Sept 2020
osqp: Convex Optimizer in 6000 LoCoriginal ↗
25 Aug 2020
The Continued Fraction of Sqrt(2)original ↗
25 Aug 2020
The Ceiling Monadoriginal ↗
19 Aug 2020
Euler Characteristic for Polyhedra and Digital Geometryoriginal ↗
15 Aug 2020
Tensors as Equivariant Mapsoriginal ↗
14 Jul 2020
Satisfied and Frustrated Equationsoriginal ↗
8 Jul 2020
The Geometry and Dynamics of Magnetic Monopolesoriginal ↗
7 Jul 2020
Sanskrit and Sumerianoriginal ↗
5 Jul 2020
Binary Search Implementation Discussionoriginal ↗
29 Jun 2020
The Arg Function, Continuity, Orientationoriginal ↗
6 Jun 2020
Dirichlet Charactersoriginal ↗
17 May 2020
Algebraic Structure for Vector Clocksoriginal ↗
1 May 2020
Church Encodings via Continuationsoriginal ↗
18 Apr 2020
Snooker on a Doughnutoriginal ↗
16 Apr 2020
Analytic Dependent Type Theoryoriginal ↗
16 Apr 2020
Samples from the Moduli Space of Mathematicsoriginal ↗
16 Apr 2020
Humanities Notesoriginal ↗
6 Apr 2020
Entropy and KL Divergenceoriginal ↗
6 Apr 2020
Lagrange Multipliers Discussionoriginal ↗
6 Apr 2020
Cycle Densityoriginal ↗
6 Apr 2020
Krohn-Rhodes Decompositionoriginal ↗
28 Mar 2020
Krylov Subspace Methodoriginal ↗
12 Jan 2020

2019

A = B --- A Book About Proofs of Combinatorial Closed Formsoriginal ↗
28 Dec 2019
Lie Bracket Versus Torsionoriginal ↗
28 Dec 2019
Japanese Financial Counting Systemoriginal ↗
28 Dec 2019
Stephen Wolfram ' s Live Streamoriginal ↗
28 Dec 2019
Cleave As a Word Has Some of the Most Irregular Inflectionsoriginal ↗
28 Dec 2019
McCune ' s Single Axiom for Group Theoryoriginal ↗
28 Dec 2019
Word2Vec C Code Implements Gradient Descent Really Weirdlyoriginal ↗
28 Dec 2019
Arthur Whitney: Dense Codeoriginal ↗
28 Dec 2019
How Does One Work with Arrays in a Linear Language?original ↗
28 Dec 2019
Quantum Computation Without Complex Numbersoriginal ↗
28 Dec 2019
Linguistic Fun Fact: Comparative Illusionoriginal ↗
28 Dec 2019
A Motivation for P-adic Analysisoriginal ↗
20 Dec 2019
PSLQ Algorithm: Finding Integer Relations Between Realsoriginal ↗
5 Nov 2019
Geometric Characterization of Normal Subgroupsoriginal ↗
31 Oct 2019
Handy Characterization of Adding an Element into an Ideal, Proof That Maximal Ideal Is Primeoriginal ↗
30 Oct 2019
Radical Ideals, Nilpotents, and Reduced Ringsoriginal ↗
30 Oct 2019
My Disenchantment with Abstract Interpretationoriginal ↗
30 Oct 2019
What the Hell is a Grobner Basis? Ideals as Rewrite Systemsoriginal ↗
25 Oct 2019
Generating k Bitsets of a Given Length n:original ↗
18 Oct 2019
Bondi K-calculusoriginal ↗
16 Sept 2019
Topology as an Object Telling Us What Zero-locus Is Closed:original ↗
12 Sept 2019
Vivado Toolchain Crazinessoriginal ↗
11 Sept 2019
Blog Post: Weekend Paper Replication of STOKE, the Stochastic Superoptimizeroriginal ↗
21 Jul 2019
Collapsing BlockId, Label, Unique:original ↗
28 Jun 2019
Spatial Partitioning Data Structures in Molecular Dynamicsoriginal ↗
28 Jun 2019
Vector: Arthur Whitney and Text Editorsoriginal ↗
22 Jun 2019
Representing CPS in LLVM Using the @coro.* Intrinsicsoriginal ↗
15 Jun 2019
Bug in the LLVM Code Generator: Lowering of MO_Add2 And MO_AddWordCoriginal ↗
5 Jun 2019
Hamiltonian Monte Carlo, Leapfrog Integrators, and Sympletic Geometryoriginal ↗
31 May 2019
The Smallest Implementation of Reverse Mode AD (autograd) Ever:original ↗
24 May 2019
Timings of Passes in GHC, and Low Hanging Fruit in the Backend:original ↗
24 May 2019
GHC LLVM Code Generator: Switch to Unreachableoriginal ↗
22 May 2019
Handy List of Differential Geometry Definitionsoriginal ↗
15 May 2019
Long-form Posts:original ↗
10 Apr 2019
Previous