Jeremy Kun is an engineer at Google. This blog is a presentation of the interesting solutions he comes across, and an exploration of the deeper mathematical ideas therein. Most often this means exploring the mathematical structure of a problem to lubricate the cogs of algorithm design. In seldom cases, this involves using programs to reason about mathematical theory. He tries to reserve this blog for technical material, and post articles for a general audience on his medium blog (and others, see this historical archive).

Z Proportions
Becca Hirsbrunner photographed this fabulously constructed Z proportions letter. Interestingly, every element but the diagonal bar can be rationalized.