voidmain

53 ms·

331.
by voidmain 9y ago
I think you have missed my point. I am not saying that humans are able to solve the halting problem! Nor am I saying that static verification is always better than testing. I am saying that you don't need a halting oracle to express
332.
by voidmain 9y ago
This argument is incorrect. The "halting problem" is the problem of determining if an arbitrary program halts. It is not impossible to prove, and verify mechanically, that a particular program halts. The state of the art is no
333.
by voidmain 9y ago
This is particularly annoying, because if they just cached the image immediately upon receiving the e-mail, there would be no privacy impact AND you would get to see the image. (Yes, it might still send your e-mail address to third parties
334.
by voidmain 9y ago
Bloom filters are a nice data structure, and you should absolutely have them in your toolbox, but if you go looking for a reason to use one you are likely to wind up making things worse. The following is not valid reasoning: "Bloom fi
335.
by voidmain 9y ago
As others have said, if C were dead by now that would be great. But I'm pretty skeptical, to be honest. I've been working on one or another high-performance C or C++ program for most of the past 20 years. I can't ever remem
336.
by voidmain 9y ago
I wouldn't have put it that way, but the claim Apple is making (in baby talk) is that these are good authenticators, not that they are good secrets. I don't think the average person in their audience has a strong reason to underst
337.
by voidmain 9y ago
They can't be phished because they aren't secrets . Yes, if you think of a biometric as a password it is an awful password. But it isn't; its primary source of security is the difficulty of presentation. You should not rely
338.
by voidmain 9y ago
Biometrics can't be rotated. But they also can't be phished. People have been using "biometrics" to recognize people they trust since the beginning of time, and are pretty rarely fooled. They have also been using passwor
339.
by voidmain 9y ago
VCs don't invest their own money. As an LP actually putting up capital, do you prefer your portfolio companies to be run by founders (expert in their particular business, lots of skin in the game in the form of common stock, idiosyncra
340.
by voidmain 9y ago
> the 0.00000001% of people who control now half the world's wealth This is nonsense. Your source compares the wealth of the richest few people to the net worth of the "poorest" 50% of people. Net worth takes into account
341.
by voidmain 9y ago
This approach is "scalable" in the sense of partitionable, but it's still O(N^2)! Needing 9x the servers for 3x the users is not really "scalable" in the colloquial sense. An often more attractive approach is to par
342.
by voidmain 9y ago
Whereas you are only worth around $250 or less to Facebook! [1]. [1] Dividing their market capitalization, as an estimate of their discounted future cash flows, by their number of users. A better estimate might be smaller, if their user bas
343.
by voidmain 9y ago
> even for smaller icebergs Naively, the energy cost of towing should go as the 2/3 power of the mass of the iceberg, whereas the energy cost of desalination is linear. So bigger is better! Of course, it's a million times bigg
344.
by voidmain 9y ago
So what would it cost to tow it somewhere with a need for fresh water?
345.
by voidmain 9y ago
This is my cats' favorite machine learning application so far!
346.
by voidmain 9y ago
The "HSM cluster" serves as a redundant "device" which is in Apple's possession rather than yours, but which you must trust to withstand tampering, even by Apple. The option to record the keys yourself is also descr
347.
by voidmain 9y ago
We don't have to speculate how Apple could possibly handle account recovery without entirely sacrificing security, because it's spelled out in their iOS security whitepaper: https://www.apple.com/business/docs
348.
by voidmain 9y ago
I'm not saying you're wrong. But I literally tried a new breakfast cereal this morning. And it was crap :-)
349.
by voidmain 9y ago
Even a hypothetical taxi monopoly faces close substitutes: owning a car for locals, renting a car for travelers. I still don't see that much room for price discrimination. The "Standard oil strategy" of losing money to drive
350.
by voidmain 9y ago
I have trouble seeing how this is supposed to work. In the short run, my willingness to pay Uber is roughly "whatever Lyft is charging for the same route." In the long run, if Uber and Lyft somehow collude to increase prices a lot
351.
by voidmain 13y ago
At FoundationDB we use this technique extensively (we call it "buggification"), along with deterministic simulation to make the results debuggable. Amusingly (and embarrassingly), some of our early alpha and beta releases shipped
352.
by voidmain 13y ago
FoundationDB provides real ACID transactions and external consistency, and definitely does NOT rely on clock accuracy for soundness! (Google Spanner, which we are often compared to, does use a trusted clock, but Google went to extreme meas
353.
by voidmain 13y ago
Isolation levels describe the degree of compliance with the I in ACID. Full compliance is called serializable isolation. Are there valuable uses for lower degrees of isolation? Yes, and a good database should allow applications to sele
354.
by voidmain 13y ago
I know very little about Galera replication, but its FAQ states that it provides only snapshot isolation. You are certainly correct that we have not provided a complete overview of the DB market! That is a very ambitious project. We built
355.
by voidmain 13y ago
The property you are looking for - that every SQL command can take place in a transaction - is surely a very desirable property for a SQL database to have, but from my perspective a database can provide genuine ACID transactions even if it
356.
by voidmain 13y ago
We have been told by people who should know that Clustrix does not provide serializable transactions, but since this claim is unspecific and not based on publically available information we haven't put it on the page.
357.
by voidmain 13y ago
As we disclaim on the page itself, we aren't experts on all of these databases, so it's possible that we've made a mistake. We are relying on the documentation of other products (but on the specific documented claims rather
358.
by voidmain 13y ago
Spanner can do partition-spanning transactions with a useful throughput.
359.
by voidmain 13y ago
As far as we know, Datomic's (noninteractive) transactions are ACID. You would do better to ask them, though. The list isn't intended to be exhaustive!
360.
by voidmain 13y ago
(Jonathan, please read this comment in a completely respectful tone of voice, because I'm not, and I'm sure Nick was not, trying to start a FoundationDB vs Datastax pissing contest!) I can easily believe that adding CAS in combina

More ›