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
ok wtf is Alma Linux and why the hell does cibuildwheel force me to use it.
November 11, 2025 at 5:43 PM
ok wtf is Alma Linux and why the hell does cibuildwheel force me to use it.
The Zelda movie had better be about the balance of nature and Mononoke/Nausicaa type shit. If it's another lame cash grab like the Mario movie I'm going to be very salty about it.
November 7, 2025 at 4:26 AM
The Zelda movie had better be about the balance of nature and Mononoke/Nausicaa type shit. If it's another lame cash grab like the Mario movie I'm going to be very salty about it.
Sine, wasine, secant, wasecant, tangent, and watangent.
You kids and your six trig functions. Back in my day we had only one, and we used it for everything.
sin(θ)
sin(π/2 - θ)
sin(θ)/sin(π/2 - θ)
1/sin(θ)
1/sin(π/2 - θ)
sin(π/2 - θ)/sin(θ)
sin(θ)
sin(π/2 - θ)
sin(θ)/sin(π/2 - θ)
1/sin(θ)
1/sin(π/2 - θ)
sin(π/2 - θ)/sin(θ)
November 7, 2025 at 12:29 AM
Sine, wasine, secant, wasecant, tangent, and watangent.
FIFO (first in first out) and LIFO (last in first out) queues are so CS 102. Today let's talk about the FAFO queue (fuck around find out).
November 6, 2025 at 8:32 PM
FIFO (first in first out) and LIFO (last in first out) queues are so CS 102. Today let's talk about the FAFO queue (fuck around find out).
Reposted by Jeremy Kun
Hi, I’m Alex goldman. I used to host a podcast called Reply All that some people liked. For the past year I have been making a show called @hyperfixedpod.bsky.social. We now have 25 episodes (50 if you count premium episodes). You might enjoy it! Listen if you liked reply all
November 1, 2025 at 6:36 PM
Hi, I’m Alex goldman. I used to host a podcast called Reply All that some people liked. For the past year I have been making a show called @hyperfixedpod.bsky.social. We now have 25 episodes (50 if you count premium episodes). You might enjoy it! Listen if you liked reply all
It's the calm before the Halloween storm in my neighborhood
October 31, 2025 at 11:52 PM
It's the calm before the Halloween storm in my neighborhood
Mastodon came through, gotta up your game mathsky 😘
Look at me I'm posting an image from another social network like a basic bitch.
But THAT social network has typesetting 😀 and so the post reads nicer than if I retyped it here with no typesetting.
But THAT social network has typesetting 😀 and so the post reads nicer than if I retyped it here with no typesetting.
October 31, 2025 at 1:48 AM
Mastodon came through, gotta up your game mathsky 😘
Look at me I'm posting an image from another social network like a basic bitch.
But THAT social network has typesetting 😀 and so the post reads nicer than if I retyped it here with no typesetting.
But THAT social network has typesetting 😀 and so the post reads nicer than if I retyped it here with no typesetting.
October 30, 2025 at 2:20 AM
Look at me I'm posting an image from another social network like a basic bitch.
But THAT social network has typesetting 😀 and so the post reads nicer than if I retyped it here with no typesetting.
But THAT social network has typesetting 😀 and so the post reads nicer than if I retyped it here with no typesetting.
Reposted by Jeremy Kun
I agree that STEM, the social sciences, humanities and all the rest need to stand together against anti-intellectualism.
I am also aware that when humanities funding was being collapsed, there was not a lot of STEM solidarity and there are STEM folks *now* still suggesting under-bussing humanities.
I am also aware that when humanities funding was being collapsed, there was not a lot of STEM solidarity and there are STEM folks *now* still suggesting under-bussing humanities.
I’m so tired of this, man. We’re dealing with an all out war on intelligence and higher education. STEM and the social sciences and the liberal arts need to all stand together instead of this absurd petty squabbling.
October 26, 2025 at 10:22 PM
I agree that STEM, the social sciences, humanities and all the rest need to stand together against anti-intellectualism.
I am also aware that when humanities funding was being collapsed, there was not a lot of STEM solidarity and there are STEM folks *now* still suggesting under-bussing humanities.
I am also aware that when humanities funding was being collapsed, there was not a lot of STEM solidarity and there are STEM folks *now* still suggesting under-bussing humanities.
Reposted by Jeremy Kun
Not being an AI-doomer, but having experienced in my own department over the past 7 years a steady erosion of faculty governance norms and diminished prioritization of research-oriented pedagogy, this tracks. Let faculty and faculty interests lead the way, rather than administrators/regents
"AI returns to the university as part of a broad effort to further corporatize universities, vocationalize higher-education instruction, and diminish both research and research-based pedagogy."
October 24, 2025 at 3:33 PM
Not being an AI-doomer, but having experienced in my own department over the past 7 years a steady erosion of faculty governance norms and diminished prioritization of research-oriented pedagogy, this tracks. Let faculty and faculty interests lead the way, rather than administrators/regents
NGL I love this part of train trips. Get a sleeper car, dine with a rando, have a conversation with someone out of the ordinary.
Thing I didn’t expect on a train trip- Amtrak seats strangers together like Benihana, only it’s just a table for four so it’s obvious when you’re not talking. Every…single….meal, new people.
a close up of a man 's face with his eyes closed and his hand on his chin .
Alt: Video of Michael from the office rubbing his forehead
media.tenor.com
October 24, 2025 at 2:25 AM
NGL I love this part of train trips. Get a sleeper car, dine with a rando, have a conversation with someone out of the ordinary.
There should be a bsky filter for "accounts that only post pictures with overlaid political messages"
October 20, 2025 at 2:28 PM
There should be a bsky filter for "accounts that only post pictures with overlaid political messages"
October 20, 2025 at 12:29 AM
😍😍😍😍
If you are looking for a present for that cryptographer in your life for Xmas, then here you go....
obsolescence.dev/enigma-touch...
obsolescence.dev/enigma-touch...
The Enigma touch
Entry page describing the Enigma touch, a replica of the Enigma cryptography machine from World War 2
obsolescence.dev
October 9, 2025 at 2:32 PM
😍😍😍😍
The wealthy are not moving away, and everyone is getting free childcare.
This article has a lot more important problems so I feel stupid saying this…but umm…the Mercury wrote and published the first major article about the DSA councilors back in June. Of course it isn’t the local reporting linked or mentioned here.
What Happens When Socialists Are in Charge? Portland Offers a Glimpse.
www.nytimes.com
October 4, 2025 at 5:26 PM
The wealthy are not moving away, and everyone is getting free childcare.
But also, just make it a fucking website! If the app is designed in a half decent manner, this should be easy.
This is the obvious absurdity of pulling ICEBlock. It is obviously legal, protected speech for anyone to say, in any forum, “I just witnessed some police activity at location X”. Indeed, people have been doing this regularly on social media since its inception.
"I think in a free country we should be able to post onto the internet, 'hey, there are masked agents on Broadway and Vine and not have the government or the tech oligarchs prevent us from doing that.' Shame on you, Tim Cook."
@radiofreetom.bsky.social joins @timmiller.bsky.social:
@radiofreetom.bsky.social joins @timmiller.bsky.social:
October 4, 2025 at 2:11 AM
But also, just make it a fucking website! If the app is designed in a half decent manner, this should be easy.
Every time someone posts about how inconsistent some Republican talking point is, I want to shout, "THEY DON'T CARE"
Pointing out hypocrisy doesn't achieve anything, and just allows them to control the discussion and distract from what matters. Ignore it and reframe.
Pointing out hypocrisy doesn't achieve anything, and just allows them to control the discussion and distract from what matters. Ignore it and reframe.
October 4, 2025 at 2:08 AM
Every time someone posts about how inconsistent some Republican talking point is, I want to shout, "THEY DON'T CARE"
Pointing out hypocrisy doesn't achieve anything, and just allows them to control the discussion and distract from what matters. Ignore it and reframe.
Pointing out hypocrisy doesn't achieve anything, and just allows them to control the discussion and distract from what matters. Ignore it and reframe.
I liked my Google home mini, until bit by bit it got worse at its core function (set a fucking timer) and now it's a brick. Can't imagine buying a new one based off Gemini, because what's to stop that one from becoming another brick?
October 1, 2025 at 2:21 PM
I liked my Google home mini, until bit by bit it got worse at its core function (set a fucking timer) and now it's a brick. Can't imagine buying a new one based off Gemini, because what's to stop that one from becoming another brick?
An LLM that talks about itself like Chris Farley when it makes a mistake "I'm such an IDIOT"
September 25, 2025 at 5:31 PM
An LLM that talks about itself like Chris Farley when it makes a mistake "I'm such an IDIOT"
Is it me, or does "copy/paste" just suck on computers these days?
September 23, 2025 at 5:01 PM
Is it me, or does "copy/paste" just suck on computers these days?
It's like Minecraft for rigorous thought. It's a souls-like for your brain. It's a rogue-lite for your eraser!
September 17, 2025 at 3:17 PM
It's like Minecraft for rigorous thought. It's a souls-like for your brain. It's a rogue-lite for your eraser!
I'll be giving a talk called "Lessons from Software on Managing Complexity", starts in 45 minutes.
Our final talks begin in 90 minutes feat. @jeremykun.com and David Roe! Info at preview.scholarlattice.org/collections/...
September 15, 2025 at 7:14 PM
I'll be giving a talk called "Lessons from Software on Managing Complexity", starts in 45 minutes.
Honest question: why don't people make and share email blocklists, and build up some basic automation around adding to them and syncing them? Surely people like this are few but noisy, and people could preempt voluminous email harassment quite easily.
When you write a piece noting that a guy promoted racism and violence, his followers immediately prove you right
September 14, 2025 at 1:39 AM
Honest question: why don't people make and share email blocklists, and build up some basic automation around adding to them and syncing them? Surely people like this are few but noisy, and people could preempt voluminous email harassment quite easily.
Reposted by Jeremy Kun
Software books I wish I could read
If you write them I'll buy them!
buttondown.com
September 12, 2025 at 3:24 PM
@anyaustin.bsky.social I heard about you recently and I think your videos are pretty cool. Keep it up!
September 9, 2025 at 1:39 PM
@anyaustin.bsky.social I heard about you recently and I think your videos are pretty cool. Keep it up!