Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Markov Chain Monte Carlo Without All the Bullshit (2015)

Attention Spans for Math and Stories (2019)

Explainable Linear Programs

How This Blog Does IndieWeb

MLIR — Defining Patterns with PDLL

Group actions and hashing unordered multisets (2021)

The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm

A High-Level Technical Overview of Homomorphic Encryption

MLIR — A Global Optimization and Dataflow Analysis

MLIR — Lowering through LLVM

MLIR — Folders and Constant Propagation

MLIR — Using Traits

Proof Gallery

NP-hard does not mean hard (2017)

MLIR for Beginners — Defining a New Dialect

We're Knot Friends

Google’s fully homomorphic encryption compiler – a primer

Markov chain Monte Carlo without the bullshit (2015)

My next book will be "Practical Math for Programmers"

All Horses Are the Same Color

Probably Approximately Correct – A Formal Theory of Learning (2014)

The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm

Regression and Linear Combinations

The Communicative Value of Using Git Well

Taylor Series and Accelerometers

The Communicative Value of Using Git Well

A Good Year for “A Programmer’s Introduction to Mathematics”

Math versus Dirty Data

A Working Mathematician’s Guide to Parsing

A Programmer's Introduction to Mathematics

More →