wsxcde

24 ms·

211.
by wsxcde 12y ago
> Mine was more like: Owner "Shit you are leaving??? Can't you stay at least until xxx so we can deliver xxx and save our asses?" Dude, you gotta learn to say no. I would categorize this as letting people walk over you.
212.
by wsxcde 12y ago
No, there's a big difference between your bribing experiment and the thought-experiment I described. The value 7 * 1.01 is the amount it costs me to conduct the attack. I don't need anybody to collude with me. The bribe is an un
213.
by wsxcde 12y ago
Why do people keep repeating this myth that Bitcoin is "efficient"? It's not, even hardcore bitcoiners like Peter Todd admit this. [1] And the most important point is, it cannot be, this is a mathematical fact underlying tr
214.
by wsxcde 12y ago
> in my trivial example if the accumulator (C_n) at the maximum value, it would overflow for any non-zero input Depends on what you mean by "incorrect". :) The SMT formulation isn't doing infinite precision arithmetic. I
215.
by wsxcde 12y ago
edit: just to be clear, I'm responding to this statement: > Formal verification does take more time over empirical testing methods I don't even know if that is true, at least, I'm unconvinced about it being true in hardw
216.
by wsxcde 12y ago
Help me understand your objection with the proof. Are you saying that the set of values c2, c1, c0, a, b can take in OpenSSL is a subset of the values that they can take in the SMT formulation? Why does this invalidate the proof, though? Ed
217.
by wsxcde 12y ago
Yes, and I think that is essentially why we're seeing these disagreements. I've heard from lots of professors that a good conference gets a lot of "very-good-but-not-great" submissions and the job of the program committe
218.
by wsxcde 12y ago
Consider the demographic submitting to NIPS. It's a self-selected group within the top researchers in the world in that area. The best people in the field don't want to be seen publishing the so called "second-tier" conf
219.
by wsxcde 12y ago
Highly (almost vanishingly) unlikely at a "top-tier" venue like NIPS.
220.
by wsxcde 12y ago
> I see three possible answers. How about a fourth option? Intel's organizational structure doesn't really allow it to build profitable mobile chips that are competitive with the ARM chips, $51 subsidy notwithstanding. This i
221.
by wsxcde 12y ago
What's the source for this? I've definitely worked on an AMD processor which executed add reg, mem as a single uop. I can't comment on Intel's uop fusion and uop cracking shenanigans because I don't understand them
222.
by wsxcde 12y ago
The paper is concerned with the front end, so the fused uops are what matter there even if they get split up for the actual execution. Similarly for structures like ROB, you'll artificially inflate occupancy, and possibly create fake b
223.
by wsxcde 12y ago
The paper's main problem is that they have to second guess all of Intel and AMD's design decisions. And it looks like they got some important things wrong, which makes their conclusions suspect. For instance they claim an ADD mem,
224.
by wsxcde 12y ago
> If you care about reading or ideas or literature, the choice between these visions is not a difficult one. Is it really an easy choice though? As a reader, I want access to interesting content and it seems that pushing the price down
225.
by wsxcde 12y ago
> The challenge is to get more people ... Why do you think this is an important goal? If we really could have a world in which machines could do all the work, would it really be that bad if some people sat around and watched TV all da
226.
by wsxcde 12y ago
>There is a huge opportunity in cutting the costs and fees associated with trade finance with bitcoin. Why is there an opportunity with bitcoin? Aren't the costs and fees paying for the legal agreements, risk management, arbitration
227.
by wsxcde 12y ago
Yes, although H1Bs aren't a great either. Most people I know who were on an L1 got their company to sponsor an H1 visa after a year or two and then change jobs a few years down the switch.
228.
by wsxcde 12y ago
They might use L1's which AFAIK aren't capped.
229.
by wsxcde 12y ago
It's not really new products very semester, is it? We're talking about an unlikely event that might happen sometime in future after a few years. A lot of professors have adopted Piazza is a relatively short time because it offers
230.
by wsxcde 12y ago
Why would a teacher worry about something that might happen 3 years down the line? You only need this to work for a particular term or semester.
231.
by wsxcde 12y ago
I'm not absolving him of his opinions by any means. I was just pointing out that he's been elevated to this status where he can't (won't? is unwilling to?) do what most other reasonable people would have done if they wer
232.
by wsxcde 12y ago
Dawkins seems to be a good example of the Peter principle at work in a large social movement. Clearly he's a smart guy and at some point in his career he did have interesting and original insights to share with the rest of us. But it s
233.
by wsxcde 12y ago
Not really. Both Intel and AMD do weird non-RISCy things beyond the decode stage. The original difference between RISC and CISC was that RISC eschewed arithmetic+memory-operations in the same instruction. Both Intel and AMD processors viola
234.
by wsxcde 12y ago
No, I know quite well what a BTB is and it's only somewhat useful for indirect branches. Modern processors have specific predictors for indirect branches. This paper: http://dl.acm.org/citation.cfm?id=279380 describes
235.
by wsxcde 12y ago
Processors over the last 10 or so years have included more and more sophisticated indirect branch predictors. (I think the trend started with Banias which debuted in 2003.) This was primarily motivated by the proliferation of virtual functi
236.
by wsxcde 12y ago
I haven't read the paper and probably won't get to it until after the weekend. So I'd be interested in getting a summary of their main claims. But I do know a little about this subject and my understanding is: (a) the essenti
237.
by wsxcde 12y ago
> factories like this would WANT to disrupt the Bitcoin network You're assuming the people disrupting the network for short term gain are the same as those who made the up front investment into the operation. This is not true. GHa
238.
by wsxcde 12y ago
> eco-system where they have all the advantages Maybe this is what you're alluding to, but Intel used a whole host of anti-competitive practices to prevent AMD from gaining a foothold in the market at a time when AMD had faster an
239.
by wsxcde 12y ago
Great to see Trello, Fog Creek and Joel doing well. Joel/Fog Creek are one of the few entities in the startup ecosystem that I read about and think to myself, I want to be a CEO like Joel and build a company like Fog Creek. A lot of st
240.
by wsxcde 12y ago
I hear what you are saying. What I'm interested in exploring the consequences around rational behavior should if you make the assumption that (a) each unit of GH/s has a certain cost, (b) the miners are expecting to recover this c

More ›