Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!

 



Forgot your password?
typodupeerror
Check out the new SourceForge HTML5 internet speed test! No Flash necessary and runs on all devices. ×

Comment Re:Clickbait (Score 0) 130

Hmm, theoretically impossible? I guess, *in principle*, any user could always just reformat and install Windows XP, but granting that at least *some* system components can be trusted, there is the notion of http://en.wikipedia.org/wiki/Proof-carrying_code/ which, although not commonly implemented due to the technology not being there yet for widespread adoption, could conceivably be implemented as a system wide policy.

The idea is that each piece of code contains within it a proof of its compliance with some formally specified security policy defined by the system, which the system verifies before the code is allowed to execute. The result is, as long as you can trust the security policy and things like the program loader, you can trust everything that executes, regardless of origin.

While writing this, it occurs to me that maybe the issue with even this system is no security policy could simultaneously allow all nonmalicious software features while excluding all malicious features, even in principle. A proof of this isnt so obvious to me though

Comment Re:Open set it is! (Score 1) 248

To be pedantic, we still cant conclude the product + 1 is prime, only that it is a contradiction that it is divisible by no prime (which is all we need anyway). The GP is correct in that a proof more similar to Euclid's original is given by considering an arbitrary finite set P of primes, letting N be the product of the P plus 1, and then concluding that a prime divisor of N must not be in P.

Comment Re:mutable state (Score 0) 404

It is important to remember that while a naive approach to functional programming (that is, using the same data structures and idioms as for imperative languages), will indeed be inefficient due to enforced persistence, much of the loss can be mitigated by using better data structures. For instance, Data.Sequence of Haskell supports access and modification time logrithmic in the closest distance to one end of the sequence, and does so in a thread safe (as always) way.

Even in the case where we demand mutable data structures because nothing else is acceptable, we can control the access in a purely functional way using monads (a very cool concept which arent as scary as they first might seem). See for instance, the haskell State monad and mutable data structures.

Comment Judge is walking a thin line over a slippery slope (Score -1, Troll) 140

A judge who dismisses a case on grounds of 'public interest' and not rule of law is overstepping his authority. As broken as our patent system is, much worse is a judiciary which disregards the checks and balances established for it by our Constitution. Perhaps Apple and Motorola are being childish, but they are acting in a manner they believe benefits their stockholders the most within the confines of the law, which is the extent of the court's authority.

Granted, I havn't read the case materials, and the judge may have a more legitimate legal basis to cancel the jury trial.

Comment Re:Common Sense, anyone? (Score 1) 788

Well the lowest risk investment you can make these days is in a US Treasury Bond, essentially investing in US debt. One could argue that if the government is trying to create jobs by spending money, giving the government money will lead to job creation. Of course, this depends both on the government being successful at job creation by spending money, and that rich people would actually invest in treasury bonds. The interest rate on treasury bonds is so low right now its actually risky to buy because if the interest rate then increases, the price of the bond you own drops signifigantly (http://en.wikipedia.org/wiki/Interest_rate_risk).

Much more likely for large investments is diversified stocks, possibly managed inside a mutual fund. Diversification mitigates risk of temporal losses of investment value, but the stock market has a much higher historical (average) rate of return than bonds. Stocks give money to companies to spend on their business, which more directly contribute to job creation.

Even if you let your money collect dust in a low-risk savings account in a bank somewhere, the bank's business is to reinvest your money in the above. There are also other investment opportunities, but they all involve your money ultimately getting to companies or the government (but to be fair only mostly US companies and governments).

Comment Re:Have to share this - holy crap! mod parent up (Score 1) 626

To be fair, a 'proof' that is directly experienced and scientific proof are both wholly different from a mathematical proof, which is simply a sequence of deductive steps originating from a stipulated set of axioms and definitions. Given a rational person who also happens to be a creationist, even he would agree that assuming

  • A implies B
  • A

then B is provable in this system. This is in contrast to scientific inquiry, where there are no axioms. Instead, there are measurements and observations, and hypotheses are created which attempt to explain the measurements and observations. If a hypothesis is successful in its explanatory or predictive power with respect to further measurements and observations, eventually we may call it a theorem. At no point did we prove the hypothesis in the mathematical sense, and in fact if there came along a measurement or observation that contradicted the theorem, it would have to be revised or discarded.

Demanding to see more data before accepting a scientific theory is not an unscientific thing to do, as long as one does it honestly and with intellectual integrity. Obviously the gotcha arguments thrown around by many creationists concerning the inability to directly collect data from before the dawn of man doesn't really fulfill the spirit of science...

Comment Re:Well, teaches kids a valuable lesson (Score 1) 330

The sad thing is that the "Generation Facebook" is not going to go away. Kids are being continually conditioned to accept breaches in their privacy by the facebook model. Around every 2 years or so fb rolls out some opt-out Cool New Feature which causes an initial uproar about its privacy implications. Maybe fb makes a statement or adds some specific privacy features, but eventually people forget and gradually care less and less about the violation of their privacy. Each new feature is only incrementally worse than the previous, never enough to cause enough of an uproar to have it removed (except in a few cases), and so this systematic invasion of privacy continues.

I'm afraid this level of blatant trespassing as you say is only going to get more accepted and mainstream as an entire generation has its opinions on privacy eroded. This gradual desensitization to initially offensive policies is coincidentally the same way the Holocaust started

Comment Re:What I never understood about the uncertainty p (Score 1) 112

Sorry I should have been clear. All I meant was that we wouldnt "see" the interference pattern with just a single electron since it just excites a single atom (talking about wavefunction collapse when it hits the screen). But thats exactly right the electron still interferes with itself and the probability distribution of where we see it is the same as the interference pattern.

Slashdot Top Deals

He keeps differentiating, flying off on a tangent.

Working...