56,966 blogs · [ { "id": "01a0d914-ddd3-71da-a41d-958b77fda3f8", "title": "CKKS — Encryption and Decryption", "url": "https://www.jeremykun.com/2026/09/23/ckks-encryption-and-decryption/", "published_at": "2026-09-23T17:09:48+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284ca7b8b59", "title": "Updates on HEIR, the homomorphic encryption compiler project", "url": "https://www.jeremykun.com/2026/09/04/updates-on-heir-homomorphic-encryption/", "published_at": "2026-09-04T18:53:40+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284cb4788e7", "title": "More whimsical OEIS sequences", "url": "https://www.jeremykun.com/shortform/2026-05-22-1528/", "published_at": "2026-05-22T22:28:34+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284cc46fe28", "title": "CKKS — Polynomials, the Canonical Embedding, and Encoding", "url": "https://www.jeremykun.com/2026/04/29/ckks-polynomials-the-canonical-embedding-and-encoding/", "published_at": "2026-04-29T12:25:44+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284ccaac063", "title": "Unusual uses of OEIS sequences on GitHub", "url": "https://www.jeremykun.com/shortform/2026-04-13-0700/", "published_at": "2026-04-13T14:00:00+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284cd5226fa", "title": "The OEIS meta sequence and subway stations", "url": "https://www.jeremykun.com/shortform/2026-04-09-0556/", "published_at": "2026-04-09T13:55:17+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284cd9d56b3", "title": "Deterministic Primality Testing for Limited Bit Width", "url": "https://www.jeremykun.com/2026/04/07/deterministic-miller-rabin/", "published_at": "2026-04-07T13:00:00+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284ce8500a5", "title": "The Irrational Decision—A Book Review", "url": "https://www.jeremykun.com/2026/04/01/irrational-decision-book-review/", "published_at": "2026-04-01T07:00:00+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284cf589ce4", "title": "Bicyclic Matrix-Matrix Multiplication in Fully Homomorphic Encryption", "url": "https://www.jeremykun.com/2025/11/17/bicyclic-matrix-matrix-multiplication-in-fully-homomorphic-encryption/", "published_at": "2025-11-17T16:41:28+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284d03531ca", "title": "Integer Set Library (ISL) - A Primer", "url": "https://www.jeremykun.com/2025/10/19/isl-a-primer/", "published_at": "2025-10-19T20:14:22+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284d05b956c", "title": "FHE@PDX 2025", "url": "https://www.jeremykun.com/shortform/2025-07-25-0956/", "published_at": "2025-07-25T16:56:45+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284d07ad484", "title": "Frequently Asked Questions about FHE", "url": "https://www.jeremykun.com/frequently-asked-questions-about-fhe/", "published_at": "2025-07-18T17:31:49+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284d129f06a", "title": "Leibniz's Dream and Dijkstra's nightmare", "url": "https://www.jeremykun.com/shortform/2025-05-13-2107/", "published_at": "2025-05-13T14:23:11+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284d14e491c", "title": "My Graduate Career in Math", "url": "https://www.jeremykun.com/2025/05/12/my-graduate-career-in-math/", "published_at": "2025-05-12T18:35:57+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284d21bebc6", "title": "HEIR talk at FHE.org", "url": "https://www.jeremykun.com/shortform/2025-04-15-1239/", "published_at": "2025-04-15T19:39:13+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284d276cd11", "title": "Does Baby Have Hat", "url": "https://www.jeremykun.com/2025/04/01/does-baby-have-hat/", "published_at": "2025-04-01T07:00:00+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284d2954b9c", "title": "My 4-year-old declares 36 the best number", "url": "https://www.jeremykun.com/shortform/2025-02-23-1057/", "published_at": "2025-02-23T18:57:48+00:00" }, { "id": "01a07d5d-74e5-73df-a3bf-e284d362fe09", "title": "Anyone know of an approachable proof of the Caratheodory-Fejer theorem?", "url": "https://www.jeremykun.com/shortform/2025-02-09-1947/", "published_at": "2025-02-10T03:47:59+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc82cd4de4", "title": "Explainable Linear Programs", "url": "https://www.jeremykun.com/shortform/2025-02-06-2124/", "published_at": "2025-02-07T05:24:38+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc83aa6242", "title": "I'll be at the JMM", "url": "https://www.jeremykun.com/shortform/2025-01-07-1747/", "published_at": "2025-01-08T01:47:21+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc84878eb6", "title": "Epiphanies from Tape Measures", "url": "https://www.jeremykun.com/shortform/2025-01-04-1011/", "published_at": "2025-01-04T18:11:54+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc848c2e2d", "title": "Fully Homomorphic Encryption and the Public", "url": "https://www.jeremykun.com/fhe-and-the-public/", "published_at": "2025-01-03T07:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc84af4612", "title": "The last few months in HEIR", "url": "https://www.jeremykun.com/shortform/2024-11-15-0831/", "published_at": "2024-11-15T18:25:51+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc84b01b9f", "title": "Attention spans for math and stories", "url": "https://www.jeremykun.com/2019/03/26/attention-spans-for-math-and-stories/", "published_at": "2024-11-15T16:28:26+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc851cd8a7", "title": "Carnival of Mathematics #233", "url": "https://www.jeremykun.com/2022/11/01/carnival-of-mathematics-233/", "published_at": "2024-11-01T07:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc85ea8c03", "title": "How This Blog Does IndieWeb", "url": "https://www.jeremykun.com/2024/10/30/how-this-blog-does-indieweb/", "published_at": "2024-10-31T05:22:12+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc867017f2", "title": "LWE Attack Benchmarking Project", "url": "https://www.jeremykun.com/shortform/2024-10-15-1543/", "published_at": "2024-10-15T22:43:03+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc875e18ac", "title": "Dynamic Programming Fail", "url": "https://www.jeremykun.com/shortform/2024-09-12-1502/", "published_at": "2024-09-12T22:02:05+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8816469d", "title": "Packing Matrix-Vector Multiplication in Fully Homomorphic Encryption", "url": "https://www.jeremykun.com/2024/09/06/packing-matrix-vector-multiplication-in-fhe/", "published_at": "2024-09-07T04:18:09+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8817317b", "title": "Shift Networks", "url": "https://www.jeremykun.com/2024/09/02/shift-networks/", "published_at": "2024-09-02T21:01:03+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc88a8520b", "title": "Webmentions and POSSE improvements", "url": "https://www.jeremykun.com/shortform/2024-08-07-1414/", "published_at": "2024-08-07T21:14:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc89416cfc", "title": "MLIR — Defining Patterns with PDLL", "url": "https://www.jeremykun.com/2024/08/04/mlir-pdll/", "published_at": "2024-08-04T14:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc899e5323", "title": "Polynomial dialect and mlir-opt tutorial upstreamed", "url": "https://www.jeremykun.com/shortform/2024-08-02-1551/", "published_at": "2024-08-02T22:51:23+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc89d3ea50", "title": "Fully Homomorphic Encryption in Production Systems", "url": "https://www.jeremykun.com/fhe-in-production/", "published_at": "2024-07-31T07:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8aba91d2", "title": "Ben Recht on Meehl's Philosophical Psychology", "url": "https://www.jeremykun.com/shortform/2024-07-27-1149/", "published_at": "2024-07-27T18:49:42+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8b7bc4ef", "title": "Detecting field names with C++ metaprogramming", "url": "https://www.jeremykun.com/shortform/2024-06-25-1534/", "published_at": "2024-06-25T22:34:59+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8bf11e3c", "title": "Barycentric Lagrange Interpolation", "url": "https://www.jeremykun.com/shortform/2024-06-21-1107/", "published_at": "2024-06-21T18:07:50+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8c690cda", "title": "Random life updates", "url": "https://www.jeremykun.com/shortform/2024-06-06-1158/", "published_at": "2024-06-06T18:58:36+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8d348325", "title": "Math databases", "url": "https://www.jeremykun.com/shortform/2024-05-17-1555/", "published_at": "2024-05-17T22:55:50+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8dcc9810", "title": "Experiments with POSSE", "url": "https://www.jeremykun.com/shortform/2024-05-12-2028/", "published_at": "2024-05-13T03:28:54+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8ea86aed", "title": "Remez and function approximations", "url": "https://www.jeremykun.com/shortform/2024-05-06-1018/", "published_at": "2024-05-06T17:18:29+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc8f19f35a", "title": "A High-Level Technical Overview of Fully Homomorphic Encryption", "url": "https://www.jeremykun.com/2024/05/04/fhe-overview/", "published_at": "2024-05-04T15:30:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9010983e", "title": "Unusual Tips for Parenting Toddlers", "url": "https://www.jeremykun.com/2024/04/01/unusual-tips-for-parenting-toddlers/", "published_at": "2024-04-01T07:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc909c42c4", "title": "Tabletop Games Based on Math Problems", "url": "https://www.jeremykun.com/2024/03/08/tabletop-games-based-on-math-problems/", "published_at": "2024-03-09T04:06:19+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9125bccb", "title": "MLIR — A Global Optimization and Dataflow Analysis", "url": "https://www.jeremykun.com/2023/11/15/mlir-a-global-optimization-and-dataflow-analysis/", "published_at": "2023-11-15T11:20:52+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc91ca5583", "title": "MLIR — Lowering through LLVM", "url": "https://www.jeremykun.com/2023/11/01/mlir-lowering-through-llvm/", "published_at": "2023-11-01T07:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9274509d", "title": "MLIR — Dialect Conversion", "url": "https://www.jeremykun.com/2023/10/23/mlir-dialect-conversion/", "published_at": "2023-10-23T06:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc928be7b0", "title": "Socks, a matching game based on an additive combinatorics problem", "url": "https://www.jeremykun.com/2023/10/14/socks-a-matching-game-based-on-an-additive-combinatorics-problem/", "published_at": "2023-10-14T06:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc93709972", "title": "MLIR — Canonicalizers and Declarative Rewrite Patterns", "url": "https://www.jeremykun.com/2023/09/20/mlir-canonicalizers-and-declarative-rewrite-patterns/", "published_at": "2023-09-20T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc93e5112b", "title": "Encoding Schemes in FHE", "url": "https://www.jeremykun.com/2023/09/18/encoding-schemes-in-fhe/", "published_at": "2023-09-18T11:08:39+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc93f3bfee", "title": "MLIR — Verifiers", "url": "https://www.jeremykun.com/2023/09/13/mlir-verifiers/", "published_at": "2023-09-13T09:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc94ea7c47", "title": "MLIR — Folders and Constant Propagation", "url": "https://www.jeremykun.com/2023/09/11/mlir-folders/", "published_at": "2023-09-11T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9576f5cf", "title": "MLIR — Using Traits", "url": "https://www.jeremykun.com/2023/09/07/mlir-using-traits/", "published_at": "2023-09-07T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc961ee82c", "title": "Computing Percentages Easier", "url": "https://www.jeremykun.com/2023/09/05/computing-percentages-easier/", "published_at": "2023-09-05T21:47:37+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc970d97c0", "title": "MLIR — Defining a New Dialect", "url": "https://www.jeremykun.com/2023/08/21/mlir-defining-a-new-dialect/", "published_at": "2023-08-21T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9727a0cc", "title": "MLIR — Using Tablegen for Passes", "url": "https://www.jeremykun.com/2023/08/10/mlir-using-tablegen-for-passes/", "published_at": "2023-08-10T14:41:45+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc97e45633", "title": "MLIR — Writing Our First Pass", "url": "https://www.jeremykun.com/2023/08/10/mlir-writing-our-first-pass/", "published_at": "2023-08-10T14:39:42+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc98785e3a", "title": "MLIR — Running and Testing a Lowering", "url": "https://www.jeremykun.com/2023/08/10/mlir-running-and-testing-a-lowering/", "published_at": "2023-08-10T14:36:13+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc98a9ce51", "title": "MLIR — Getting Started", "url": "https://www.jeremykun.com/2023/08/10/mlir-getting-started/", "published_at": "2023-08-10T14:32:33+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc98e44725", "title": "Google's Recent FHE work, and starting HEIR", "url": "https://www.jeremykun.com/2023/08/10/googles-recent-fhe-work-and-starting-heir/", "published_at": "2023-08-10T12:22:29+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc99024f39", "title": "Two's Complement and Group Theory", "url": "https://www.jeremykun.com/2023/07/10/twos-complement-and-group-theory/", "published_at": "2023-07-10T07:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc998c8020", "title": "We're Knot Friends", "url": "https://www.jeremykun.com/2023/04/01/were-knot-friends/", "published_at": "2023-04-01T05:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc99d31ccb", "title": "Sample Extraction from RLWE to LWE", "url": "https://www.jeremykun.com/2023/02/27/sample-extraction-from-rlwe-to-lwe/", "published_at": "2023-02-27T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9a637c16", "title": "Google's Fully Homomorphic Encryption Compiler — A Primer", "url": "https://www.jeremykun.com/2023/02/13/googles-fully-homomorphic-encryption-compiler-a-primer/", "published_at": "2023-02-13T11:34:01+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9af9002e", "title": "Estimating the Security of Ring Learning with Errors (RLWE)", "url": "https://www.jeremykun.com/2022/12/28/estimating-the-security-of-ring-learning-with-errors-rlwe/", "published_at": "2022-12-28T14:52:01+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9b8eb38f", "title": "Negacyclic Polynomial Multiplication", "url": "https://www.jeremykun.com/2022/12/09/negacyclic-polynomial-multiplication/", "published_at": "2022-12-09T13:35:45+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9bbd28ff", "title": "Polynomial Multiplication Using the FFT", "url": "https://www.jeremykun.com/2022/11/16/polynomial-multiplication-using-the-fft/", "published_at": "2022-11-16T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9bf39d14", "title": "Carnival of Mathematics #209", "url": "https://www.jeremykun.com/2022/10/02/carnival-of-mathematics-209/", "published_at": "2022-10-02T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9c1a3510", "title": "Key Switching in LWE", "url": "https://www.jeremykun.com/2022/08/29/key-switching-in-lwe/", "published_at": "2022-08-29T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9c7a25fa", "title": "Modulus Switching in LWE", "url": "https://www.jeremykun.com/2022/07/16/modulus-switching-in-lwe/", "published_at": "2022-07-16T14:39:56+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9c9af755", "title": "\"Practical Math\" Preview: Collect Sensitive Survey Responses Privately", "url": "https://www.jeremykun.com/2022/05/14/practical-math-preview-collect-sensitive-survey-responses-privately/", "published_at": "2022-05-14T09:40:49+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9cbc0725", "title": "Cocktails", "url": "https://www.jeremykun.com/2022/04/01/cocktails/", "published_at": "2022-04-01T07:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9d2689de", "title": "Silent Duels—Constructing the Solution part 2", "url": "https://www.jeremykun.com/2022/03/24/silent-duels-constructing-the-solution-part-2/", "published_at": "2022-03-24T07:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9d95f893", "title": "My next book will be \"Practical Math for Programmers\"", "url": "https://www.jeremykun.com/2022/03/16/my-next-book-will-be-practical-math-for-programmers/", "published_at": "2022-03-16T07:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9e25d38b", "title": "The Gadget Decomposition in FHE", "url": "https://www.jeremykun.com/2021/12/11/the-gadget-decomposition-in-fhe/", "published_at": "2021-12-11T13:57:25+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9e61cbe7", "title": "Group Actions and Hashing Unordered Multisets", "url": "https://www.jeremykun.com/2021/10/14/group-actions-and-hashing-unordered-multisets/", "published_at": "2021-10-14T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9e71020d", "title": "Carnival of Mathematics #197", "url": "https://www.jeremykun.com/2021/09/01/carnival-of-mathematics-197/", "published_at": "2021-09-01T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9f491a9a", "title": "Searching for RH Counterexamples — Exploring Data", "url": "https://www.jeremykun.com/2021/06/14/searching-for-rh-counterexamples-exploring-data/", "published_at": "2021-06-14T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9fa04c86", "title": "Regression and Linear Combinations", "url": "https://www.jeremykun.com/2021/03/29/regression-and-linear-combinations/", "published_at": "2021-03-29T09:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9fa8e84e", "title": "Searching for RH Counterexamples — Productionizing", "url": "https://www.jeremykun.com/2021/03/06/searching-for-rh-counterexamples-productionizing/", "published_at": "2021-03-06T10:08:59+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cc9fc55952", "title": "Searching for RH Counterexamples — Scaling Up", "url": "https://www.jeremykun.com/2021/02/16/searching-for-rh-counterexamples-scaling-up/", "published_at": "2021-02-16T09:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca00fc676", "title": "Searching for RH Counterexamples — Performance Profiling", "url": "https://www.jeremykun.com/2021/02/02/searching-for-rh-counterexamples-performance-profiling/", "published_at": "2021-02-02T08:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca0807adc", "title": "Searching for RH Counterexamples — Deploying with Docker", "url": "https://www.jeremykun.com/2021/01/04/searching-for-rh-counterexamples-deploying-with-docker/", "published_at": "2021-01-04T09:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca155ec00", "title": "Optimization Models for Subset Cover", "url": "https://www.jeremykun.com/2020/10/20/optimization-models-for-subset-cover/", "published_at": "2020-10-20T09:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca1a27487", "title": "Searching for RH Counterexamples — Unbounded Integers", "url": "https://www.jeremykun.com/2020/10/13/searching-for-rh-counterexamples-unbounded-integers/", "published_at": "2020-10-13T09:00:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca1ebc5a1", "title": "Searching for RH Counterexamples — Search Strategies", "url": "https://www.jeremykun.com/2020/09/28/searching-for-rh-counterexamples-search-strategies/", "published_at": "2020-09-28T20:48:00+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca22065ff", "title": "Searching for RH Counterexamples — Adding a Database", "url": "https://www.jeremykun.com/2020/09/11/searching-for-rh-counterexamples-adding-a-database/", "published_at": "2020-09-11T18:53:48+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca2a75e87", "title": "Searching for RH Counterexamples — Setting up Pytest", "url": "https://www.jeremykun.com/2020/09/11/searching-for-rh-counterexamples-setting-up-pytest/", "published_at": "2020-09-11T15:51:48+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca31131b3", "title": "Taylor Series and Accelerometers", "url": "https://www.jeremykun.com/2020/07/26/taylor-series-and-accelerometers/", "published_at": "2020-07-26T11:11:41+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca3f15138", "title": "Contextual Symbols in Math", "url": "https://www.jeremykun.com/2020/05/22/contextual-symbols-in-math/", "published_at": "2020-05-22T12:36:07+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca42fba9d", "title": "Musings on A New Interface for Mathematics", "url": "https://www.jeremykun.com/2020/05/17/musings-on-a-new-interface-for-mathematics/", "published_at": "2020-05-17T12:11:22+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca5185c3b", "title": "Second Edition of A Programmer's Introduction to Mathematics", "url": "https://www.jeremykun.com/2020/05/17/second-edition-of-a-programmers-introduction-to-mathematics/", "published_at": "2020-05-17T11:12:28+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca5dc4f8c", "title": "The Communicative Value of Using Git Well", "url": "https://www.jeremykun.com/2020/01/14/the-communicative-value-of-using-git-well/", "published_at": "2020-01-14T07:00:28+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca6b3219e", "title": "A Good Year for \"A Programmer's Introduction to Mathematics\"", "url": "https://www.jeremykun.com/2019/12/01/a-good-year-for-a-programmers-introduction-to-mathematics/", "published_at": "2019-12-01T07:00:36+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca6d4bff6", "title": "Silent Duels—Constructing the Solution part 1", "url": "https://www.jeremykun.com/2019/06/30/silent-duels-constructing-the-solution-part-1/", "published_at": "2019-06-30T07:00:14+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca76ce467", "title": "Math Versus Dirty Data", "url": "https://www.jeremykun.com/2019/06/08/math-versus-data/", "published_at": "2019-06-08T08:00:06+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca84efff8", "title": "A Working Mathematician's Guide to Parsing", "url": "https://www.jeremykun.com/2019/04/20/a-working-mathematicians-guide-to-parsing/", "published_at": "2019-04-20T17:51:51+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca884f6db", "title": "Silent Duels—Parsing the Construction", "url": "https://www.jeremykun.com/2019/01/28/silent-duels-parsing-the-construction/", "published_at": "2019-01-28T15:45:02+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca92af4ef", "title": "Silent Duels and an Old Paper of Restrepo", "url": "https://www.jeremykun.com/2018/12/31/silent-duels-and-an-old-paper-of-restrepo/", "published_at": "2018-12-31T08:00:09+00:00" }, { "id": "01a07d5d-74e6-72dc-9000-88cca9d4d708", "title": "A Programmer's Introduction to Mathematics", "url": "https://www.jeremykun.com/2018/12/01/a-programmers-introduction-to-mathematics/", "published_at": "2018-12-01T07:57:26+00:00" } ] posts Claim your blog

