@MathProgramming profile picture
Math ∩ Programming @MathProgramming

A blog by Jeremy Kun @jeremyjkun

Joined September 2011
  • Tweets 572
  • Following 1
  • Followers 11,902
44 Photos and videos
Pinned Tweet
Math ∩ Programming@MathProgramming
1 Dec 2018
A Programmer’s Introduction to Mathematics jeremykun.com/2018/12/01/a-p…

A Programmer's Introduction to Mathematics

For the last four years I’ve been working on a book for programmers who want to learn mathematics. It’s finally done, and you can buy it today. The website for the book is pimbook.org, which has...

jeremykun.com
17
339
1,495
We’re Knot Friends jeremykun.com/2023/04/01/wer…

We're Knot Friends

It’s April Cools again. For a few summers in high school and undergrad, I was a day camp counselor. I’ve written before about how it helped me develop storytelling skills, but recently I thought of...

jeremykun.com
1
4
5,179
Sample Extraction from RLWE to LWE jeremykun.com/2023/02/27/sam…

Sample Extraction from RLWE to LWE

In this article I’ll derive a trick used in FHE called sample extraction. In brief, it allows one to partially convert a ciphertext in the Ring Learning With Errors (RLWE) scheme to the Learning With...

jeremykun.com
1,158
Google’s Fully Homomorphic Encryption Compiler — A Primer jeremykun.com/2023/02/13/goo…

Google's Fully Homomorphic Encryption Compiler — A Primer

Back in May of 2022 I transferred teams at Google to work on Fully Homomorphic Encryption (newsletter announcement). Since then I’ve been working on a variety of projects in the space, including...

jeremykun.com
2
10
1,772
Estimating the Security of Ring Learning with Errors (RLWE) jeremykun.com/2022/12/28/est…
1
2
1,211
Negacyclic Polynomial Multiplication jeremykun.com/2022/12/09/neg…

Negacyclic Polynomial Multiplication

In this article I’ll cover three techniques to compute special types of polynomial products that show up in lattice cryptography and fully homomorphic encryption. Namely, the negacyclic polynomial...

jeremykun.com
Polynomial Multiplication Using the FFT jeremykun.com/2022/11/16/pol…

Polynomial Multiplication Using the FFT

Problem: Compute the product of two polynomials efficiently. Solution: import numpy from numpy.fft import fft, ifft def poly_mul(p1, p2): """Multiply two polynomials. p1 and p2 are arrays of coeffi...

jeremykun.com
1
Carnival of Mathematics #209 jeremykun.com/2022/10/02/car…
1
3
Key Switching in LWE jeremykun.com/2022/08/29/key…

Key Switching in LWE

Last time we covered an operation in the LWE encryption scheme called modulus switching, which allows one to switch from one modulus to another, at the cost of introducing a small amount of extra...

jeremykun.com
3
Modulus Switching in LWE jeremykun.com/2022/07/16/mod…
5
“Practical Math” Preview: Collect Sensitive Survey Responses Privately jeremykun.com/2022/05/14/pra…

"Practical Math" Preview: Collect Sensitive Survey Responses Privately

This is a draft of a chapter from my in-progress book, Practical Math for Programmers: A Tour of Mathematics in Production Software. Tip: Determine an aggregate statistic about a sensitive question,...

jeremykun.com
7
Cocktails jeremykun.com/2022/04/01/coc…

Cocktails

It’s April Cools! We’re taking back April Fools. When I was younger I had a strange relationship with alcohol, not because of any sort of trauma, but because I found it decidedly boring and disgust...

jeremykun.com
3
Silent Duels—Constructing the Solution part 2 jeremykun.com/2022/03/24/sil…

Silent Duels—Constructing the Solution part 2

Previous posts in this series: Silent Duels and an Old Paper of Restrepo Silent Duels—Parsing the Construction Silent Duels—Constructing the Solution part 1 Since it’s been three years since the last...

jeremykun.com
1
5
My next book will be “Practical Math for Programmers” jeremykun.com/2022/03/16/my-…

My next book will be "Practical Math for Programmers"

tl;dr: I’m writing a new book, sign up for the announcements mailing list. I’ve written exactly zero new technical blog posts this year because I’ve been spending all my writing efforts on my next...

jeremykun.com
17
The Gadget Decomposition in FHE jeremykun.com/2021/12/11/the…

The Gadget Decomposition in FHE

Lately I’ve been studying Fully Homomorphic Encryption, which is the miraculous ability to perform arbitrary computations on encrypted data without learning any information about the underlying...

jeremykun.com
2
Group Actions and Hashing Unordered Multisets jeremykun.com/2021/10/14/gro…

Group Actions and Hashing Unordered Multisets

I learned of a neat result due to Kevin Ventullo that uses group actions to study the structure of hash functions for unordered sets and multisets. This piqued my interest because a while back a...

jeremykun.com
1
2
Carnival of Mathematics #197 Untangling tangles, folding triangles, UMAP elephants, and more! jeremykun.com/2021/09/01/car…

Carnival of Mathematics #197

Welcome to the 197th Carnival of Mathematics! 197 is an unseemly number, as you can tell by the Wikipedia page which currently says that it has “indiscriminate, excessive, or irrelevant examples.”...

jeremykun.com
7
Searching for RH Counterexamples — Exploring Data jeremykun.com/2021/06/14/sea…

Searching for RH Counterexamples — Exploring Data

We’re ironically searching for counterexamples to the Riemann Hypothesis. Setting up Pytest Adding a Database Search Strategies Unbounded integers Deploying with Docker Performance Profiling Scaling...

jeremykun.com
1
Regression and Linear Combinations jeremykun.com/2021/03/29/reg…

Regression and Linear Combinations

Recently I’ve been helping out with a linear algebra course organized by Tai-Danae Bradley and Jack Hidary, and one of the questions that came up a few times was, “why should programmers care about...

jeremykun.com
7
Searching for RH Counterexamples — Productionizing jeremykun.com/2021/03/06/sea…

Searching for RH Counterexamples — Productionizing

We’re ironically searching for counterexamples to the Riemann Hypothesis. Setting up Pytest Adding a Database Search Strategies Unbounded integers Deploying with Docker Performance Profiling Scaling...

jeremykun.com
2
1
Searching for RH Counterexamples — Scaling Up In this post we rearchitect the application to enable multiple workers to search simultaneously. jeremykun.com/2021/02/16/sea…

Searching for RH Counterexamples — Scaling Up

We’re ironically searching for counterexamples to the Riemann Hypothesis. Setting up Pytest Adding a Database Search Strategies Unbounded integers Deploying with Docker Performance Profiling Last...

jeremykun.com
1
Load more