Earlier quoted context omitted.
Surely something about the technique would make it impractical for enriching uranium though... you're not going to be able to produce kilograms of 20% U235 with this are you?
Hypothetically, if the technique can enrich U, Pu, or other fissile isotopes in decent quantities, you run into other issues. Stirring an aqueous enriched uranium solution is a great way to have a criticality accident (cf. https://en.wikipedia.org/wiki/Criticality_accident ). That’s not to say it’s impossible to manage, just difficult. UF6, the current compound of choice for enrichment, is in the gas phase during the…
Ask HN: Which recent research paper blew your mind?
131–140 of 174 posts
Re: Ask HN: Which recent research paper blew your mind?
#132Earlier quoted context omitted.
I found LinkedIn profiles for Sunil Sarin, Mark Dewitt, and Ronni Rosenberg who all worked at CCA during this time period. I've gone ahead and sent them each a message asking if they might be able to make the paper available. If you'd like to get in contact with them yourself and are having trouble finding their LinkedIn, shoot me an email and I'll be happy to provide you links.
I received a response from Dr. Rosenberg: > Yes, I was involved, 35 years ago! I believe it was an internal CCA paper. I don't have a copy and I have no idea how to get it. Sorry about that. It does seem to be the earliest reference to "shard" in the DB context. (The other early reference pointed to in Wikipedia is from much later, 1997.) > Fortunately, you need not go back 35 years to read about sharding; it's easy…
Re: Ask HN: Which recent research paper blew your mind?
#133Earlier quoted context omitted.
1988? As far as anyone can tell, the use of the term "shard" in the context of database replication originated with Ultima Online, which was released in 1997, and which used the term in connection with its underlying mythos (the idea of representing world instances as shards of Mondain's shattered gem). So a documented reference to sharding that's earlier than that would be interesting to see. (Disagree? Instead of d…
(I didn't downvote your comment) "SHARD" is the name of the software - it was common back then to name systems using acronyms. It's not clear whether the paper/report actually uses the term "shard" in the sense that it is now used in distributed systems, or even whether it uses it at all.
The new SHARD) (System for Highly Available Replicated Data) system under development at Computer Corporation of America (CCA) is designed to address the problems described above. It provides highly available distributed data processing in the face of communication failures (including network partitions). It does not guarantee serializability, nor does it preserve integrity constraints, but it does guarantee many practical and interesting properties of the database.
The reader is referred to [SBKJ for a detailed description of the architecture of the SHARI) system. Briefly the main ideas are as follows. The network consists of a collection of nodes, each of which has a copy of the complete database. (Full replication is a simplifying assumption we have used for our initial prototype, many of our ideas seem extendible to the case of partial replication, but this extension remains to be made.) Replication allows transactions to be processed locally, thus reducing communication costs and delays, and providing high availability.
So it sounds to me like their main concern was availability through replication, and not so much horizontal scalability (which seems to be more the "point" of modern day "sharding"). Yet I would probably claim that there is enough conceptual overlap to say that SHARD does relate to the modern use of sharding in some sense. Although it's hard to be sure without that original paper.
Re: Ask HN: Which recent research paper blew your mind?
#134Earlier quoted context omitted.
How is program synthesis the same as regular expression search? Honest question
This seems like an early paper and agreed with the consternation. The paper, in a modern context and based solely on the abstract and having been in the community, is chipping at the "uninteresting" part of the problem. Around that time, program synthesis started switching to SMT (satisfiability modulo theory) methods, meaning basically a super powerful & general SAT solver for the broad search ("write a wild python…
Calls to Coq and Z3 will be very slow and not competitive with GPU compute.
Re: Ask HN: Which recent research paper blew your mind?
#135I find the most interesting papers I read all come from the same place: The National Library of Medicine https://www.nlm.nih.gov/ Here's some recent papers I liked: - https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8413749/ -- Lithium is used as a mood stabilizer for bipolar and in other disorders. The form of Lithium used in psychiatry is Lithium Carbonate. But other forms also exist. As a supplement: there is Lithium…
Best content + quality LLM + quality verifications => Useful health advice.
Re: Ask HN: Which recent research paper blew your mind?
#136Earlier quoted context omitted.
Good question. All supervised learning is a form of search with three components: - Specification: what are you are looking for? - Search space: were are you looking? - Search mechanism: how are you going through the search space? Program synthesis is simply learning where the search space is syntax. In deep learning, taking the ImageNet paper as an example, the specification a bunch of photos with annotations, the s…
https://deepai.org/publication/search-based-regular-expressi... Here is the full text. Regexps aren't even Turing complete as far as I know, if whatever they have in their paper works for arbitrary programs it would be shocking. I'll give it a read. *Edit*: The algorithm in the paper is a DP like algorithm for building regexes. They use a matrix, and it has all the potential strings to be checked on one axis, and all…
There is no magic in GP. It is just another form of searching the space of programs, i.e. program synthesis. The search mechanism is a local, stochastic search, known to be especially inefficient (for example you may hit the same program multiple times). What's good about GP is how simple it is, so it's a good starting point.
Re: Ask HN: Which recent research paper blew your mind?
#137Integral Neural Networks (CVPR 2023 Award Candidate), a nifty way of building resizable networks. My understanding of this work: A forward pass for a (fully-connected) layer of a neural network is just a dot product of the layer input with the layer weights, followed by some activation function. Both the input and the weights are vectors of the same, fixed size. Let's imagine that the discrete values that form these…
Nice. I was wondering if something like this is possible a few days ago. The next step would be somehow extending the discrete->continuous concept to layers.
Now we just need an iterative solver over both the structure and the "weights", and we get both architecture search and training at the same time
Re: Ask HN: Which recent research paper blew your mind?
#138Placebo Effect Grows in U.S., Thwarting Development of Painkillers https://www.scientificamerican.com/article/placebo-effect-gr... The most interesting thing is that "placebo responses are rising only in the United States."
Re: Ask HN: Which recent research paper blew your mind?
#139https://cseweb.ucsd.edu/~tullsen/halfandhalf.pdf Half&Half: Demystifying Intel’s Directional Branch Predictors for Fast, Secure Partitioned Execution
Re: Ask HN: Which recent research paper blew your mind?
#140Earlier quoted context omitted.
I received a response from Dr. Rosenberg: > Yes, I was involved, 35 years ago! I believe it was an internal CCA paper. I don't have a copy and I have no idea how to get it. Sorry about that. It does seem to be the earliest reference to "shard" in the DB context. (The other early reference pointed to in Wikipedia is from much later, 1997.) > Fortunately, you need not go back 35 years to read about sharding; it's easy…
I also sent a note to another former Computer Corporation of America employee that I found on LinkedIn. I don't know them personally, but we live near each other and have some common connections, so maybe they will at least receive my unsolicited message with some favor.