j2kun

20 ms·

361.
by j2kun 2y ago
https://www.jeremykun.com/2024/05/04/fhe-overview/
362.
by j2kun 2y ago
It is more like a symmetric cipher. Once you have a key you can decrypt everything encrypted with that key
363.
by j2kun 2y ago
I stopped using Mac because of the planned obsolescence, which is a huge problem with machines even 4 years old. Can't even update those BSD utils anymore because you can't update the OS, because you don't have the latest har
364.
by j2kun 2y ago
This rests on the incorrect assumption, pointed out in the post, that most applications need the kind of scale that warrants quickly scaling to more servers.
365.
by j2kun 2y ago
I read an entire book on applications of space filling curves, and none of the applications seemed to actually work as advertised (though perhaps they did at the time the book was written, I am skeptical). All the stuff about database index
366.
by j2kun 2y ago
The title makes it seem more severe than it is. This only applies to GH forks of public repositories (or repositories that become public). Forks mirror the upstream repo's visibility.
367.
by j2kun 2y ago
The principle to exercise your rights, for any reason you please and without having to explain yourself.
368.
by j2kun 2y ago
> As it happens, this little corner of Rust is my mess A nice surprise coming to this article with no context :)
369.
by j2kun 2y ago
Your argument applies to everything. Shakespeare? Biology? Chemistry? Physics? World history? Most careers don't need these either. If you limit an education to what people need for their careers, we should be have barista and tax fili
370.
by j2kun 2y ago
Except that the LLM is actively dismissing its discrepancy with the other tool. Just adding to the confusion.
371.
by j2kun 2y ago
I currently have Twitter, Mastodon, and Bluesky working. Sadly, it seems Twitter downranks bot-generated threads.
372.
by j2kun 2y ago
The hugo theme I use has this built in, and the sidenodes change to footnotes if the width is too small. https://github.com/capnfabs/paperesque
373.
by j2kun 2y ago
One thing I added to my blog, which is less "micro" but still quite important I feel, is syndicating articles on social media. I don't think static site generators have good support for this, so I had to roll my own: https:&
374.
by j2kun 2y ago
I would like a more elegant way to share what other bloggers I'm reading on my blog. The linked article doesn't provide much in the way of a solution here.
375.
by j2kun 2y ago
I added this on my blog ( https://www.jeremykun.com/posts/ ) and I even find it useful as replacing 90% of the need for a search bar. I haven't yet re-added a search feature since I migrated off Wordpress to hugo
376.
by j2kun 2y ago
For me writing is also a much bigger part of the process. Writing out my explanation of the problem (its symptoms and my theories) to a colleague, even if I don't send it off, can spur me to come up with a new idea. Writing blog posts
377.
by j2kun 2y ago
> remote persistence This is the real reason I actually need tmux. I often lose connection to a server for various reasons and don't want to lose my vim session or whatever
378.
by j2kun 2y ago
In typical mathematical style, a good definition comes from the properties you observe and desire to hold true in your axiomatic system.
379.
by j2kun 2y ago
Finding bigger busy beaver numbers is not exactly foundational. More like recreational. If it were foundational it would be peer reviewed in a journal article, not posted on a blog.
380.
by j2kun 2y ago
> for math graduates in particular I don't think it's ironic at all. The vast majority of math graduates don't do pure math research after graduation. And modern pure mathematicians dramatically undercut how much of their
381.
by j2kun 2y ago
It can be given an as-of-yet unchosen new name :)
382.
by j2kun 2y ago
Officially it cannot be called a "geometry" at all if it does not satisfy the other axioms. So it's a "non-Euclidean non-geometry."
383.
by j2kun 2y ago
Having posts like this occasionally on the front page of HN is a good and necessary regular reminder to the community: the people who write and maintain OSS projects are humans. Treat them with respect, and challenge bad actors when you enc
384.
by j2kun 2y ago
"Adoption" of tech companies pushing it on you is very different from "adoption" in terms of the average person using it in a meaningful way and liking it.
385.
by j2kun 2y ago
If you follow much of the education world, it's inundated with teachers frantically trying to deal with the volume and slop their students produce with AI tools. I'm sure it can be useful in an educational context, but "repla
386.
by j2kun 2y ago
Your examples, on the TIOBE index, are #4, #18, and #28. https://www.tiobe.com/tiobe-index/
387.
by j2kun 2y ago
This may be some nuance I'm not quite getting still. You're saying that even if you use the coefficient encoding, one would still have reason to store polynomials in the CRT domain. I agree that would be more performant, but it se
388.
by j2kun 2y ago
This seems up my alley, but I suspect the techniques in that book aren't used, since I have spent a lot of time chasing down applications of computational topology only to find they weren't as useful as advertised. Are you aware o
389.
by j2kun 2y ago
Cf. https://llvm.org/docs/LangRef.html#select-instruction No branching, and the hard part in FHE is to evaluate this when the bit is encrypted. The results are the same type, so all you see after the op is that the res
390.
by j2kun 2y ago
I think functional encryption is even less well developed than FHE. Most problems can't be expressed in functional encryption, and the security model is really iffy.

More ›