Now syndicating "shortform" articles published at here. Syndicating to Mastodon, Bluesky, and now Twitter. For example 👇.

Leibniz's Dream and Dijkstra's nightmare.

My Graduate Career in Math.

HEIR talk at

Does Baby Have Hat.

Hey @zoink would you be interested in referring me to any Figma folks working on features that involve cool math, so I can interview them for ?. I suspect there might be some relevant topics in, e.g., autolayout or motion-related features.

My 4-year-old declares 36 the best number.

Anyone know of an approachable proof of the Caratheodory-Fejer theorem?.

Explainable Linear Programs.

RT @binitamshah: A High-Level Technical Overview of Fully Homomorphic Encryption : credits @jeremyjkun.

I'll be at the JMM.

Epiphanies from Tape Measures.

Fully Homomorphic Encryption and the Public.

The last few months in HEIR.

Aaaand the Twitter API rate limited my syndication bot after 10 tweets, despite it posting 3 times in the last month and the rate limit being 50 posts per 24 hours. sucks to be here I guess. Go read the archived version on my site or find it on Mastodon/Bluesky.

Jaeho Choi ( worked on lowering BGV to the OpenFHE API, as well as multiplicative depth analysis and canonicalization patterns for number-theoretic transforms.

Hongren Zheng ( has also been working on optimizations and lowerings related to modular arithmetic.

Finn Plummer ( worked on optimizations for modular arithmetic and lowerings for number-theoretic transforms.

Jianming Tong ( recently started as a student researcher at Google to focus on TPU acceleration for CKKS.

Meron Zerihun ( interned at Intel and worked on data-oblivious program transformations.

Lawrence Lim ( interned with us for the summer, getting us started on a CKKS dialect implemented matrix multiplication optimizations, and helped design data layout transformations.