CHY872

41 ms·

331.
by CHY872 12y ago
et voila! http://investors.cray.com/phoenix.zhtml?c=98390&p=irol-newsA...
332.
by CHY872 12y ago
This is cool! I'm forever bewildered by the seemingly unreasonable effectiveness of fuzzers at finding bugs.
333.
by CHY872 12y ago
These are his views, and by extension were the views of the US establishment until at least 10 years ago, but probably until more recently, and are views presumably shared by at least some the people who made the decision - but they still d
334.
by CHY872 12y ago
And yet, the US won't sell Iran nukes or China F-22s. The world we live in is far from free market, for everything from solar panels to textiles [0]. A really obvious place in which one might actually want the opposite of a free market
335.
by CHY872 12y ago
This wouldn't have been a surprise for the Chinese. Intel would have been told a long time ago, and so likely would the university in question. It also won't be a scenario that China hasn't planned for. The reason that China&
336.
by CHY872 12y ago
I can't help but feel that not supplying processors to the "National University of Defense Technology" is basically a textbook use of export regs? I don't really understand why people are complaining about this one?
337.
by CHY872 12y ago
No, not particularly. A lot of the world is on ADSL or worse; I now have 200Mb/s symmetric fiber which is fantastic, but until recently I could only get 6Mb/s download, 0.5Mb/sec upload. Half of all British people can get at
338.
by CHY872 12y ago
Neat, but not to knock the tech, use of Node seems like a little overkill? See https://github.com/j-baker/breaktime-sh
339.
by CHY872 12y ago
If you can get Gradle going, most stuff is fairly straightforward within a few lines of build script. It might not be ideal, but it works pretty well. I've definitely used far worse in terms of time to get started.
340.
by CHY872 12y ago
I'd be very wary of criticising Spark based on the technologies it's built on. In particular, a decent garbage collector will give you performance dependent on the number of live objects (typically low) and not on the number of al
341.
by CHY872 12y ago
Would this not just stop you from closing your laptop lid? I have a piece of tape over my laptop's webcam and that doesn't impinge on much (and actually has a useful purpose since I've been able to avoid the dreaded video int
342.
by CHY872 12y ago
I don't think you read my point in the way I intended for you to, and I'm sorry that my point could be misread in that way. I agree with all of your points. I'm not saying at all that plea bargains shouldn't exist, I&#x2
343.
by CHY872 12y ago
There are plenty of well documented cases of people who are innocent pleading guilty to lesser charges because regardless of innocence, there's still a good chance that they'll lose in front of a jury. Say the prosecutor offers yo
344.
by CHY872 12y ago
Very interesting. It's intriguing how the ideals seem to remain in the procedure, whilst the enactment of the 'justice' differs wildly from that envisaged. To me, 90% felony plea-bargains would imply that the grand juries are
345.
by CHY872 12y ago
Probably never. The amount of software that your car runs will easily stretch into the millions of lines of code, it's incredibly complicated and the combined efforts of thousands of programmers. Then, insurers wouldn't insure you
346.
by CHY872 12y ago
Yeah - was once instructed to use a full container (Glassfish) on ARM. A bootup took 5 minutes, requests took ten seconds. It was depressing.
347.
by CHY872 12y ago
Mm not entirely - I'd imagine that they could fairly easily run wpa-enterprise, authenticating against Comcast servers. Then when a user tries to connect, they'd be asked for their Comcast creds, which they could type in once, and
348.
by CHY872 12y ago
It'll only get raised with additional battery technology, I think. Around a normal track, where an F1 car will get up to that speed, it will use about 1.7kg of fuel per lap, and this corresponds roughly to about 8kWh per lap, taking th
349.
by CHY872 12y ago
City centre racetracks also come from the nature of electric power. Such tracks are usually much slower, which means that much less energy will be lost by means of air resistance, and the cars won't have enough space to reach top speed
350.
by CHY872 12y ago
Coq already could, if they wanted to. Z3 supports the SMT-Lib format, which means that any theorem prover that can both output that and execute a shell command can invoke Z3. This has no bearing on Z3's specific license, unless you wan
351.
by CHY872 12y ago
I suspect that they've sold a fair few licenses in their time. SMT solvers are widely used in industry, and to my knowledge Z3 is one of the better ones. It's probably just that the volume of sales isn't going to make sense w
352.
by CHY872 12y ago
This sort of attack would be easy to defeat, though. For example, one fix would be to precompute a few megs of randomness data from your hardware source, and only use it after a few minutes have passed since generation. If the malicious RNG
353.
by CHY872 12y ago
That's fanciful. If your hardware is vulnerable to such an extent, you might as well keel over and give up on any security. For example, such hardware could reasonably be expected to occasionally scan main memory for crypto keys in the
354.
by CHY872 12y ago
I don't think it would - what you implement might have more side channel attacks in, but if it's more of a PoC it shouldn't matter. On the other hand, even if it did, FPGAs are quite cheap ($100-ish for a suitable one) and if
355.
by CHY872 12y ago
I think that you have extrapolated the legitimate concern around hardware random number generators to AES-NI, where it is not a legitimate concern. With random numbers, the point is that there's no good way to tell exactly how random s
356.
by CHY872 12y ago
> Actually, I am aware of another, much more serious problem with CoIC formalism which was found when Coq was tried to be used to formalize homotopy type theory. It was a bug in CoIC, not a software bug. Do you have any references? Intri
357.
by CHY872 12y ago
It shouldn't, really. It'll only invalidate results that a) rely on this bug, and b) haven't been formally proven any other way. It is a valid concern when talking about theorem provers, though.
358.
by CHY872 12y ago
Webkit is controlled by Apple, basically. If you want to make big changes (i.e. Chrome) you're going to have to fork it and merge Apple's changes periodically. This will make things harder to maintain, and if you have enough inves
359.
by CHY872 12y ago
You maintain your own browser so that you can influence the development of the web. For example, Apple used Safari's influence to push touch events, Microsoft tried to use its influence to standardise pointer events, Google's been
360.
by CHY872 12y ago
It so is. A plain old Diffie Hellman key exchange will give you encryption without authentication. All you need for encryption is to be able to share a secret - this in no way requires authentication.

More ›