s17n

66 ms·

721.
by s17n 9y ago
There are two meanings of prove. The one that type theorists are using is roughly "to derive your statement from axioms with pure logic." This sense of the term can never apply to things in the real world, like programs (of cour
722.
by s17n 9y ago
Defining "correctness" in terms of types is the CS equivalent of defining "risk" in terms of volatility - it replaces a real and fundamentally unsolvable problem with a problem that, while it has the advantage of being t
723.
by s17n 9y ago
There's no such thing as "proving correctness". You can have bugs in the type definitions. You can have bugs in the english (or whatever your native language is) description of what you think the algorithm should be doing.
724.
by s17n 9y ago
The only advantage that crypto currency has as a means for raising capital is that it is currently unregulated. When that changes, there is no reason not to just use dollars.
725.
by s17n 9y ago
I just have JavaScript off on my phone
726.
by s17n 9y ago
> You have to learn to use it effectively I didn't say "no learning required" I said "no reading required"
727.
by s17n 9y ago
I dunno all this talk of "windows" and "buckets" etc doesn't seem particularly simple to me.
728.
by s17n 9y ago
Yeah it's really not a great explanation, IMO.
729.
by s17n 9y ago
A much easier and better way to understand floating point is to just do it in base 10.
730.
by s17n 9y ago
Then you're doing it wrong - the correct principle is, "the customer should be able to use the product fully without having to read any documentation"
731.
by s17n 9y ago
The internet has definitely killed the profitability of distributing facts, if it ever existed. The rest of the tweets about "signaling goods" are the type of hogwash you end up with when you confuse Ted talks with actual intelle
732.
by s17n 9y ago
With USD you may as well just put it in the bank - if the banking system fails your paper money probably won't be worth anything anyway. Bitcoin on the other hand could easily outlive any of the companies that will hold it for you.
733.
by s17n 9y ago
> If anything goes wrong, it's extremely likely to be on the customer side. Since this is also true of their ordinary wallet product, I think "security theatre" isn't totally unfair here. The only thing this really a
734.
by s17n 9y ago
Hey man just cause its PR don't make it not true
735.
by s17n 9y ago
My first reaction: maybe investors just don't want to fund an overpriced piece of hardware that provides dubious value compared to existing solutions. My second reaction: well they gave $120M to Juicero.
736.
by s17n 9y ago
Or it can be read as "this is a made up story; the guy is full of shit."
737.
by s17n 9y ago
I think it's a post aimed at ML and/or ruby beginners. Why it's front page on HN is a mystery.
738.
by s17n 9y ago
I don't know about everybody else but script bloat, and its implications for performance in generally and scrolling smoothness in particular, are the main reason that I block ads - the visual distraction is a secondary factor.
739.
by s17n 9y ago
I get that this is supposed to be basic but why wouldn't you at least observe that the sqrt call is unnecessary?
740.
by s17n 9y ago
ISP's are heavily (though not always effectively) regulated.
741.
by s17n 9y ago
If you can quickly sell 42M worth, it's risk free. Otherwise, you're betting on the long term viability of Ripple.
742.
by s17n 9y ago
I understand what an option is...
743.
by s17n 9y ago
I'm not totally sure what the chart means (and I did read the explanation), but if I'm understanding you correctly, you're saying that Bitstamp has $10M worth of buy orders for BTC at a price of at least $(current price - 270
744.
by s17n 9y ago
They are pegged against the dollar, meaning that the bank agrees to buy it back for what they paid for it. So basically, the issuer is taking out a zero interest loan from the users of the currency. Not a bad deal considering that the ban
745.
by s17n 9y ago
Right, I was thinking more along the lines of needing to raise the $42 mil to exercise the option. Anyway, I'm really curious about what the relationship between trading volumes and how much money you can actually get is - it doesn&#x2
746.
Ask HN: How much money can actually be taken out of cryptocurrency?
10 points by s17n 9y ago|6 comments
747.
by s17n 9y ago
But would it be possible to sell even $42,500,000 of Ripple right now?
748.
by s17n 9y ago
There are two major issues here: 1. In your setup, you don't have offsite backup which opens the door for all kinds of potential data loss scenarios. 2. Backblaze's software continuously backs up over the internet, which is not tr
749.
by s17n 9y ago
It could come quickly and from without if the rest of the world (eg, China) cut off oil supplies. Regime would be gone in a matter of years.
750.
by s17n 9y ago
As a specialist in, among other related fields, "social welfare law and policy" her social views are the substance of her career. If a mathematician believed that 1 + 1 was 3, I'd want her fired. This is similar.

More ›