Jeremy Kun / is on Nostr

Author of Math ∩ Programming, pimbook.org, pmfpbook.org, currently doing homomorphic encryption @ Google.

Last Notes

2024-09-02 21:27:01

I wrote up a little article about a problem that shows up in homomorphic encryption called "cheapest shift network" https://www.jeremykun.com/2024/09/02/shift-networks/

2024-08-10 23:00:47

File Over App
https://stephango.com/file-over-app

2024-08-04 17:58:57

- reply

@npub1c9m…9xjd have you seen the orbiform d4?

2024-08-02 22:50:14

Dad achievement unlocked: broke a drill bit.

2024-07-25 17:18:26

- reply

@npub14fs…qegk no sir, they're physical games 😭😭😭😭😭😭😭😭

2024-07-25 17:03:14

I have gotten into a habit of making my own games (either copying someone else's game or trying to make a new game) but I have nobody to play/test with 😭

2024-06-21 19:33:42

Always inject whimsy where it isn't expected

2024-05-17 21:06:58

Rounding is a bitch
>>> np.sin(-1.57079633)
-1.0
>>> np.sin(-1.57079632)
-1.0

2024-04-17 23:33:37

It's amazing how much of technical expertise boils down to "knowing the quirks of things," which always and only comes with time.

2024-03-19 17:51:02

Heading to Toronto and I'll have a day to explore before conferences ramp up. Looking for recommendations, particularly stuff that's not typical tourist stuff. Quirky/unique shops, local distilleries, local artists, I like that kind of stuff.

2024-03-14 16:50:07

"The insatiable hunger of OpenAI"
https://wimvanderbauwhede.codeberg.page/articles/the-insatiable-hunger-of-openai/
It's ironic how all the existential risk people warn us with a parable of a "paperclip optimizer" and then turn around and claim we should funnel society's resources into the current wave of AI.
And what's it all for? To teach AIs to farm for resources in video games. To enable disinformation at scale. To have robots write and read our pointless emails. To take the humans out of art. To make the extractive machinery of our society more extractive.
The author ends with "the world can't afford this growth in AI." Indeed, and we're not getting much for what we're paying.

2024-03-14 16:31:58

Paperclip optimizer? How about running the climate into the ground so we can teach AIs to farm resources in online video games.

2024-03-11 16:25:42

I have been doing so many interviews for my book that I feel like I've become a pretty strong interviewer. Half of the conversations I have I think, "man this would make for a great podcast" but I really don't want to become Lex Fridman 😖

2024-02-03 15:22:59

The "sweet spot" chapter outline I've settled into while writing my book is:
- 2 pages of social/problem context
- 2 pages of math
- 1 page relating the math to the problem context
- 1 page of demo code

2023-09-03 05:42:41

How have I never heard of the group-ring of a group until now??? https://en.m.wikipedia.org/wiki/Group_ring

2023-07-09 20:50:34

- reply

@npub1dnn…yyg8 @npub1hyk…3p33 there's got to be a T-shirt that says seize the means of computation