Jeremy Kun
@jeremykun.com
Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com
https://pimbook.org
https://pmfpbook.org
https://buttondown.email/j2kun
https://heir.dev
https://jeremykun.com
https://pimbook.org
https://pmfpbook.org
https://buttondown.email/j2kun
https://heir.dev
Reposted by Jeremy Kun
February 7, 2026 at 8:57 PM
What is winter but a series of false Springs
February 3, 2026 at 4:10 PM
What is winter but a series of false Springs
Reposted by Jeremy Kun
ICE tear gassed a bunch of children on Saturday. This was a massive escalation of force. They were shooting tear gas at the back of the crowd, it took these unmasked people maybe 3-5 minutes in the cloud of tear gas to escape in without trampling. www.theverge.com/policy/87278...
ICE is afraid of children protesting
“Next time, I’ll be back with a gas mask.”
www.theverge.com
February 3, 2026 at 2:11 PM
ICE tear gassed a bunch of children on Saturday. This was a massive escalation of force. They were shooting tear gas at the back of the crowd, it took these unmasked people maybe 3-5 minutes in the cloud of tear gas to escape in without trampling. www.theverge.com/policy/87278...
People used to say stuff like, the great minds of our generation are wasting their life's work optimizing ad revenue, but now I guess they have moved on to more fulfilling work, such as chatbot-only reddit.
February 2, 2026 at 11:22 PM
People used to say stuff like, the great minds of our generation are wasting their life's work optimizing ad revenue, but now I guess they have moved on to more fulfilling work, such as chatbot-only reddit.
It is important to have access to many computer, if one computer sick you can still use computer while you wait for computer to get healthy again.
February 2, 2026 at 7:30 PM
It is important to have access to many computer, if one computer sick you can still use computer while you wait for computer to get healthy again.
Out of nowhere, 18 month old insists on having noodles served in a cup, a "noo noo cup" as she calls it.
Graduate student material
Graduate student material
February 1, 2026 at 1:42 AM
Out of nowhere, 18 month old insists on having noodles served in a cup, a "noo noo cup" as she calls it.
Graduate student material
Graduate student material
Apropos of nothing, if you have a young kid who likes LEGO, Master Builder Alec is a great source of inspiration: youtube.com/@masterbuild...
Master Builder Alec
I'm a Master Model Builder for LEGOLAND Discovery Centers and LEGO Discovery Centers around the world! Follow me to see awesome LEGO creations!
youtube.com
February 1, 2026 at 12:03 AM
Apropos of nothing, if you have a young kid who likes LEGO, Master Builder Alec is a great source of inspiration: youtube.com/@masterbuild...
Reposted by Jeremy Kun
My blood was simmering and then boiling this entire episode. As an on-the-record lover of ducks, fuuuuuucccckkkkk eeeeeevery government asshole in Alabama.
I hope they all have the day they deserve after this.
Great work by the whole Hyperfixed team, one of the very best podcasts around.
I hope they all have the day they deserve after this.
Great work by the whole Hyperfixed team, one of the very best podcasts around.
Good morning, we have produced a banger this week o @hyperfixedpod.bsky.social. It has everything — rumor, coverups, legal threats, dishonesty, and ducks & geese www.hyperfixedpod.com/listen/hyper...
Hyperfixed | Cry Fowl
www.hyperfixedpod.com
January 29, 2026 at 7:42 PM
My blood was simmering and then boiling this entire episode. As an on-the-record lover of ducks, fuuuuuucccckkkkk eeeeeevery government asshole in Alabama.
I hope they all have the day they deserve after this.
Great work by the whole Hyperfixed team, one of the very best podcasts around.
I hope they all have the day they deserve after this.
Great work by the whole Hyperfixed team, one of the very best podcasts around.
I feel like I should start using the term "compiled" as if it meant "composed" or "having poise"
January 28, 2026 at 12:46 AM
I feel like I should start using the term "compiled" as if it meant "composed" or "having poise"
Reposted by Jeremy Kun
Rust's primal crate does something like that. docs.rs/crate/primal...
docs.rs
January 28, 2026 at 12:02 AM
Rust's primal crate does something like that. docs.rs/crate/primal...
It's been like 8 days of stomach flu working through every member of my household, and between being sick myself and taking care of sick family members, I'm just starting to feel like myself again. 😮💨
January 27, 2026 at 8:56 PM
It's been like 8 days of stomach flu working through every member of my household, and between being sick myself and taking care of sick family members, I'm just starting to feel like myself again. 😮💨
TIL if you do Miller-Rabin with the first 12 prime bases, you have a fast, exact primarily test for all 64-bit integers.
Cf. oeis.org/A014233 which gives the upper bound on the two-sided correctness of Miller-Rabin given that you tested on the first k bases.
Cf. oeis.org/A014233 which gives the upper bound on the two-sided correctness of Miller-Rabin given that you tested on the first k bases.
A014233 - OEIS
oeis.org
January 27, 2026 at 8:22 PM
TIL if you do Miller-Rabin with the first 12 prime bases, you have a fast, exact primarily test for all 64-bit integers.
Cf. oeis.org/A014233 which gives the upper bound on the two-sided correctness of Miller-Rabin given that you tested on the first k bases.
Cf. oeis.org/A014233 which gives the upper bound on the two-sided correctness of Miller-Rabin given that you tested on the first k bases.
Reposted by Jeremy Kun
1/2 "The most striking finding we had is that the students that practiced math problems with ChatGPT without any guardrails did 17% worse on immediate subsequent exam where they did not have AI assistance." Hamsa Bastani of @upenn.edu at the Simons Institute. simons.berkeley.edu/talks/hamsa-...
January 26, 2026 at 4:20 PM
1/2 "The most striking finding we had is that the students that practiced math problems with ChatGPT without any guardrails did 17% worse on immediate subsequent exam where they did not have AI assistance." Hamsa Bastani of @upenn.edu at the Simons Institute. simons.berkeley.edu/talks/hamsa-...
I've heard ICE agents are really dumb. Like, "plug in a USB they found on the ground labeled Antifa Top Secret Plans" dumb.
January 24, 2026 at 1:19 AM
I've heard ICE agents are really dumb. Like, "plug in a USB they found on the ground labeled Antifa Top Secret Plans" dumb.
I heard somewhere that the barf bowl next to the bed is the closest white people in America get to a shared cultural practice, and today I'm teaching my son that tradition. Poor kid.
January 23, 2026 at 4:58 PM
I heard somewhere that the barf bowl next to the bed is the closest white people in America get to a shared cultural practice, and today I'm teaching my son that tradition. Poor kid.
Reposted by Jeremy Kun
Very excited that this video was one of five winners of the "helpful for teachers" supplementary prizes of #SoME4. I love it when teachers tell me that they used one of my videos in their classroom!
3blue1brown.substack.com/p/some4-prizes
3blue1brown.substack.com/p/some4-prizes
January 22, 2026 at 10:58 AM
Very excited that this video was one of five winners of the "helpful for teachers" supplementary prizes of #SoME4. I love it when teachers tell me that they used one of my videos in their classroom!
3blue1brown.substack.com/p/some4-prizes
3blue1brown.substack.com/p/some4-prizes
Reposted by Jeremy Kun
What is wild to me is the defense, BY THE NEURIPS BOARD, that fabricated citations do not mean "the content of the papers themselves [is] necessarily invalidated"
It does. It very much does. What do you think citing other work is for? What do you think writing a paper is for? What do you *think*?
It does. It very much does. What do you think citing other work is for? What do you think writing a paper is for? What do you *think*?
NEW: NeurIPS,one of the world’s top academic AI conferences, accepted research papers with 100+ AI-hallucinated citations, new report claims
fortune.com/2026/01/21/n...
fortune.com/2026/01/21/n...
NeurIPS papers contained 100+ AI-hallucinated citations, new report claims | Fortune
An analysis of NeurIPS 2025 papers by startup GPTZero reveals how AI-generated citations are slipping into elite academic research.
fortune.com
January 21, 2026 at 9:34 PM
What is wild to me is the defense, BY THE NEURIPS BOARD, that fabricated citations do not mean "the content of the papers themselves [is] necessarily invalidated"
It does. It very much does. What do you think citing other work is for? What do you think writing a paper is for? What do you *think*?
It does. It very much does. What do you think citing other work is for? What do you think writing a paper is for? What do you *think*?
Reposted by Jeremy Kun
My 5y/o is hilarious. He's singing "if you're happy and you know it, DON'T write an email!"
Kid is wise beyond his years.
Kid is wise beyond his years.
January 19, 2026 at 2:11 AM
My 5y/o is hilarious. He's singing "if you're happy and you know it, DON'T write an email!"
Kid is wise beyond his years.
Kid is wise beyond his years.
Financialization is the tragedy of AI.
January 16, 2026 at 5:40 PM
Financialization is the tragedy of AI.
In brief: it's about agency, you silly goose.
a thing i've been thinking about posting for a long time is "back in those days, the workers didn't say "eww factories were created by capitalists to enrich capitalists, we should abandon factories" they said "we should seize them and direct their output for the good of humanity"
January 10, 2026 at 7:45 PM
In brief: it's about agency, you silly goose.
Gonna be honest it took me like fifteen years of listening to Heartbeats by Jose Gonzales to learn that song is a COVER from 2002: www.youtube.com/watch?v=pPD8...
The original is also pretty good IMO
The original is also pretty good IMO
The Knife - Heartbeats (Official Video)
YouTube video by The Knife
www.youtube.com
January 9, 2026 at 6:59 PM
Gonna be honest it took me like fifteen years of listening to Heartbeats by Jose Gonzales to learn that song is a COVER from 2002: www.youtube.com/watch?v=pPD8...
The original is also pretty good IMO
The original is also pretty good IMO
Someone sent me a socks problem and it took me WAY too long to find the set (subset of cards where all socks match up in pairs of the same style, i.e. even or can be zero)
January 9, 2026 at 2:34 AM
Someone sent me a socks problem and it took me WAY too long to find the set (subset of cards where all socks match up in pairs of the same style, i.e. even or can be zero)
Am I the only one who feels like we should be able to decide how to live and regulate society without forcing absolutely every question into randomized controlled trials?
This a good start. One caveat here is that it is hard to figure out the total causal effect of social media when you only incent participants to reduce their own use for a short period.
But I take your point that the ideal study would be a large-scale RCT that manipulates social media usage as a registered report. We are running that study now around the world in 23 countries and I'll get share the results once we have them. globalsocialmediastudy.com
January 7, 2026 at 4:33 PM
Am I the only one who feels like we should be able to decide how to live and regulate society without forcing absolutely every question into randomized controlled trials?
Lol I kind of want some of those LEGO "smart bricks" but I don't want to buy a $70 Star wars set just for one smart brick. I wonder when they will sell smart bricks by themselves that I can program.
January 6, 2026 at 5:04 AM
Lol I kind of want some of those LEGO "smart bricks" but I don't want to buy a $70 Star wars set just for one smart brick. I wonder when they will sell smart bricks by themselves that I can program.