HN user

j2kun

8,017 karma

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

Posts56
Comments2,094
View on HN
sofar.belfortlabs.cloud 5d ago

Homomorphically encrypted CIFAR-10 inference in 200ms

j2kun
91pts42
academia.stackexchange.com 2y ago

What should I do if I suspect one of the journal reviews I got is AI-generated?

j2kun
140pts59
tytel.org 6y ago

Helm – DRM-free software synthesizer

j2kun
3pts1
blog.vickiboykis.com 8y ago

Good things don't scale

j2kun
1pts0
youtube.googleblog.com 8y ago

An update on our commitment to fight terror content online

j2kun
122pts226
pair-code.github.io 9y ago

Facets: Visualizations for machine learning datasets

j2kun
1pts0
samidavies.wordpress.com 9y ago

The Algebraic Analog of P vs. NP

j2kun
2pts0
neurochambers.blogspot.com 9y ago

Why science – and open science – matters now more than ever

j2kun
1pts0
algorithmicfairness.wordpress.com 9y ago

On the (im)possibility of fairness

j2kun
1pts0
paulromer.net 9y ago

The Trouble with Macroeconomics [pdf]

j2kun
1pts0
www.mathemafrica.org 10y ago

Mathemafrica: Mathematics bloggers in Africa

j2kun
1pts0
arxiv.org 10y ago

Graph Isomorphism in Quasipolynomial Time (Babai's Preprint)

j2kun
7pts0
jeremykun.com 10y ago

The Boosting Margin, or Why Boosting Doesn't Overfit

j2kun
2pts0
bundleclub.net 10y ago

Bundle Club, a subscription service for new parents

j2kun
3pts0
www.independent.co.uk 10y ago

London courts declare “one” is legally anything between 0.5 and 1.5

j2kun
1pts1
www.fastforwardlabs.com 11y ago

Fast Forward Labs

j2kun
1pts0
bundleclub.net 11y ago

Bundle Club – Curated essentials for your baby delivered monthly

j2kun
17pts25
www.teawithstrangers.com 11y ago

Tea with strangers

j2kun
181pts91
devlinsangle.blogspot.com 11y ago

The Importance of Mathematics Courses in Computer Science Education

j2kun
92pts69
www.brinckerhoff.org 11y ago

Generate memorable passwords using Markov Chains, Huffman trees, and Dickens

j2kun
42pts45
www.slate.com 11y ago

How computers could change pure mathematics

j2kun
42pts28
www.wnyc.org 11y ago

This Idea Must Die (Freakonomics Radio)

j2kun
1pts0
stuartspencestuff.blogspot.com 11y ago

Many McGill Education Students Cannot Calculate an Average

j2kun
289pts274
m.nautil.us 11y ago

The Man Who Tried to Redeem the World with Logic

j2kun
5pts0
medium.com 11y ago

How big data is unfair

j2kun
4pts0
windowsontheory.org 11y ago

Erdős’s Book and the Asymptotic Religion

j2kun
1pts0
medium.com 11y ago

Privacy is dead, but not because Scott McNealy said so

j2kun
1pts0
www.npr.org 11y ago

Updating Centuries-Old Folklore with Puzzles and Power-Ups

j2kun
7pts0
emanueleviola.wordpress.com 11y ago

Is nature a low-complexity sampler?

j2kun
40pts23
thmatters.wordpress.com 11y ago

An open letter to Microsoft on the closing of MSR Silicon Valley

j2kun
8pts0

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.

FTA:

the number 12 features heavily in the Bible: Jacob’s 12 sons, the 12 tribes of Israel, the 12 apostles and the crown of 12 stars in the Book of Revelation are just a few examples.

And about "aspect ratios" (the article doesn't mention aspect ratios):

12 is a number particularly well-suited to establishing proportions, as it has many divisors

the apse, at 75m (7.5 × 10), followed by the vault of the transept at 60 metres (7.5 × 8). The nave vault is 45m high (7.5 × 6), the side aisle 30m (7.5 × 4), and the choir 15m (7.5 × 2).

neither 10 nor 8 are divisors of 12, and 10 has a factor of 5. TBH it seems like 15m is the base length here, not 7.5, then you get multiples 1, 2, 3, 4, and 5, but I'm guessing these sequential integers are not considered "beautiful" numbers by the author so they picked 7.5 to pigeonhole some divisors of 12 in there.

There are at least some technological solutions here, such as anonymous credentials. [1] Modern versions of this technique allow one to associate metadata (like a proof of age exceeding a threshold) in such a way that the verifier can't even correlate repeated requests across users.

Governments that are serious about age verification and individual privacy (which, doubtful they truly are) should agree on a protocol and set up certificate issuers that are associated with a digital ID. Then age verification will not be an invasive procedure or risk data leaks or insider threats.

[1] https://blog.cryptographyengineering.com/2026/03/02/anonymou...

For our situation, building a foundation of trust in our community is more important than attracting as many contributors as possible. If a one-time face-to-face introduction is infeasible, then there are many other projects to contribute to. (And this is considering that our community is all math PhDs, cryptographers, and compiler engineers; we are no strangers to neurodiversity.)

and if their bot is actually good? why not? fix

One reason: automating the construction of a "trustworthy" profile lowers the bar for attackers who want to plant xz-style backdoors. Not to mention polluting the various signals people use to evaluate candidates for jobs.

Yes, Steam Machine is optimized for gaming, but it's still your PC. Install your own apps, or even another operating system. Who are we to tell you how to use your computer?

Indeed, thankful for that.

I hate compilers 1 month ago

What is kind of annoying is that the author jumps to "I hate compilers" instead of "I will report/help fix this bug upstream."