Guatemala's GDP is $60 billion or so, and that doesn't include all the P from drug trafficing, so your joke is a little too far from reality to be funny
They got your vote in the election even though you don't actually support their policies. And they piss you of as soon as possible, giving you the maximum amount of time to foget about it, and them the maximum amount of time to do something you like before you vote again.
If you install the X packages in cygwin you get rxvt which can run without an X-server and works as reasonable console.
It also works with the 'chere' command (the chere package isn't installed by default I think) to get a Bash shell here right click menu option in explorer...
It also has mind reading psychic powers, pushing it for "near".
Of course firefly clearly wasn't a "popular TV show" anyway, since it got canned in the first season and Fox didn't even bother showing all the episodes they did make...
FTL doesn't rule something out for being "hard scifi" especially if it handles the time travel that current theories tend to predict as going hand in hand with it.
What if the reason it has crashed is because the memory used by the IDE drivers got trashed, and now if you try and write to that swap on drive 1, the data actually gets written to drive 2...
But look at how slowly the reaver ship and Serenity passed each other (travelling in almost opposite directions) in the first episode (or the last episode if you are a Fox scheduling wizard).
Travelling that slowly in space is not "hard SF", but of course it's dramatic (but that could have been achieved by having the ships travelling in almost the same direction and hence taking a long time to pass each other).
Not really, way back in the 18th century the electoral college members each got to vote twice.
Then of course the obvious problem arose and Jefferson and Burr tied in their votes (because the Replublican electors were clearly retarded - of course their error was slightly better than the Federalists in the previous election who managed to let the other side win vice president even though they had the numbers). Now even though it was obvious that the intention was for Jefferson to be president and Burr vice president, the house of representatives being partisan hacks and dominated by the Federalists almost screwed things up completely by dead locking and not giving Jefferson a majority (since due to the tie they got to vote on who wins).
36 ballots it took before they finally realised they were being complete dick heads and finally elected Jefferson. That was enough to get the constitution amended so that the electors could actually vote in a sane manner.
Of course 1824 shows that things could still be screwed up - but you've got to have some excitement...
Even ignoring the obvious sarcasm I can't see where I even implied such a thing.
I pointed out that reducing the number of illegal immigrants won't have any measurable effect on pollution from cars or the amount of traffic.
And that slapping a huge tax on gas would.
And that slapping such a huge tax on gas would also cause the economy to collapse which idiots like the OP should be in favour of since that will reduce the number of illegal immigrants considerably - their original countries will have better economies so those motivated by economics won't come...
Yeah, because illegal immigrants make such a huge contribution to the amount of traffic on the road.
Far more than that of citizens or even legal immigrants.
You could also just slap a 5000% tax on gas, that'd reduce the amount air pollution produced by cars quick smart. And also reduce the number of illegal immigrants - two for one, write your representatives now!
The mpz_* functions are from a bignum library, so the rather 32 bit ints the integers can take up all of available memory...
xn_plus_yn_equals_zn_satisfiable simply returns whether x^n + y^n = z^n is satisfiable for n with some value of (bignum) integers x, y and z.
In other words the program halts if Fermat's Last Theorem is true and infinite loops if it is not.
Of course if you take "the prover couldn't find a problem after running for 3 days" as meaning the "code is invalid" then you can "prove" the correctness.
However, the "need a much larger" system part presents a problem. You have to prove the prover doesn't contain bugs, since what happens if it has a bug that makes it say some code is correct when it isn't?
It is mathematically impossible to prove an arbitrary Turing Machine halts on given input. And modern day computers are equivalent to Turing Machines (except for the fact that they have finite memory - but they have enough that brute forcing isn't practical).
So if you want to prove a piece of code is bug free you need to write it in a language that is restricted enough to make such a proof possible (you take away the arbitrary part).
Why? Not at all. The process checks ALL branchings and ALL possible combinations of states of the program (that's why it's so computationally intensive), and once entering endless loop, the program will keep changing its state in a closed cycle - Pretty simple autocorelation analysis of the time-state function of given branch will reveal it's an endless loop and terminate analysis of the branch.
Well, for a computer with finite space you could analyse all possible states - but then again to do so you would need a comuter with a larger space, so how do you know that one is correct?
Tha halting problem is fundamental computer science. It is impossible for a Turing Machine to determine if another Turing Machine will halt on a given input. Now Turing Machines have infinite tapes, but a modern computer has tens and possibly hundreds of gigabytes of disk in which to store state - so though it's not infinite it's getting large.
Consider:
mpz_t n; mpz_init(n); mpz_set_ui(n,3); while (true) {
if (xn_plus_yn_equals_zn_satisfiable(n))
return false;
}
mpz_add_ui(n, n, 1); }
Actually there ARE techniques of "proving there are no bugs". A program can be mathematically proven to be correct and error-free.
As usually, there's a hook. Proving correctness of anything more complicated than 2-3 nested loops and a handful of conditional statements would require more computational power that exists in the whole world.
It'll need significantly more computational power than that. After all a program unintentionally entering an infinite loop is a bug. And since the Halting Problem is uncomputable - no computer (well, not without a *major* breakthrough) can determine whether an arbitrary program will have such a bug.
Not quite useless - 20-line routine about mixing fuel in a jet engine is something worth proving, and these things are subjected to this technique. But 3 megabytes of an antivirus - sorry...
Yes, if you remove the 'arbitrary' part you can prove lots of things about programs that are written in a restricted language (or a restricted subset of some language). If the program is running on Windows (or Linux or almost any OS) then the game is up before you start since you can't prove what they will do so does it matter if you prove your tiny bit of code works...
An hour of daylight is essentially moved from the morning to the evening.
So in the evening there is an hour more light which means people turn their lights on an hour later and an hour worth of electricity. Plus people can spend more time outdoors and less time with the TV on and so on.
In the morning the opposite happens. It's dark so people need to turn the lights on an hour early. But in summer that morning hour is early enough that a bunch of people are still in bed anyway and hence don't turn the lights on, there's enough of them to make a measurable difference to power usage.
Iran is next door, Saddam thought he needed to bluff to prevent Iran from invading - they probably wouldn't have anyway, but paranioa goes hand in hand with military dictator.
I'm pretty sure he was shocked than anyone else took him seriously on it...
"When unplugged, the unit stays surprisingly cool and won't toast your arm."
Re:The myth is dead! Long live the myth!
on
The Solar Death Ray
·
· Score: 1
Wouldn't a concave shield suck?
Spears and swords and stuff would instead of glancing off, as from a convex shield, be directed towards the center so the soldier gets to absorb all the kinetic energy himself.
Slashdot Mirror
I'm pretty sure that every TLA (even TLA) has been used and reused and reused by now.
e xact&Acronym=zkj&Find=Find
http://www.acronymfinder.com/af-query.asp?String=
And since a GET request is by definition idempotent that's perfectly OK.
Guatemala's GDP is $60 billion or so, and that doesn't include all the P from drug trafficing, so your joke is a little too far from reality to be funny
Idiots.
They got your vote in the election even though you don't actually support their policies. And they piss you of as soon as possible, giving you the maximum amount of time to foget about it, and them the maximum amount of time to do something you like before you vote again.
Seems smart to me.
If you install the X packages in cygwin you get rxvt which can run without an X-server and works as reasonable console.
It also works with the 'chere' command (the chere package isn't installed by default I think) to get a Bash shell here right click menu option in explorer...
It also has mind reading psychic powers, pushing it for "near".
Of course firefly clearly wasn't a "popular TV show" anyway, since it got canned in the first season and Fox didn't even bother showing all the episodes they did make...
FTL doesn't rule something out for being "hard scifi" especially if it handles the time travel that current theories tend to predict as going hand in hand with it.
What if the reason it has crashed is because the memory used by the IDE drivers got trashed, and now if you try and write to that swap on drive 1, the data actually gets written to drive 2...
But look at how slowly the reaver ship and Serenity passed each other (travelling in almost opposite directions) in the first episode (or the last episode if you are a Fox scheduling wizard).
Travelling that slowly in space is not "hard SF", but of course it's dramatic (but that could have been achieved by having the ships travelling in almost the same direction and hence taking a long time to pass each other).
Not really, way back in the 18th century the electoral college members each got to vote twice.
Then of course the obvious problem arose and Jefferson and Burr tied in their votes (because the Replublican electors were clearly retarded - of course their error was slightly better than the Federalists in the previous election who managed to let the other side win vice president even though they had the numbers). Now even though it was obvious that the intention was for Jefferson to be president and Burr vice president, the house of representatives being partisan hacks and dominated by the Federalists almost screwed things up completely by dead locking and not giving Jefferson a majority (since due to the tie they got to vote on who wins).
36 ballots it took before they finally realised they were being complete dick heads and finally elected Jefferson. That was enough to get the constitution amended so that the electors could actually vote in a sane manner.
Of course 1824 shows that things could still be screwed up - but you've got to have some excitement...
You'd be wrong. There's a reason it's called "sales rank", it is weighted to recent sales though.
Strangely enough people actually buy things and hence the ranks change. Imagine that.
Right behind
* 1. The Phantom of the Opera (2-Disc Special Edition)
Which was released on May 3 - 7 days ago
* 6. The Andy Griffith Show - The Complete Second Season
Which isn't released until May 24 - so preorder
* 12. Abs Diet
Which was released on May 3 - 7 days ago
* 13. Gilmore Girls - The Complete Third Season
Which was released on May 3 - 7 days ago
* 25. Quantum Leap - The Complete Third Season
Which is released today
* 33. WWE WrestleMania XXI
Which was released today.
* 38. Star Trek Enterprise - The Complete First Season (doomed, ya already know this, right?)
Which was released May 3 - 7 days ago
* 43. Ocean's Twelve (Widescreen Edition) (what? one week in the theater, was it?)
Which was released April 12 - 28 days ago.
Compared with Firefly which was released on December 9 2003 - 518 days ago.
Can you seriously not see the difference?
Even ignoring the obvious sarcasm I can't see where I even implied such a thing.
I pointed out that reducing the number of illegal immigrants won't have any measurable effect on pollution from cars or the amount of traffic.
And that slapping a huge tax on gas would.
And that slapping such a huge tax on gas would also cause the economy to collapse which idiots like the OP should be in favour of since that will reduce the number of illegal immigrants considerably - their original countries will have better economies so those motivated by economics won't come...
Miss the sarcasm much?
Yeah, because illegal immigrants make such a huge contribution to the amount of traffic on the road.
Far more than that of citizens or even legal immigrants.
You could also just slap a 5000% tax on gas, that'd reduce the amount air pollution produced by cars quick smart. And also reduce the number of illegal immigrants - two for one, write your representatives now!
Those silly conservations laws, who follows them anyway?
The mpz_* functions are from a bignum library, so the rather 32 bit ints the integers can take up all of available memory...
xn_plus_yn_equals_zn_satisfiable simply returns whether x^n + y^n = z^n is satisfiable for n with some value of (bignum) integers x, y and z.
In other words the program halts if Fermat's Last Theorem is true and infinite loops if it is not.
Of course if you take "the prover couldn't find a problem after running for 3 days" as meaning the "code is invalid" then you can "prove" the correctness.
However, the "need a much larger" system part presents a problem. You have to prove the prover doesn't contain bugs, since what happens if it has a bug that makes it say some code is correct when it isn't?
It is mathematically impossible to prove an arbitrary Turing Machine halts on given input. And modern day computers are equivalent to Turing Machines (except for the fact that they have finite memory - but they have enough that brute forcing isn't practical).
So if you want to prove a piece of code is bug free you need to write it in a language that is restricted enough to make such a proof possible (you take away the arbitrary part).
Why? Not at all.
The process checks ALL branchings and ALL possible combinations of states of the program (that's why it's so computationally intensive), and once entering endless loop, the program will keep changing its state in a closed cycle - Pretty simple autocorelation analysis of the time-state function of given branch will reveal it's an endless loop and terminate analysis of the branch.
Well, for a computer with finite space you could analyse all possible states - but then again to do so you would need a comuter with a larger space, so how do you know that one is correct?
Tha halting problem is fundamental computer science. It is impossible for a Turing Machine to determine if another Turing Machine will halt on a given input. Now Turing Machines have infinite tapes, but a modern computer has tens and possibly hundreds of gigabytes of disk in which to store state - so though it's not infinite it's getting large.
Consider:
mpz_t n;
mpz_init(n);
mpz_set_ui(n,3);
while (true) {
if (xn_plus_yn_equals_zn_satisfiable(n))
return false;
}
mpz_add_ui(n, n, 1);
}
Actually there ARE techniques of "proving there are no bugs". A program can be mathematically proven to be correct and error-free.
As usually, there's a hook. Proving correctness of anything more complicated than 2-3 nested loops and a handful of conditional statements would require more computational power that exists in the whole world.
It'll need significantly more computational power than that. After all a program unintentionally entering an infinite loop is a bug. And since the Halting Problem is uncomputable - no computer (well, not without a *major* breakthrough) can determine whether an arbitrary program will have such a bug.
Not quite useless - 20-line routine about mixing fuel in a jet engine is something worth proving, and these things are subjected to this technique. But 3 megabytes of an antivirus - sorry...
Yes, if you remove the 'arbitrary' part you can prove lots of things about programs that are written in a restricted language (or a restricted subset of some language). If the program is running on Windows (or Linux or almost any OS) then the game is up before you start since you can't prove what they will do so does it matter if you prove your tiny bit of code works...
An hour of daylight is essentially moved from the morning to the evening.
So in the evening there is an hour more light which means people turn their lights on an hour later and an hour worth of electricity. Plus people can spend more time outdoors and less time with the TV on and so on.
In the morning the opposite happens. It's dark so people need to turn the lights on an hour early. But in summer that morning hour is early enough that a bunch of people are still in bed anyway and hence don't turn the lights on, there's enough of them to make a measurable difference to power usage.
Substitute games with movies and GTA with "Nightmare on Elm Street".
It's not like this hasn't already been discussed for decades or anything.
Rock and a hard place...
Iran is next door, Saddam thought he needed to bluff to prevent Iran from invading - they probably wouldn't have anyway, but paranioa goes hand in hand with military dictator.
I'm pretty sure he was shocked than anyone else took him seriously on it...
and banning it.
Why would the inside be shiny?
That's where the arm slots are, and I would hope some padding of some sort to help with that kinetic energy absorption...
Why polish that which no one sees?
You must have missed this part:
"When unplugged, the unit stays surprisingly cool and won't toast your arm."
Wouldn't a concave shield suck?
Spears and swords and stuff would instead of glancing off, as from a convex shield, be directed towards the center so the soldier gets to absorb all the kinetic energy himself.