Back to Jeremy Kun

Blog · corpus.blog/blogs/jeremykun.com/posts

Jeremy Kun

jeremykun.com

2026

CKKS — Encryption and Decryption original ↗

23 Sept 2026

Updates on HEIR, the homomorphic encryption compiler project original ↗

4 Sept 2026

More whimsical OEIS sequences original ↗

22 May 2026

CKKS — Polynomials, the Canonical Embedding, and Encoding original ↗

29 Apr 2026

Unusual uses of OEIS sequences on GitHub original ↗

13 Apr 2026

The OEIS meta sequence and subway stations original ↗

9 Apr 2026

Deterministic Primality Testing for Limited Bit Width original ↗

7 Apr 2026

The Irrational Decision—A Book Review original ↗

1 Apr 2026

2025

Bicyclic Matrix-Matrix Multiplication in Fully Homomorphic Encryption original ↗

17 Nov 2025

Integer Set Library (ISL) - A Primer original ↗

19 Oct 2025

FHE@PDX 2025 original ↗

25 Jul 2025

Frequently Asked Questions about FHE original ↗

18 Jul 2025

Leibniz's Dream and Dijkstra's nightmare original ↗

13 May 2025

My Graduate Career in Math original ↗

12 May 2025

HEIR talk at FHE.org original ↗

