wsxcde

22 ms·

151.
by wsxcde 11y ago
Much more importantly, an Intel design team has something like 1200 engineers working for 2-2.5 years on the next generation of an existing processor. I don't know about ARM, but I'd guess they probably something like a team of 20
152.
by wsxcde 11y ago
What are you qualifications in computer architecture? You're arguing against pretty much everyone in the field. > I'm surprised to see a lot of RISC proponents still around, because I think it's quite clear that things did
153.
by wsxcde 11y ago
More than the open access aspect of the issue, it's the reviewing practices that appear to be the real success here. Papers in EECS area are typically published in so called "top tier" conferences. These conferences like to h
154.
by wsxcde 11y ago
> Internet service is on the order of $50/month. This is bullshit. 1GB of 4G LTE costs less than $4 in India. http://www.airtel.in/4g/
155.
by wsxcde 11y ago
This should be an accessible introduction to SAT: http://www.georg.weissenbacher.name/papers/mod12.pdf . If you want something more "high-level", and I'll look for something appropriate.
156.
by wsxcde 11y ago
To take the discussion on a slight tangent, how uncommon is this phenomenon? An applied tool works really well but nobody knows why. I can give another example from the domain of formal verification: SAT solvers which are at the core of mos
157.
by wsxcde 11y ago
At least part of the secret is formal verification. MSR throughout the last decade made some big advances in software verification technology. These resulted in more than just academic papers, they were used to find tons of real bugs in MS
158.
by wsxcde 11y ago
Let me try to understand your position a little better. Are you saying the problem here is simply that the effects of the attack were observable by others? If this were not the case, you'd have been fine with it? And since you seem to
159.
by wsxcde 11y ago
I don't really buy the comparison that what CERT did is similar to a university-sponsored DDoS. I think a better parallel is the Dan Egerstad case. He ran a Tor exit node and analyzed all the plaintext traffic leaving the exit nodes. H
160.
by wsxcde 11y ago
A counterpoint to some of the pro-bitcoin hype. The developers are still arguing about the 1MB blocksize limit. Currently bitcoin is limited to a theoretical maximum of 7 transactions per second (~60k transactions per day). This figure was
161.
by wsxcde 11y ago
The short answer is that there is a plethora of software level issues that are much easier to exploit, so people don't bother with hardware bugs. Does this mean we should stop worrying about hardware bugs? I don't know the answer
162.
by wsxcde 11y ago
Anecdotally, having worked at AMD and Intel, both companies have lots of internal knowledge about what it takes to produce a high-performance x86 processor. Some of it comes out as patents, but if you outlawed that, I guarantee you none of
163.
by wsxcde 11y ago
This is not even related to branch prediction, it is a scheme for controlling load speculation. This means executing a load out of order, even if there are stores with unresolved addresses ahead of it. This paper isn't proposing load
164.
by wsxcde 11y ago
Would you like to expand on why you think it shouldn't be patented? Architectural optimizations are often dismissed by outsiders as being "obvious", but what they don't see are all the other "obvious" ideas tha
165.
by wsxcde 11y ago
What is your basis for the claim they've not evaluated the tradeoffs or tried to design an efficient implementation? The patent seems to be based on this paper: http://dl.acm.org/citation.cfm?id=264189 . It has an exten
166.
by wsxcde 11y ago
That's an oversimplification at best. Right now, NSF grant funding rates are so low that scientists feel they need to submit 6 good grants to get one funded, so they are forced to spend most of their time allocated to research writing
167.
by wsxcde 11y ago
The article acknowledges that the so-called "IPE rules" only apply to small subset of libraries. (They don't even apply to applets/servlets because the libraries which run these things are supposed to handle the isolatio
168.
by wsxcde 11y ago
> Almost every "rule" SEI CERT has for Java either applies directly to C, or is mooted by C's fundamental insecurity. Did you read the article? That is precisely what it says: > The preceding analysis demonstrates t
169.
by wsxcde 11y ago
Some people seem to spend all day on Reddit, and some of them end up being "Reddit famous". I guess this would make others think the opinions of these "hardcore" redditors is more prevalent than it really is.
170.
by wsxcde 11y ago
Not the OP, but I'm in a phd program right now and can see the light at the end of the tunnel. My experience has been great, my advisor has given me a lot of freedom to do the things I'm interested in. He has also taught me a lot
171.
by wsxcde 11y ago
I think the data would be more interesting if it was presented as a stacked bar plot or a set of pie charts. ed: also the fact that you do way fewer experiments; isn't that mostly because you moved from neuroscience to retail? I don&#x
172.
by wsxcde 11y ago
I use a fair amount of C++ for my code and its entirely because all the other tools I use - SAT solvers, model checkers, etc. are written in C++. I don't like it very much and many others in my community don't like either, but we&
173.
by wsxcde 11y ago
They say they can't pass parameters to delete so they had to use a macro instead to be able to pick the right allocator. But why not just store the pointer to the allocator along with the block and then have operator delete call the al
174.
by wsxcde 11y ago
Raluca gave a job talk at Princeton a year or so ago and she said CryptDB has been adopted by Google, among others.
175.
by wsxcde 11y ago
What do you all think a company like HP should do when they (finally) realize that they're overstaffed by a big number like 20%, 30% or 50%? One thing I realized working for a huge company and comparing that with my time at their much
176.
by wsxcde 11y ago
> My best guess is that the optimal current block size is somewhat larger than 1 MB. I disagree. There's good reason to believe the ideal block size is now smaller than 1 MB because large pools have been caught red-handed not valid
177.
by wsxcde 11y ago
I think you have the reasoning backwards. The argument the small-blockers are making isn't that we want to keep block size small to attempt to increase fees. Instead they're saying we want to keep block size small to avoid central
178.
by wsxcde 11y ago
The paradox assumes there are infinite stars that have existed for infinite time: > If the universe is static, homogeneous at a large scale, and populated by an infinite number of stars You're assuming an infinite number of stars s
179.
by wsxcde 11y ago
You should try rephrasing that because the point you're making is not at all clear.
180.
by wsxcde 11y ago
Some amazing progress is being made in the field of program synthesis. In particular, there have been a lot of successes in generating programs from input/output examples, provided the domain is sufficiently restrictive and/or the

More ›