The theorem doesn't exist in a vacuum. It talks about objects that must be formally defined. And if that formal definition (which is part of the API) is not immediately compatible with those others use, and every single theorem comes with its own definitions of the objects they're working on, you're going to be reinventing the wheel over and over again.
Replacing thought and curation with repeated automation is tech debt, pushed down to fundamental knowledge and understanding.
All this means in practice is that anyone who wants to use it for ads needs to get in touch with the devs and negotiate another set of licensing terms and an amount...
This author disagrees with this take. They are setting a scene here, and explicitly saying that the Block story wasn't about AI at all a few paragraphs later.
If that "bait" caused you to stop reading despite the fact that you probably agree with the author's sentiment, it's not very good bait.
Pretty sure that's 20% of revenue, and I'm assuming that their business plan relies on skimming from settlements, not just taking donations. But they are also paying investigators and lawyers out of all of that.
And don't forget that Sony and Microsoft have compilers teams, working on specialised GCC and LLVM backends, and sometimes upstreaming general improvements.
Transparency logs like [Certificate Transparency](https://datatracker.ietf.org/doc/html/rfc6962) use permissioned chains (and other things) to distribute trust in the internet public key infrastructure.
The "keyed SHA-256" in key transparency's leaf_hash is ok in its current state, but limits future evolution (or presents a risk if that evolution is not done carefully): SHA-256 is subject to length extension.
I could not follow where the leaf_hash is used carefully enough to figure out exactly how dangerous this is in the broader context and taking future evolution into account. But it's clearly safe as it is used now because all expected inputs have the same length.
And since you apparently haven't seen, the abstract now includes the following note.
> Note: Update on April 18: Step 9 of the algorithm contains a bug, which I don’t know how to fix. See Section 3.5.9 (Page 37) for details. I sincerely thank Hongxun Wu and (independently) Thomas Vidick for finding the bug today. Now the claim of showing a polynomial time quantum algorithm for solving LWE with polynomial modulus-noise ratios does not hold. I leave the rest of the paper as it is (added a clarification of an operation in Step 8) as a hope that ideas like Complex Gaussian and windowed QFT may find other applications in quantum computation, or tackle LWE in other ways.
Self-response: the article does consider this (section 6), argues that the exceptions to restrictions on the use of publicly available data in GDPR are exactly in places where it makes sense to prevent AI usage, and further argues it makes sense to consider AI profiling a more severe breach because of the higher potential for harm.
Which claim do you disagree with? The claim that the trend I describe exists, or the fact that it is bad?
Note that what you describe is what I advocate: you explain that the question exists and hasn't been answered. This is not an argument that is based on the volume of work that exists.
It is also an argument you cannot (as an author) be trusted to make. Even if you cite everything that has been published that is tangentially related to your claimed contribution, there is no way a reviewer will know all of it, and no way a reviewer will be able to go and read all of it. So they can't determine whether your claim of novelty is correct unless they already know the entire field. The only defense against this is to encourage crisp and clear descriptions of claimed contributions (to knowledge or practice) and violently reject any overinflated claims. It is not to include an entire survey paper in the introduction of every piece of work that pushes the state of the art forward.
It does mean that the average paper is less accessible to the non-expert. It also encourages the regular publication of surveys whose role is solely to critically and exhaustively compare recent advances, and of textbooks whose role is to describe historic developments and their context. This is not something every paper should be doing.
You're arguing against practice in mathematics based on practice in an empirical field, though. Truth in biology is fuzzy in a way truth in most mathematical fields is not.
This is a lot less true in mathematics research, where a question existing and not being trivial is enough motivation to investigate.
I would in fact argue that the trend, in "applied" fields, of justifying the importance of a piece of work by pointing out that a lot of people are doing similar work is in fact self-fulfilling. That makes it somewhat useless as a measure of importance.
Scientific context should be critical, not just descriptive.
I am slightly confused by this comment in the context of the thread.
Because you choose to give your children freedom to operate their device however they see fit, you are in support of legislation that restricts what they can use their device to access on the internet?
Replacing thought and curation with repeated automation is tech debt, pushed down to fundamental knowledge and understanding.