I don't mean to belittle the accomplishment of getting the probe to titan, but as a lay person, none of the images that have come back have been all that impressive. What is the technical reason for this? Is it a bandwidth issue? Or were these launched long enough ago that this quality of images was state of the art for spacecraft?
The existence of a supernatural event would constitute a proof of the supernatural.
I'm not sure this is true. Supernatural events are hardly something that we can describe in formal terms, in particular the terms that we using to write proofs.
There is most likely a logical flaw in what I posted since this logic could be used to show that any statement of a formal construct's existance if provable. I'd be interested to see it hashed out if you care to take the time.
Suppose P?=NP is unprovable.
The existence of an algorithm to solve an NP-complete problem in polynomial time would constitute a proof that P=NP.
Therefore there can be no such algorithm.
Therefore P!=NP.
This is a contradiction.
Therefore P?=NP must be provable.
I used to think that would work, then I went to college and had spam in my inbox before I had even first checked it. I hadn't given out the address to anyone, not even my close friends.
You forgot the absolutely fantastic ice cream!
If any of you are ever in town, stop by Greater's or Aglamesis. Some of the best ice cream you will ever have
My experience with Wordperfect has been far superior to my experience with OpenOffice.
In general, Wordperfect does exactly what you tell it to. OpenOffice on the other hand has an annoying tendency to start 'helping' and screw up everything in the process. The last time I used it, I couldn't title lines with section numbers (3.1.1 etc.) without it automatically indenting the following lines and further section numbers. I couldn't quickly find any way to turn this off, and I didn't bother to put in the extra time. I went back to using WordPerfect immediately.
HCI people, pay attention! When I want a program to do something special, I'll tell it to do something special! Otherwise, leave what I type alone!
Well, let's see here. Orwell and Huxley come to mind. So do Ray Bardbury, Kurt Vonnegut, and Anthony Burgess. Ursula K. LeGuin won the national book award for the Dispossessed if you want documentation.
Literary critics have an unfortunate tendency to declassify something as science fiction if it is any good.
Have you honestly never heard of any of these, or are you just trolling?
Agreed. Foobar 2000 is one of the best pieces of software I have ever used. Every aspect of it shows skillful design. It is excellent as music management software as well as a player.
Slashdot Mirror
I don't mean to belittle the accomplishment of getting the probe to titan, but as a lay person, none of the images that have come back have been all that impressive. What is the technical reason for this? Is it a bandwidth issue? Or were these launched long enough ago that this quality of images was state of the art for spacecraft?
I had a gameboy for many years. Guess I'm fucked. :)
Shine on you crazy diamond.
www.foobar2000.org
Exactly
Good point.
The existence of a supernatural event would constitute a proof of the supernatural.
I'm not sure this is true. Supernatural events are hardly something that we can describe in formal terms, in particular the terms that we using to write proofs.
There is most likely a logical flaw in what I posted since this logic could be used to show that any statement of a formal construct's existance if provable. I'd be interested to see it hashed out if you care to take the time.
Suppose P?=NP is unprovable.
The existence of an algorithm to solve an NP-complete problem in polynomial time would constitute a proof that P=NP.
Therefore there can be no such algorithm.
Therefore P!=NP.
This is a contradiction.
Therefore P?=NP must be provable.
I used to think that would work, then I went to college and had spam in my inbox before I had even first checked it. I hadn't given out the address to anyone, not even my close friends.
At the skyline by the university there is typically a line out the door at 3 AM. Best Munchie food ever!
Not True about the parkland.
City council on the other hand hasn't been very effective.
You forgot the absolutely fantastic ice cream! If any of you are ever in town, stop by Greater's or Aglamesis. Some of the best ice cream you will ever have
My experience with Wordperfect has been far superior to my experience with OpenOffice.
In general, Wordperfect does exactly what you tell it to. OpenOffice on the other hand has an annoying tendency to start 'helping' and screw up everything in the process. The last time I used it, I couldn't title lines with section numbers (3.1.1 etc.) without it automatically indenting the following lines and further section numbers. I couldn't quickly find any way to turn this off, and I didn't bother to put in the extra time. I went back to using WordPerfect immediately.
HCI people, pay attention! When I want a program to do something special, I'll tell it to do something special! Otherwise, leave what I type alone!
Quite funny :)
Well, let's see here. Orwell and Huxley come to mind. So do Ray Bardbury, Kurt Vonnegut, and Anthony Burgess. Ursula K. LeGuin won the national book award for the Dispossessed if you want documentation.
Literary critics have an unfortunate tendency to declassify something as science fiction if it is any good.
Have you honestly never heard of any of these, or are you just trolling?
Agreed. Foobar 2000 is one of the best pieces of software I have ever used. Every aspect of it shows skillful design. It is excellent as music management software as well as a player.