wsxcde

26 ms·

181.
by wsxcde 11y ago
Others have already mentioned one failure mechanism that causes transistor degradation over time: electromigration. Other important aging mechanisms are negative-bias temperature instability (NBTI) and hot carrier injection (HCI). I've
182.
by wsxcde 11y ago
This is a good paper on this topic: http://dl.acm.org/citation.cfm?id=1555372 . Another slightly older paper with similar data: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.115...
183.
by wsxcde 11y ago
Well, this is what researchers were predicting 12-14 years ago. There was a lot of work in fault tolerant and probabilistic computer architectures as a result of this. (I believed the prediction and contributed to some of this work.) The pr
184.
by wsxcde 11y ago
What do you do with your bitcoins after you "move them to another country"? It would seem you still have to convert to normal currency and that is by no means instant. What about the volatility? If you really want quick transfers
185.
by wsxcde 11y ago
http://www.paulgraham.com/submarine.html
186.
by wsxcde 11y ago
Nothing really new here, just speculation that Nick Szabo is Satoshi. It mainly appears to be a submarine piece praising bitcoin.
187.
by wsxcde 11y ago
> Enough to keep the Feds away for how long, exactly? In your question lies the answer to another: why are exit scams so prevalent in bitcoin marketplaces?
188.
by wsxcde 11y ago
Well, he was named CTO of the FTC back in 2010, so it seems he has a good relationship with the Obama administration.
189.
by wsxcde 11y ago
What are the other assumptions in this hypothetical scenario? Does C# exist? Does Scala exist? Does F# exist? You could argue that none of these would exist if Java didn't. What might we have instead? C/C++ of course, Python/
190.
by wsxcde 11y ago
To offer a cynical perspective from a formerly colonized country, it seems to me that what made Australia, the UK, the US, Canada etc. successful is blatant disregard for human rights and equality when they were going through the same phase
191.
by wsxcde 11y ago
Scanning http://www.hackersdelight.org/aha/aha.pdf , it looks like Aha performs some form of exhaustive search over all programs? An SMT solver is probably a better way of doing this search; there's been some work
192.
by wsxcde 12y ago
I don't think DDoS is a real offensive weapon in cyber-warfare. It's just a noise-making attention-drawing machine. What the paper calls targeted exploitation is the real weapon here. The main thing I took away from this paper is
193.
by wsxcde 12y ago
> We remain puzzled as to why the GC’s operator chose to first employ its capabilities in such a publicly visible fashion. This is the most important question here. I think it's fair to assume this must've been a deliberate c
194.
by wsxcde 12y ago
I disagree. If you live in, say Westmont or Downer's Grove and want to get to O'Hare or Midway by public transport, you might as well give up before you start. It's a minimum two hour train journey that involves going all the
195.
by wsxcde 12y ago
It's conceivable that you can build a formally verified hardware device that handles the actual voting, and you probably also make sure that the software running on this device is all signed and authenticated with your trust rooted in
196.
by wsxcde 12y ago
The cost of maintaining your optimized code adds up too. As does the risk that you introduced a bug. And this takes time away from newer features that customers might be willing to pay money for. Occasionally performance is a feature, but a
197.
by wsxcde 12y ago
> how people voted except for the testimony of a computer server Well, that's not an accurate claim. There are a number of verifiable voting protocols, e.g., Helios https://vote.heliosvoting.org/ . This doesn't
198.
by wsxcde 12y ago
As seanwilson has pointed out already, academic papers are written to be intelligible to experts in the field. They're not meant to be tutorials for practitioners. So you can easily get stuck if you're reading a paper in a field i
199.
by wsxcde 12y ago
One other difference on modern compilers relating specifically to character arrays: This will work fine: char arr[] = "stuff"; printf("arr:%s\n", arr); arr[0] = 'b'; arr[1] = 'l'; p
200.
by wsxcde 12y ago
> While the Nexus 6 has already started seeing the update stateside, Google’s latest and greatest software still takes too long to percolate around the ecosystem for everyone else. Both my Nexus 5 and first generation Nexus 7 got 5.1 a w
201.
by wsxcde 12y ago
> Yet people are pleased with a two year delay disseminating the most important research? The heartbeat of progress is the time it takes to disseminate information. This is a bit of a strawman, don't you think? Researchers, the va
202.
by wsxcde 12y ago
Let me offer some (hopefully constructive) counterpoints: > If the system doesn't work for you, it doesn't mean you're not capable. Sure, but working with the system is a useful capability. Don't be lazy and dismiss i
203.
by wsxcde 12y ago
Do you really think that what you did was acceptable? It's equivalent to putting up your essay on a public notice board. Do you think the latter would've been acceptable behavior? Maybe the punishment was a little harsh, but I thi
204.
by wsxcde 12y ago
Plagiarism laws aren't just about whether you copied from someone else. A lot of times, certainly in all the universities I've been part of, they will penalize you if you did not take reasonable precautions to ensure that others d
205.
by wsxcde 12y ago
Actively forbidding students from learning and using version control is egregious. Students are definitely not forbidden from using version control. In fact, version control is encouraged. What they are forbidden from doing is making thei
206.
by wsxcde 12y ago
You are missing the point. Student not allowed to make their homeworks public and this is for a very good reason. It helps other students looking to plagiarize, and students have a responsibility to make a reasonable effort to prevent thi
207.
by wsxcde 12y ago
There's nothing infuriating about it. Students are usually prohibited from posting homeworks and/or solutions online because courses reuse material from previous years. Students can consider themselves lucky if the only fallout fr
208.
by wsxcde 12y ago
You are right, I was thinking of miTLS.
209.
by wsxcde 12y ago
I think you you guys have formally proven some of this correct? What did you use? Was a proof-assistant like Coq or a model checker or similar? And what properties have been proven correct (so we know what to avoid wasting time on :)?
210.
by wsxcde 12y ago
I hear you but I also want to elaborate a little. I got the impression from your post that you made a commitment to your new employer that you're going to start on a particular date. And your old employer wanted you to break that commi

More ›