zodiac

21 ms·

181.
by zodiac 8y ago
> Flashcards are for memorization. But in your own post you point out that flashcards can be used for quizzes as well?
182.
by zodiac 8y ago
The does-not-leak-information property doesn't depend on the discrete log assumption, but the binding property does. I.e., if you have an oracle that solves the discrete log problem you can now open commitments in different ways, but i
183.
by zodiac 8y ago
Well, the verification guarantees you want out of a public ledger for currency are weaker than that (no money is created out of thin air, the person you're receiving money from actually has enough money to send to you, etc). I'm n
184.
by zodiac 8y ago
What does "softening" the semantics mean? Aren't they pretty unambiguously defined by the standard?
185.
by zodiac 8y ago
Well, he has to own above a certain percentage (about 3.04%) of the company, which to be fair he almost certainly does ;)
186.
by zodiac 8y ago
do you happen to have code online?
187.
by zodiac 8y ago
I wonder if the roles of "payment network operator" and "credit provider" need to be as entwined as they are now
188.
by zodiac 8y ago
1. I don't think there's anything wrong with changing the "mantra" as it were. People learn things, opinions change; do your own research and form your own conclusions/hypotheses. 2. There's no one fixed "
189.
by zodiac 8y ago
I think it's precisely mechanism design (sometimes called "inverse game theory")
190.
by zodiac 8y ago
Interesting fact: the standard DP algorithm for TSP reduces the running time from O(n!) to O(n^2 2^n)
191.
by zodiac 8y ago
Depends on the problem. Some problems have very explicit recursive structure (eg http://rosettacode.org/wiki/Arithmetic_evaluation ) such that an iterative solution is more "unnatural". Not saying that most pr
192.
by zodiac 8y ago
This doesn't address the question of whether the existing make community wants to move towards a proper PL
193.
by zodiac 8y ago
This was a masters thesis, and those normally don't take 2 years to choose the subject
194.
by zodiac 8y ago
I think it is highly unlikely that make would implement the features described in this paper. Furthermore the paper points out many fundamental design flaws in make (all variables are strings, the macro language is not a real PL) that I dou
195.
by zodiac 8y ago
Yeah, I'll have to think a lot harder about full PoS to maybe answer that question. One thing to note us that there are certain hidden timing assumptions (eg in casper-ffg, there is the 4 month unbonding period, and the timescale over
196.
by zodiac 8y ago
I don't think your post shows that any public ledge must provide a timestamp server (which I think is your claim?). For instance PBFT (with a fixed validator set) works perfectly fine without providing a timestamp server since it'
197.
by zodiac 8y ago
I've uses my fair share of build tools and I think makefiles are horrible. Stringly typed, ad-hoc features, and a really bad language from a PL perspective. Writing good build systems is genuinely hard, and I think make is not a good b
198.
by zodiac 8y ago
Ah, so this is the case when the company is "valued" at $100m but you can't actually sell any stock at that price, right?
199.
by zodiac 8y ago
Yes, and I would argue that under any reasonable way of quantifying generosity your generosity would be "measured" at around $1.2m, and qualitatively I think it is fair to apply the term "generous" to you. An isomorphic
200.
by zodiac 8y ago
You can't donate money in place of paying taxes; for a toy model let's say this person spent $10 to buy bitcoin long ago, now it's worth $140,000,010, he wants to completely exit his exposure to bitcoin. If he converts it to
201.
by zodiac 8y ago
Formatting: Written in Rust - fd: A simple, fast and user-friendly alternative to 'find' https://github.com/sharkdp/fd - ripgrep: ripgrep recursively searches directories for a regex pattern https:
202.
by zodiac 8y ago
If that were said to a population of 2 people, one with a blue dot and one with a red dot, the person with the red dot would kill themself immediately
203.
by zodiac 8y ago
Why does the official python documentation recommend something else then? https://packaging.python.org/guides/tool-recommendations/#ap...
204.
by zodiac 8y ago
In full PoS in the model I described you'd need social consensus to determine the allocations in the genesis block. In PoW you need social consensus on the genesis block as well - the PoW algorithm, the initial difficulty and block rew
205.
by zodiac 8y ago
It's not completely circular. For example in casper-ffg if you as a full node log in every 4 months starting from ethereum's genesis block (about 3 years ago), the chain of logic you outlined terminates at the genesis allocation a
206.
by zodiac 8y ago
Yes, there are principled ways to model these things. You can compare the byzantine fault tolerance threshold across PoW and PoS. You can compare the cost of deviating from the Nash equilibrium, and calculate how much an attacker needs to s
207.
by zodiac 8y ago
You would get a privacy benefit in the sense that the computation provider would not learn anything about the data you gave them. However you are right that centralized computation providers are equally constrained (ie don't learn anyt
208.
by zodiac 8y ago
I'm sorry, but I feel this is really lazy and nonconstructive criticism. Perpertual motion machines violate a law of physics, and the bells and whistles attached to it were at best misguided attempts that didn't address the fundam
209.
by zodiac 8y ago
Technically, fully homomorphic encryption exists (and may someday be practical)
210.
by zodiac 9y ago
> a compelling use case for smart-contracts has yet to emerge assuming you actually meant this as a criticism separate from the one after: payment channels rely on smart contracts to work

More ›