Google employs Jeremy Kun in the role of engineer. This blog is an exploration of the more profound mathematical notions included inside the interesting solutions that he comes across and a presentation of those solutions. Exploring the mathematical structure of an issue in order to lube the cogs of algorithm construction is what this means the majority of the time. Occasionally, this necessitates the utilization of programs in order to reason about mathematical theory.
He makes an effort to keep this blog reserved for information that is more technical in nature and posts pieces that are geared toward a general audience on his medium blog (and others; see this historical archive for more examples).