ghayes

44 ms·

451.
by ghayes 8y ago
I thought the placebo affect can still work (to some degree) even if you knew you were given a placebo. https://www.health.harvard.edu/blog/placebo-can-work-even-kn...
452.
by ghayes 8y ago
If the user can control the sandbox, say by a runtime setting or preference, then the user still is in control, but default safe.
453.
by ghayes 8y ago
If you could re-vote as many times as you’d like, then this would largely destroy coercion since the coercer would have to control you or your device during the rest of the voting period. That alone would significantly reduce this risk. For
454.
by ghayes 8y ago
Anyone have a good comparison of Why3 to FStar?
455.
by ghayes 8y ago
The link for Android leads here: https://play.google.com/store/apps/details?id=com.brave.brow... Maybe it was a rendering issue?
456.
by ghayes 8y ago
Doesn't computable numbers, from the reference Wikipedia article, only state they can be computed to a given nth digit? Thus, in the OP's example, the rule-and-compass construction is exact whereas the Turing machine could only ap
457.
by ghayes 8y ago
You should demonstrate an effective use of double-spend in your 51% attack, since there’s a lot of FUD around what can happen with a 51% attack. As in, people may assume you can drain accounts with 51% control, as opposed to double-spend tr
458.
by ghayes 8y ago
Sure, but the best way to get there in my mind is `rebase -i`, which means you've made a few and revised a few commits along the way.
459.
Compound launches easy way to short cryptocurrencies(techcrunch.com)
5 points by ghayes 8y ago|0 comments
460.
by ghayes 8y ago
F-Star [0] and Idris [1] are two great languages which give you a large variety of static analysis, and yes, provide ways to prove totality. Idris, for instance, disallows recursion unless it can prove an argument "smaller" in the
461.
by ghayes 8y ago
I helped with one of the core issues being addressed (the "value" attribute)[0]. At the time, it looked like a small "beginner" issue, but clearly was touching on some important design decisions. I am glad to see the cor
462.
by ghayes 8y ago
For me, Helm caused more problems than it solved. Pulling in packages always seems good, but as soon as you want customization, you're back to merging in the (relatively) straight-forward yaml files from the chart. Also, instead of Hel
463.
by ghayes 8y ago
Also, the Constitution is a minimum bound on rights, not a maximum. We don't need to change the Constitution to make just laws.
464.
by ghayes 8y ago
I really enjoyed programming in Elm as a starting point. Elm avoids type-classes, which tend to be the biggest hurdle when starting to learn Haskell. Plus, you can design a nice web app in the process (versus, say, process CSV files). After
465.
by ghayes 8y ago
Can anyone post an experience using rkt [0]. I'd love an alternative to using Docker for containers, though I'm not sure how well a community has evolved around rkt. [0] https://github.com/rkt/rkt
466.
by ghayes 8y ago
I figured that number was global, not US-only. Yes, that is a staggeringly high number.
467.
by ghayes 8y ago
I’d also love any experiences people have with Google’s Google Deployment Manager. For me, the product felt like it had many flaws that also had previously tended me away from CloudFormation (specifically, not full support for beta or alpha
468.
by ghayes 8y ago
Couldn’t you alternatively introduce total operators that just grow the memory size as necessary instead of overflowing? For me if you’re handling wrapped types, I’d always prefer the numbers to grow into extra memory instead of overflowing
469.
by ghayes 8y ago
Off topic: Does anyone have a good tutorial on setting up Wiregaurd on a cloud server to act as a VPN? I’m currently using Algo from Trail of Bits, which is great, but takes a lot on control out of my hands through its Ansible scripts.
470.
by ghayes 8y ago
Think about the actual uncertainty since anything can happen in the game itself. The easiest way to look at this is to play the game 100 times in a row (preferably in parallel universes, as you say). If team A wins in 60% of games, then tha
471.
by ghayes 8y ago
I just want to mention that code samples are about more than syntax. E.g. a code sample of Elixir might spawn concurrent processes, or a code sample of Idris might show type-safe vector concatenation.
472.
by ghayes 8y ago
Isn't it legal in every state so long as you disclose that the call is being recorded?
473.
by ghayes 8y ago
You'd imagine a good number of these items would have been dropped accidentally, or possibly by not the legal owner (e.g. after a robbery).
474.
by ghayes 8y ago
Reminds me of (clever?) demo site that disallowed passwords for users if they were valid logins to other common services. That is, it would present an error on registration "Please do not use your LinkedIn password."
475.
by ghayes 8y ago
While fun, I do hope this is a joke, since as other comments have said, it’s fairly straight-forward to make a DSL for the given problems that this could solve. Beyond that, this would never be safe from syntax mutations in new versions of
476.
by ghayes 8y ago
Compound | Senior Software Engineer | Full-time | San Francisco Bay Area | https://compound.finance At Compound, we're creating interest rate markets for blockchain currencies, which are necessary for future economies to fl
477.
by ghayes 8y ago
But wouldn’t the weaker of the allied teams decide to defect since it would lose if the third team were fully vanquished? I don’t think the strategy is so straight-forward.
478.
by ghayes 8y ago
Just want to note that there’s no risk in holding a token due to 51% attacks (except for the external issues such as loss of value and hard fork proposals). No one can spend your assets, it’s just another transaction may double spend (so yo
479.
Coinbase's first investment, Compound, earns you interest on crypto(techcrunch.com)
4 points by ghayes 8y ago|0 comments
480.
by ghayes 8y ago
And live sports are slowly moving online. The biggest problem, in my estimation, is the cost to consumers is very high per game (to make up for the large advertising spend on traditional TV broadcasts).

More ›