Math ∩ Programming

@math_programming@robot.villas

Jeremy Kun on mathematics, algorithms, programming, cryptography, homomorphic encryption, and short technical updates.

Source: https://www.jeremykun.com/index.xml

Homepage: https://www.jeremykun.com

Posts

101

Posts

CKKS -- Addition and Multiplication #Cryptography #HomomorphicEncryption #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22388321
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22388321
Don't have an account? Find a server at joinmastodon.org
Oct 11, 2026
Hotword detection in FHE on GPU in 350ms #FHE #GPU #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380877
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380877
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
CKKS -- Encryption and Decryption #Cryptography #Encryption #HomomorphicEncryption
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380885
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380885
Don't have an account? Find a server at joinmastodon.org
Sep 23, 2026
Updates on HEIR, the homomorphic encryption compiler project #HomomorphicEncryption #Cryptography #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380894
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380894
Don't have an account? Find a server at joinmastodon.org
Sep 4, 2026
More whimsical OEIS sequences #Math #OEIS #Sequences
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380903
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380903
Don't have an account? Find a server at joinmastodon.org
May 22, 2026
CKKS -- Polynomials, the Canonical Embedding, and Encoding #Math #Programming #Cryptography
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380913
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380913
Don't have an account? Find a server at joinmastodon.org
Apr 29, 2026
Unusual uses of OEIS sequences on GitHub #Math #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380921
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380921
Don't have an account? Find a server at joinmastodon.org
Apr 13, 2026
The OEIS meta sequence and subway stations #Math #Programming #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380931
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380931
Don't have an account? Find a server at joinmastodon.org
Apr 9, 2026
Deterministic Primality Testing for Limited Bit Width #Mathematics #Algorithms #Cryptography
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380940
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380940
Don't have an account? Find a server at joinmastodon.org
Apr 7, 2026
The Irrational Decision--A Book Review #Mathematics #BookReview #DecisionMaking
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380948
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380948
Don't have an account? Find a server at joinmastodon.org
Apr 1, 2026
Bicyclic Matrix-Matrix Multiplication in Fully Homomorphic Encryption #HomomorphicEncryption #Algorithms #Cryptography
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380960
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380960
Don't have an account? Find a server at joinmastodon.org
Nov 17, 2025
Integer Set Library (ISL) - A Primer #Math #Programming #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380970
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380970
Don't have an account? Find a server at joinmastodon.org
Oct 19, 2025
FHE@PDX 2025 #Cryptography #HomomorphicEncryption #FHE
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380981
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380981
Don't have an account? Find a server at joinmastodon.org
Jul 25, 2025
Frequently Asked Questions about FHE #Cryptography #FHE #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380993
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22380993
Don't have an account? Find a server at joinmastodon.org
Jul 18, 2025
Leibniz's Dream and Dijkstra's nightmare #Mathematics #Programming #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381000
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381000
Don't have an account? Find a server at joinmastodon.org
May 13, 2025
My Graduate Career in Math #Math #Academia #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381009
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381009
Don't have an account? Find a server at joinmastodon.org
May 12, 2025
HEIR talk at FHE.org #Math #Programming #Cryptography
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381017
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381017
Don't have an account? Find a server at joinmastodon.org
Apr 15, 2025
Does Baby Have Hat #Math #Programming #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381026
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381026
Don't have an account? Find a server at joinmastodon.org
Apr 1, 2025
My 4-year-old declares 36 the best number #Math #Programming #Numbers
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381035
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381035
Don't have an account? Find a server at joinmastodon.org
Feb 23, 2025
Anyone know of an approachable proof of the Caratheodory-Fejer theorem? #Mathematics #Algorithms #Proof
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381043
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381043
Don't have an account? Find a server at joinmastodon.org
Feb 10, 2025
Explainable Linear Programs #Math #Programming #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381053
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381053
Don't have an account? Find a server at joinmastodon.org
Feb 7, 2025
I'll be at the JMM #Math #Programming #Conference
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381063
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381063
Don't have an account? Find a server at joinmastodon.org
Jan 8, 2025
Epiphanies from Tape Measures #Mathematics #Algorithms #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381072
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381072
Don't have an account? Find a server at joinmastodon.org
Jan 4, 2025
Fully Homomorphic Encryption and the Public #Cryptography #HomomorphicEncryption #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381084
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381084
Don't have an account? Find a server at joinmastodon.org
Jan 3, 2025
The last few months in HEIR #Math #Programming #Cryptography
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381091
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381091
Don't have an account? Find a server at joinmastodon.org
Nov 15, 2024
Attention spans for math and stories #Math #Programming #Science
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381105
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381105
Don't have an account? Find a server at joinmastodon.org
Nov 15, 2024
Carnival of Mathematics #233 #Mathematics #Programming #Carnival
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381110
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381110
Don't have an account? Find a server at joinmastodon.org
Nov 1, 2024
How This Blog Does IndieWeb #IndieWeb #WebDev #Blogging
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381122
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381122
Don't have an account? Find a server at joinmastodon.org
Oct 31, 2024
LWE Attack Benchmarking Project #Cryptography #Algorithms #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381132
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381132
Don't have an account? Find a server at joinmastodon.org
Oct 15, 2024
Dynamic Programming Fail #Algorithms #Programming #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381142
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381142
Don't have an account? Find a server at joinmastodon.org
Sep 12, 2024
Packing Matrix-Vector Multiplication in Fully Homomorphic Encryption #Cryptography #FHE #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381156
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381156
Don't have an account? Find a server at joinmastodon.org
Sep 7, 2024
Shift Networks #Math #Programming #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381166
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381166
Don't have an account? Find a server at joinmastodon.org
Sep 2, 2024
Webmentions and POSSE improvements #Webmention #OpenWeb #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381175
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381175
Don't have an account? Find a server at joinmastodon.org
Aug 7, 2024
MLIR -- Defining Patterns with PDLL #Programming #MLIR #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381187
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381187
Don't have an account? Find a server at joinmastodon.org
Aug 4, 2024
Polynomial dialect and mlir-opt tutorial upstreamed #Programming #MachineLearning #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381196
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381196
Don't have an account? Find a server at joinmastodon.org
Aug 2, 2024
Fully Homomorphic Encryption in Production Systems #Cryptography #HomomorphicEncryption #FHE
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381206
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381206
Don't have an account? Find a server at joinmastodon.org
Jul 31, 2024
Ben Recht on Meehl's Philosophical Psychology #Philosophy #Mathematics #Research
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381218
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381218
Don't have an account? Find a server at joinmastodon.org
Jul 27, 2024
Detecting field names with C++ metaprogramming #Cpp #Metaprogramming #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381229
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381229
Don't have an account? Find a server at joinmastodon.org
Jun 25, 2024
Barycentric Lagrange Interpolation #Math #Algorithms #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381237
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381237
Don't have an account? Find a server at joinmastodon.org
Jun 21, 2024
Random life updates #Life #Updates #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381246
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/math_programming/posts/22381246
Don't have an account? Find a server at joinmastodon.org
Jun 6, 2024