15 Apr 2025

Does Baby Have Hat original ↗

1 Apr 2025

My 4-year-old declares 36 the best number original ↗

23 Feb 2025

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

10 Feb 2025

Explainable Linear Programs original ↗

7 Feb 2025

I'll be at the JMM original ↗

8 Jan 2025

Epiphanies from Tape Measures original ↗

4 Jan 2025

Fully Homomorphic Encryption and the Public original ↗

3 Jan 2025

2024

The last few months in HEIR original ↗

15 Nov 2024

Attention spans for math and stories original ↗

15 Nov 2024

Carnival of Mathematics #233 original ↗

1 Nov 2024

How This Blog Does IndieWeb original ↗

31 Oct 2024

LWE Attack Benchmarking Project original ↗

15 Oct 2024

Dynamic Programming Fail original ↗

12 Sept 2024

Packing Matrix-Vector Multiplication in Fully Homomorphic Encryption original ↗

7 Sept 2024

Shift Networks original ↗

2 Sept 2024

Webmentions and POSSE improvements original ↗

7 Aug 2024

MLIR — Defining Patterns with PDLL original ↗

4 Aug 2024

Polynomial dialect and mlir-opt tutorial upstreamed original ↗

2 Aug 2024

Fully Homomorphic Encryption in Production Systems original ↗

