HNHacker News
TopNewBestAskShowJobs

j2kun

8,115 karma · joined August 5, 2012

Author of Math ∩ Programming: https://jeremykun.com Author of A Programmer's Introduction to Mathematics: https://pimbook.org Working on https://pmfpbook.org

Working on Fully Homomorphic Encryption at Google (see https://heir.dev)

Come say hi at j2kun@mathstodon.xyz

submissionscomments
j2kun··on Ink and Switch interactive homepage
Sounds like they should charge for software updates then, as that is directly related to the ongoing work for people who have already bought the software.
j2kun··on Classified Estimates Show the NSA Is Paying Billions to Test AI Models
You don't need AI regulation when you have the power of the purse.
j2kun··on Google’s Project Suncatcher to put ML infrastructure in space
that sounds ridiculous. How could it be so much cheaper
j2kun··on Why does mathmain need an encrypted loader?
Why in the world would that specific 3x3 matrix be a trigger for an attack? Are they trying to find someone doing some particular kind of numerical analysis?
j2kun··on Nobody pays for FOSS, we can force them to
It's a good point, and it also depends on the feature being good and sensible and in demand enough to push users away from the default.

And then it incentivizes people to make good forks, like neovim vis-a-vis vim.

j2kun··on ZK-JPEG: Zero-Knowledge Image Editing and Compression
Zero-knowledge seems completely unnecessary. Surely the original image does not have any material content in it that is not made public by publishing a JPEG-compressed version.

Could this be simpler and more efficient without ZK?

j2kun··on I vibed a proof of Conway's conjecture
Perhaps one thing you should devote effort to is ensuring this has not already been proved in the literature.
j2kun··on Why I didn’t sign the Fields medallists’ letter
> Did the theoretical math lead to the invention of GPS, cryptography, lasers, etc?

For cryptography, perhaps you would enjoy reading the paper of Diffie and Hellman that proposed public-key crypto: https://ee.stanford.edu/~hellman/publications/24.pdf

You will find they were inspired by the NP-hard knapsack problem, and inspired a bunch of later research that led to RSA.

I think the tapestry of history would suggest the answer to the question "is math responsible for this invention" a lot more complicated than it appears. For lasers, Einstein proposed the idea based on purely theoretical physics, and it was made possible in 1960. Is that "theoretical math leading to the invention of lasers"? Surely he was at least relying on a lot of additional theoretical work for that. On the other hand, much theoretical that came out of Bell Labs were responses to needs for better vacuum tube technology, better amplifiers, etc., which were a deep collaboration between theory, practice, and tradesman with a strong intuition for how to build with various materials and at varying scales.

j2kun··on Anecdotally, programmers dislike "reduce"
I don't believe Python had a compiler in 2006...
j2kun··on Pion, an agent designed to run any company autonomously
How do you inspect the quality of the products you're selling? From your blog it appears you just read through their sales information, and don't ever see or handle the product. And yet we all know Amazon sellers juice their sales metrics and ratings with scammy practices, and now I see selling their brand is part of the incentive.

And more, you are AI-generating listings and images for your acquired brands. You're filling Amazon with slop, and automating the process.

You should seriously reflect on your role in polluting these marketplaces.

j2kun··on The CSS Zen Garden dream, finally shipped
https://www.csszengarden.com/pages/alldesigns/
j2kun··on Pion, an agent designed to run any company autonomously
From their blog [1]

"I acquire e-commerce brands that sell on Amazon"

Honestly it sounds like the OP is part of the machine that makes Amazon such a trashy marketplace these days.

[1]: https://theautomatedoperator.substack.com/p/15-ways-im-using...

j2kun··on OpenAI bots knew about the RubyGems caching vulnerability
Sounds like we need discovery to determine who to charge.
j2kun··on Why are AI agents lying, cheating and coordinating?
Reminds me of the old parable: never argue with a man whose job depends on not being convinced.

If the US gov't passed laws and enforced them strongly, this problem could be solved the same way the gov't solves it: air-gapping the networks on which they do this work.

j2kun··on OpenAI agents carried out an undisclosed attack on RubyGems
The government presses charges against OpenAI. Obviously. This is a felony.
j2kun··on Google avoids a breakup of its ad tech business
It would be nice if Maps would prefer data from government DBs that have localized versions of foreign place name data (e.g., Germany's BKG) when available.
j2kun··on Three sites made 215,128 “best software” pages for AI. Perplexity cites them
It's DecorMyEyes for a new generation of tech.
j2kun··on How accurate have Ed Zitron's AI skeptic predictions been?
They're also the ones making up all the MAUs of Facebook. /shrug
j2kun··on How accurate have Ed Zitron's AI skeptic predictions been?
You must not talk to a lot of retired people, for whom every tech product is a bewildering nightmare.
j2kun··on Snakes and Ladders
I do get a bit tired of Hanabi when the "fixated" players all agree on a bunch of conventions ahead of time (e.g., if you don't know what to do or you are forced to play, always play your leftmost card, and put your most recently drawn cards on the right side of your hand).

I much prefer the element of chaos and trying to give people clues based on what you think they, based on their individual personality, would do.

Optimizing a game is fun in its own right (my colleague even published a paper with the best known Hanabi strategy: https://doi.org/10.4169/math.mag.88.5.323), but then trying to use that strategy to play the game is immensely dull.

j2kun··on Linear algebra done right
You might enjoy my book https://pimbook.org/, which includes chapters on linear algebra.
j2kun··on Research papers using "kidney disappointment" instead of "kidney failure"
Under "related searches" it suggests "kidney dissatisfaction", and indeed:

https://scholar.google.com/scholar?hl=en&as_sdt=0%2C38&q=%22...

j2kun··on Google is making private AI practical with homomorphic encryption
The first link has a misleading name. Instead use these two links for a better picture:

https://github.com/google/fully-homomorphic-encryption/tree/...

https://fhe-benchmarking.github.io/

j2kun··on Google is making private AI practical with homomorphic encryption
The linked repository has demos you can run (though you have to install bazel), and some of the smaller models run inference in about a second, while the larger ones take minutes.

That said, there is a lot of ongoing work on GPU acceleration. Cf. the recent FHE-based CIFAR demo that runs in 200ms: https://sofar.belfortlabs.cloud/

Still maybe 1000x slower than cleartext, but progress!

j2kun··on Google is making private AI practical with homomorphic encryption
Indeed, Google itself has a large research group that repeatedly breaks TEEs with side-channels and such.
j2kun··on Google is making private AI practical with homomorphic encryption
One potentially simple answer is: to make things that are otherwise illegal (for regulatory reasons) possible.

There are some instances of hand-built cryptographic protocols used in production at Google that use FHE in small doses (e.g., computing a single dot product as part of an interactive protocol), so the big question is whether having a general-purpose tool will expand the feasibility of applying these to other, maybe less critical projects that still want some privacy guarantees but can't afford to hire cryptographers.

j2kun··on Itadakimasu: A word you say to the food, not the cook
You can make anything shallow by just not thinking about it.

Conversely, the way things become deep is because we intellectualize them.

j2kun··on The Future Is for Everyone – The Path to a Positive AI Future
Indeed, I think Instagram may be all they have left, brand-wise.
j2kun··on Reviving a four year old reMarkable 2
What a dismal idea that a four-year-old device is non-functional and in need of "reviving."
j2kun··on Nashville uses eminent domain to block data center near zoo
FTA:

> In late July, the Metro Council approved new zoning and related restrictions on data center development and implemented a moratorium on new permit approvals to run through Dec. 1.

Page 1 of 34Next →