There Is No Diffie-Hellman but Elliptic Curve Diffie-Hellman

Radiometry, part 1: I got it backwards

A tool to verify estimates, II: a flexible proof assistant

Luciole Math: a typeface developed explicitly for visually impaired academics

Reservoir Sampling

Summer of Math Exposition 4

Barycentric Coordinates (2020)

Debugging a Logic Circuit in IDP-Z3

Breaking down math expressions to IR instructions without using trees

Correct application of the Lanczos filter in 2D