31 Jul 2024

Ben Recht on Meehl's Philosophical Psychology original ↗

27 Jul 2024

Detecting field names with C++ metaprogramming original ↗

25 Jun 2024

Barycentric Lagrange Interpolation original ↗

21 Jun 2024

Random life updates original ↗

6 Jun 2024

Math databases original ↗

17 May 2024

Experiments with POSSE original ↗

13 May 2024

Remez and function approximations original ↗

6 May 2024

A High-Level Technical Overview of Fully Homomorphic Encryption original ↗

4 May 2024

Unusual Tips for Parenting Toddlers original ↗

1 Apr 2024

Tabletop Games Based on Math Problems original ↗

9 Mar 2024

2023

MLIR — A Global Optimization and Dataflow Analysis original ↗

15 Nov 2023

MLIR — Lowering through LLVM original ↗

1 Nov 2023

MLIR — Dialect Conversion original ↗

23 Oct 2023

Socks, a matching game based on an additive combinatorics problem original ↗

14 Oct 2023

MLIR — Canonicalizers and Declarative Rewrite Patterns original ↗

20 Sept 2023

Encoding Schemes in FHE original ↗

18 Sept 2023

MLIR — Verifiers original ↗

13 Sept 2023

MLIR — Folders and Constant Propagation original ↗

