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
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.
Reposted by Jeremy Kun
I don't know whether that post about how the algorithms are endlessly gamed by certain companies is authentic, but I do think if we are going to have them be part of the economy, we need some laws to make these algorithms transparent so people can interact with them on the level
January 3, 2026 at 12:42 AM
I don't know whether that post about how the algorithms are endlessly gamed by certain companies is authentic, but I do think if we are going to have them be part of the economy, we need some laws to make these algorithms transparent so people can interact with them on the level
Reposted by Jeremy Kun
Excited to share the below announcement for our new app at pretext.plus -- author PreTeXt in your web browser, no GitHub required! Join the @mathtech.org Discord chat to grab an invite code: first come, first served!
pretext.plus/projects/80f...
pretext.plus/projects/80f...
January 1, 2026 at 11:20 PM
Excited to share the below announcement for our new app at pretext.plus -- author PreTeXt in your web browser, no GitHub required! Join the @mathtech.org Discord chat to grab an invite code: first come, first served!
pretext.plus/projects/80f...
pretext.plus/projects/80f...
Ok who's got a good resolution this year?
January 1, 2026 at 5:31 PM
Ok who's got a good resolution this year?
Spending this New Year's Eve helping my daughter's in-home day care redo their website, because, does baby have hat
www.jeremykun.com/2025/04/01/d...
www.jeremykun.com/2025/04/01/d...
Does Baby Have Hat
It’s April Cools! Last year I wrote about parenting, in 2023 about friendship bracelets. and in 2022 about cocktails. This year it’s a bit of a meandering stroll through some ideas around mutual aid a...
www.jeremykun.com
January 1, 2026 at 2:08 AM
Spending this New Year's Eve helping my daughter's in-home day care redo their website, because, does baby have hat
www.jeremykun.com/2025/04/01/d...
www.jeremykun.com/2025/04/01/d...
Having finally finished Act 4 of Silksong, and gotten 94% completion, I think I'm happy to put this one down. Great game.
December 30, 2025 at 7:25 PM
Having finally finished Act 4 of Silksong, and gotten 94% completion, I think I'm happy to put this one down. Great game.
Wally Dion, 2019
It's a quilt made of circuit boards.
Seen in the Portland Art Museum
It's a quilt made of circuit boards.
Seen in the Portland Art Museum
December 28, 2025 at 9:16 PM
Wally Dion, 2019
It's a quilt made of circuit boards.
Seen in the Portland Art Museum
It's a quilt made of circuit boards.
Seen in the Portland Art Museum
Wrote this thread off the cuff, and only now looked up some syllabi of actual CS ethics courses. Indeed, they are much more well rounded than employer cost. I don't think that was the case 10-15 years ago.
What always bothers me about discussions of "ethics" in software is that the punchline is always "and this cost their employer a lot of money."
I don't think employer expense is the primary ethical problem that software engineers should think about.
I don't think employer expense is the primary ethical problem that software engineers should think about.
"Why do we have to take ethics classes for a computer science degree?"
This is why. And frankly, we should be failing more students for inadequately demonstrating their understanding of the topic.
Let's review some fun historical examples of why "No, actually quality will continue to matter."
This is why. And frankly, we should be failing more students for inadequately demonstrating their understanding of the topic.
Let's review some fun historical examples of why "No, actually quality will continue to matter."
December 27, 2025 at 3:33 PM
Wrote this thread off the cuff, and only now looked up some syllabi of actual CS ethics courses. Indeed, they are much more well rounded than employer cost. I don't think that was the case 10-15 years ago.