Forgot your password?

Comment: Re:Missing the only useful comparison. (Score 1) 134

by psmears (#46572301) Attached to: GNU C Library Alternative Musl Libc Hits 1.0 Milestone

The compare page is missing the only other entry I wanted to see.... and that is, BSD libc. This is widely used by QNX

No, QNX has its own libc - the microkernel architecture means the system call interactions work substantially differently from traditional Unix/Linux/etc.

Comment: Re:Follow the money (Score 2) 194

by psmears (#46314865) Attached to: Internet Shutdown Adds To Venezuela's Woes

The Venezuelan regime treats every problem as a nail to be hammered, so it THINKS the Internet shutdown will help them.

I was in Egypt when the government shut down the internet for several days to prevent protests, prior to the ousting of Mubarak. It was a very short-sighted move: to a great extent, the only thing keeping a lot of people off the streets was Facebook - take that away, and people's only option (for information and/or entertainment) is to go outside...

Comment: Re:prove that the program works (Score 1) 189

by psmears (#46299507) Attached to: A Mathematical Proof Too Long To Check

Forgot to mention those guys showed that such an algorithm that "works" for all valid proofs is not just difficult but mathematically impossible.

No, that's not actually what they proved; it is perfectly possible to prove a given algorithm works for all possible inputs, and even that a proof checker works for all valid proofs. There are certainly things that they proved impossible (e.g. a writing a program that can provide a proof for any true mathematical statement, or that can determine if two arbitrary programs are equivalent), but those don't apply here.

Comment: Re:prove that the program works (Score 1) 189

by psmears (#46299447) Attached to: A Mathematical Proof Too Long To Check

Prove that the algorithm works. That's your proof.

Gödel and Turing make strong cases that proving the algorithm works for some inputs that are correct proofs doesn't count as proof it will work for all correct proof inputs. So no, even if you "prove the algorithm works" it is not the same as a rigorous mathematical proof.

Not true - proving the algorithm works is the same as a rigorous mathematical proof, if you prove mathematically and rigorously that the algorithm works. (The comment about running the algorithm a number of times was simply to guard against the proven-correct algorithm producing a wrong result due to a machine malfunction.)

Comment: Re:Guarantee (Score 1) 716

by psmears (#46227551) Attached to: Ask Slashdot: Should Developers Fix Bugs They Cause On Their Own Time?

True bug free programs have been proven to be mathematically impossible - it's an NP-complete program.

Nonsense. For one thing, "NP-complete" doesn't mean "mathematically impossible" - it just means that large problems may take a very long (but nonetheless finite) time to solve. And there's nothing mathematically impossible about bug-free programs - they're hard to come by in practice for non-trivial problems, but the limitation is human rather than mathematical.

And to address your earlier comments: it's true that there may be bugs in the OS, the compiler or even the CPU - but in the context of the analogy, that's like having a fault in the wall's foundations - the bricklayer wouldn't be expected to be accountable for those (assuming another contractor was responsible for laying them...)

Comment: Re:BBC (Score 1) 361

by psmears (#46160963) Attached to: Ask Slashdot: What Online News Is Worth Paying For?

Also, you can still use the BBC website even if you don't pay taxes,

True - the licence fee (it's not strictly a tax) is only paid if you use a TV or watch live streaming.

how do you think foreigners view it?

When you're viewing the BBC News website from outside the UK, it shows adverts (and different content).

Comment: Re:Jewish "superiority complex?" (Score 1) 397

by psmears (#46101919) Attached to: The "Triple Package" Explains Why Some Cultural Groups Are More Successful

Not forgetting that Israel is the only country in the region that will accept almost anyone if they're willing to be productive members of society, and sometimes not even then. How's that working out in Jordan, Egypt, Syria, Iran, Iraq? Right. If you're not muslim, not a chance.

I know plenty of non-Muslims who have moved to, and live and work in, Egypt.

if you're female and under the age of 14 and not married yet you're probably getting too old.

Really? The problem I've heard most about is that pervasive unemployment means that young people can't afford to get married...

Have you actually been to the countries you're talking about?

Comment: Re:I loved my Amiga, too (Score 4, Insightful) 303

by psmears (#46079383) Attached to: Ask Slashdot: Life After N900?

The lazy assed "I don't want to do my own research" author.

Of course he's going to have to make some choices. But when making such choices, it's helpful to have a feel for how well the devices work in practice, for the intended use: I've had plenty of devices in the past that, according to their specs at least, were perfect - but ended up being frustratingly deficient in some way. Reading online reviews can help with this to some extent, but they tend not to focus on (say) programming as a use case - so I can imagine that input from slashdotters would be very valuable here. (It's also really helpful for pointing out phones/other devices that the author may not have considered, that don't necessarily come up in a typical web search...)

Comment: Re:bit of a tricky question with forums (Score 3, Insightful) 171

by psmears (#45808059) Attached to: Ask Slashdot: Getting an Uncooperative Website To Delete One's Account?

Sure it does.

"You agree that by submitting content to our service, you are granting a non-revokable, perpetual license to said content."

In which case you don't own it.

I'm not sure that follows. It's quite possible to own some land, but for someone else to have (say) a right of way over it - either that you've granted yourself, or that has arisen some other way. Such a right of way doesn't stop you using the land agriculturally, building on it, selling it, granting rights over it to other people, or forbidding third parties to use the land. You don't, however, have the power to revoke the right of way.

In such a situation, you are still the owner of the land, legally and in an everyday sense. Some people would argue that the situation with data is the same - you may remain the owner, but someone else can still have rights over it.

1 Billion dollars of budget deficit = 1 Gramm-Rudman