11 Sept 2023

MLIR — Using Traits original ↗

7 Sept 2023

Computing Percentages Easier original ↗

5 Sept 2023

MLIR — Defining a New Dialect original ↗

21 Aug 2023

MLIR — Using Tablegen for Passes original ↗

10 Aug 2023

MLIR — Writing Our First Pass original ↗

10 Aug 2023

MLIR — Running and Testing a Lowering original ↗

10 Aug 2023

MLIR — Getting Started original ↗

10 Aug 2023

Google's Recent FHE work, and starting HEIR original ↗

10 Aug 2023

Two's Complement and Group Theory original ↗

10 Jul 2023

We're Knot Friends original ↗

1 Apr 2023

Sample Extraction from RLWE to LWE original ↗

27 Feb 2023

Google's Fully Homomorphic Encryption Compiler — A Primer original ↗

13 Feb 2023

2022

Estimating the Security of Ring Learning with Errors (RLWE)original ↗

28 Dec 2022

Negacyclic Polynomial Multiplication original ↗

9 Dec 2022

Polynomial Multiplication Using the FFT original ↗

16 Nov 2022

Carnival of Mathematics #209 original ↗

2 Oct 2022

Key Switching in LWE original ↗

29 Aug 2022

Modulus Switching in LWE original ↗

