HNHacker News
TopNewBestAskShowJobs

j2kun

8,223 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 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.

j2kun··on Changes at Google DeepMind: Demis Hassabis from CEO to Chair, Jeff Dean departs
I recommend touching grass.
j2kun··on Nashville uses eminent domain to block data center near zoo
No, this is more like checks and balances: the state, the public, and corporations are kept in check when two of them join together to oppose the third.
j2kun··on Nashville uses eminent domain to block data center near zoo
What I think is nice is that the political parties opposed to data center development are actually taking concrete steps, exercising specific powers, to advance their goals.

So much opposition to tech boils down to whining, and then the tech companies get to do whatever they want anyway. Same complaint applies generally to the democratic establishment. It's nice to see people finally waking up to the reality that opposition has to use its teeth, not just bare them.

j2kun··on A digestion of the Jacobian conjecture counterexample
I'm mostly replying to your "standing on the shoulders of giants" part, when in some cases, the giant is the work you did in the past and forgot about :)
j2kun··on A digestion of the Jacobian conjecture counterexample
FWIW, you may enjoy https://www.argmin.net/p/lore-laundering-machines
j2kun··on A digestion of the Jacobian conjecture counterexample
I was reading another source that claimed this example was inspired by an existing (rational polynomial) example from the literature (created in 1999 by a Russian mathematician Vitushkin).

> The seed is almost certainly Vitushkin's old rational "counterexample."

From https://claude.ai/share/22abed98-d9af-43c5-9881-b19e009a07b0

This is not quite lore laundering, but it seems to be close.

j2kun··on Homomorphically encrypted CIFAR-10 inference in 200ms
I think one counterpoint here is that you can still get value in using FHE in settings that don't involve scaling the number of users (e.g. B2B, public/private collab).
j2kun··on Homomorphically encrypted CIFAR-10 inference in 200ms
IMO a big unanswered question in FHE (which is my field so I care about the answer) is key management. If you have a service with lots of different users, and each user requires 100 MiB or more in evaluation key material, simply loading that key material from disk onto the GPU for each user's request adds a nontrivial overhead on the order of magnitude of the FHE computation itself. Not to mention the storage cost (for a 1B-user service, each requiring 1 GiB of evaluation key material, requires 1 EiB of storage, which is a hard sell).

So it seems kind of reasonable to me that if you want to showcase your fast inference for its own sake, you can sidestep the remaining engineering problems around key management by giving the user pre-computed key material corresponding to hot-loaded evaluation keys.

j2kun··on Homomorphically encrypted CIFAR-10 inference in 200ms
> gaining any sort of insight

The server providing the FHE-based service does not gain any sort of insight. This is a key point: only the client can see the output of the computation.

j2kun··on DOGE is done. What happened to its records?
There is also Michael Lewis's book "Who Is Government?" if you want more meaningful stories.
← PreviousPage 2 of 34Next →