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
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.
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 4:21 AM
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.
Reposted by Jeremy Kun
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
![[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation
External
Inbox
Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org>
5:43 AM (4 hours ago)
to me
Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village)
IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:vsgr3rwyckhiavgqzdcuzm6i/bafkreifg5kvowgazg6uwqulfbdvxurqafbcescazwvgcl2catgvlrsc2fi@jpeg)
December 25, 2025 at 11:25 PM
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Just fuck you. Fuck you all.
I can't remember the last time I was this angry.
Reposted by Jeremy Kun
There is a job posting for a mathematics staff writer at @quantamagazine.bsky.social:
simonsfoundation.wd1.myworkdayjobs.com/en-US/simons...
Maybe this is good for you or somebody you know!
#MathSky 🧮 #iTeachMath ♾️
simonsfoundation.wd1.myworkdayjobs.com/en-US/simons...
Maybe this is good for you or somebody you know!
#MathSky 🧮 #iTeachMath ♾️
Staff Writer (Mathematics), Quanta Magazine
POSITION SUMMARY Quanta Magazine is seeking a first-rate reporter and writer to identify and cover newsworthy developments in mathematics. The ideal candidate will have tireless appetite for exploring...
simonsfoundation.wd1.myworkdayjobs.com
December 25, 2025 at 5:31 PM
There is a job posting for a mathematics staff writer at @quantamagazine.bsky.social:
simonsfoundation.wd1.myworkdayjobs.com/en-US/simons...
Maybe this is good for you or somebody you know!
#MathSky 🧮 #iTeachMath ♾️
simonsfoundation.wd1.myworkdayjobs.com/en-US/simons...
Maybe this is good for you or somebody you know!
#MathSky 🧮 #iTeachMath ♾️
Reposted by Jeremy Kun
me: how do I think of this complex problem? help please
mathematician, normally: how do you feel about geometry??
mathematician, normally: how do you feel about geometry??
December 21, 2025 at 12:14 PM
me: how do I think of this complex problem? help please
mathematician, normally: how do you feel about geometry??
mathematician, normally: how do you feel about geometry??
Reposted by Jeremy Kun
Classical billiards can compute.
With Isaac Ramos, we show that 2D billiard systems are Turing complete, implying the existence of undecidable trajectories in physically natural models from hard-sphere gases to celestial mechanics.
Determinism ≠ predictability. 🎱🧠 @upc.edu @ricardsole.bsky.social
With Isaac Ramos, we show that 2D billiard systems are Turing complete, implying the existence of undecidable trajectories in physically natural models from hard-sphere gases to celestial mechanics.
Determinism ≠ predictability. 🎱🧠 @upc.edu @ricardsole.bsky.social
December 19, 2025 at 8:16 PM
Classical billiards can compute.
With Isaac Ramos, we show that 2D billiard systems are Turing complete, implying the existence of undecidable trajectories in physically natural models from hard-sphere gases to celestial mechanics.
Determinism ≠ predictability. 🎱🧠 @upc.edu @ricardsole.bsky.social
With Isaac Ramos, we show that 2D billiard systems are Turing complete, implying the existence of undecidable trajectories in physically natural models from hard-sphere gases to celestial mechanics.
Determinism ≠ predictability. 🎱🧠 @upc.edu @ricardsole.bsky.social
I've heard Rad Power bikes has always had troubles, so the bankruptcy is no surprise, but seeing how much of their unsecured claims is attributed to tariffs makes it pretty clear that Trump's policies had a major impact on them.
December 16, 2025 at 8:05 PM
I've heard Rad Power bikes has always had troubles, so the bankruptcy is no surprise, but seeing how much of their unsecured claims is attributed to tariffs makes it pretty clear that Trump's policies had a major impact on them.
What is the likelihood that my guess of the probability of this event is at least 1/3?
I'd say it's pretty likely.
I'd say it's pretty likely.
December 14, 2025 at 3:12 AM
What is the likelihood that my guess of the probability of this event is at least 1/3?
I'd say it's pretty likely.
I'd say it's pretty likely.
Reposted by Jeremy Kun
I saved this earlier and didn’t know what to do with and now I know what to do with it
October 2, 2025 at 7:28 PM
I saved this earlier and didn’t know what to do with and now I know what to do with it
I handle solitude very well, but the loneliest feeling I know of is to be traveling by myself in a dense metropolis of a foreign country where I don't speak the language.
Something about being solo in never ending crowds of people I can't communicate with... It's a vibe I'm not here for.
Something about being solo in never ending crowds of people I can't communicate with... It's a vibe I'm not here for.
December 11, 2025 at 5:05 PM
I handle solitude very well, but the loneliest feeling I know of is to be traveling by myself in a dense metropolis of a foreign country where I don't speak the language.
Something about being solo in never ending crowds of people I can't communicate with... It's a vibe I'm not here for.
Something about being solo in never ending crowds of people I can't communicate with... It's a vibe I'm not here for.
Is it me or do status pages just not work properly anymore? GitHub status page shows all systems good, but I can't access the web UI.
December 9, 2025 at 10:00 PM
Is it me or do status pages just not work properly anymore? GitHub status page shows all systems good, but I can't access the web UI.
Cursed Cunningham's Law:
The fastest way to get help from an expert is not to ask a question, but to claim an LLM outperformed the experts.
The fastest way to get help from an expert is not to ask a question, but to claim an LLM outperformed the experts.
December 9, 2025 at 7:30 PM
Cursed Cunningham's Law:
The fastest way to get help from an expert is not to ask a question, but to claim an LLM outperformed the experts.
The fastest way to get help from an expert is not to ask a question, but to claim an LLM outperformed the experts.
Ah yes, the motivational posters in my hotel room, including "You matter" and "sunlight is every color combined"
December 8, 2025 at 2:53 PM
Ah yes, the motivational posters in my hotel room, including "You matter" and "sunlight is every color combined"
My 5yo just informed me, "I think I have succeeded on my new year's revolution"
December 7, 2025 at 3:16 PM
My 5yo just informed me, "I think I have succeeded on my new year's revolution"
You know your corporate computing environment is weird if the only way to use python3.11 on linux is to compile it from source.
December 5, 2025 at 9:49 PM
You know your corporate computing environment is weird if the only way to use python3.11 on linux is to compile it from source.
Since the core value proposition of generative AI is to replace labor, I'd say wealthy people are going to become more dependent than anyone on it, because that's how they, in theory, avoid the messy and expensive business of employing people to do things for them.
The first school to market itself as AI free is going to corner the market on people interested in actually learning. And I would not be surprised if rich families and the children of people creating this tech were the first movers.
My employer, Dartmouth College, today boasts it's 1st Ivy "to launch AI at an institutional scale." It is doing this by partnering--"more than a collaboration"--with Anthropic, a company that stole the books of many faculty, me included, which many of us are suing.
December 5, 2025 at 5:00 PM
Since the core value proposition of generative AI is to replace labor, I'd say wealthy people are going to become more dependent than anyone on it, because that's how they, in theory, avoid the messy and expensive business of employing people to do things for them.