16 Jul 2022

"Practical Math" Preview: Collect Sensitive Survey Responses Privately original ↗

14 May 2022

Cocktails original ↗

1 Apr 2022

Silent Duels—Constructing the Solution part 2 original ↗

24 Mar 2022

My next book will be "Practical Math for Programmers"original ↗

16 Mar 2022

2021

The Gadget Decomposition in FHE original ↗

11 Dec 2021

Group Actions and Hashing Unordered Multisets original ↗

14 Oct 2021

Carnival of Mathematics #197 original ↗

1 Sept 2021

Searching for RH Counterexamples — Exploring Data original ↗

14 Jun 2021

Regression and Linear Combinations original ↗

29 Mar 2021

Searching for RH Counterexamples — Productionizing original ↗

6 Mar 2021

Searching for RH Counterexamples — Scaling Up original ↗

16 Feb 2021

Searching for RH Counterexamples — Performance Profiling original ↗

2 Feb 2021

Searching for RH Counterexamples — Deploying with Docker original ↗

4 Jan 2021

2020

Optimization Models for Subset Cover original ↗

20 Oct 2020

Searching for RH Counterexamples — Unbounded Integers original ↗

13 Oct 2020

Searching for RH Counterexamples — Search Strategies original ↗

28 Sept 2020

Searching for RH Counterexamples — Adding a Database original ↗

11 Sept 2020

Searching for RH Counterexamples — Setting up Pytest original ↗

11 Sept 2020

Taylor Series and Accelerometers original ↗

26 Jul 2020

Contextual Symbols in Math original ↗

22 May 2020

Musings on A New Interface for Mathematics original ↗

17 May 2020

Second Edition of A Programmer's Introduction to Mathematics original ↗

17 May 2020

The Communicative Value of Using Git Well original ↗

14 Jan 2020

2019

A Good Year for "A Programmer's Introduction to Mathematics"original ↗

1 Dec 2019

Silent Duels—Constructing the Solution part 1 original ↗

30 Jun 2019

Math Versus Dirty Data original ↗

8 Jun 2019

A Working Mathematician's Guide to Parsing original ↗

20 Apr 2019

Silent Duels—Parsing the Construction original ↗

28 Jan 2019

2018

Silent Duels and an Old Paper of Restrepo original ↗

31 Dec 2018

A Programmer's Introduction to Mathematics original ↗

1 Dec 2018