The catch is you have to specify the expected properties of your program in terms of
logical language
Oh, so all we have to do is write a bug-free program to check our first program for bugs? Brilliant! (Seriously, I'm all for correctness checking, but if you think it is a solution and not a tool, you're smoking too much of that there crack cocaine.)
"Beware of bugs in the above code - I have only proved it correct, not tested it."
- Knuth
And you'll go to hell, too; Revelations is quite explicit about this:
Revelations 22, 18-19:
For I testify unto every man that heareth the words of the prophecy of this book, If any man shall add unto these things, God shall add unto him the plagues that are written in this book: And if any man shall take away from the words of the book of this prophecy, God shall take away his part out of the book of life, and out of the holy city, and from the things which are written in this book.
You can build 'clocks' without crystals, but it involves doing Bad Things with feedback loops etc, and will vary wildly in speed based on tiny temperature shifts, the particular chip used, etc, etc. Some experimentally-computer-generated FPGA configurations have used these, but they are not recommended for sane human designers.
However, IMO, Java is starting to suffer from Ada syndrome; starting from a clean design, marketing and/or design by committee is causing it to add every damn possible feature in the world, causing a mess. Python, however, remains simple.
D: "We have this nifty client-server application, and it works fine here in Boston, but the clients in London are really, really slow. The network isn't fast enough."
[I examine network trace. The application retrieves a 1000-row table, 1 row at a time. Which is tolerable over a LAN... but at 100ms Latency to London, well...
Me: "You lose! Sorry, play again."
After a few rounds of that, they let me look at a trace *first*. But having a latency generator (bandwidth throttling is fine, but latency is where it's at) would be real handy to check.
Got to be the customer base. A few big clients paying maintainence fees will make back an awful lot of that $1B, especially if they, eg., fire everybody at Informix who isn't obviously necessary. This can make a nice business model, just ask CA, the vulture of the IT world.
They have the inside track to move those customers to DB/2 later, and eventually throw the carcass of Informix code to OSS. Win, win, win.
Good, all-american violence (Star Wars, or the Lone Ranger shooting a few dozen Indians) is fine. We appear to have no problem with violence in media (as long as it's properly sanitized and clean-looking), but god forbid somebody should see a woman's nipple...
Yeah, they should have used a strong encryption algorythm.
Like EBCDIC.
Seriously, though, you could argue that the *list* of songs itself is a copyrightable work (recent stupid copyright changes make databases of public facts copyrightable), and thus DMCA applies. QED.
Unfortunately, lawyers are allowed to use sense, instead of just logic, unlike computers. This is why hackers get into so much legal trouble - it's *almost* logical, but not quite.
Actually, I saw plans for that on the net months ago... it involved old microwave ovens and aluminium gutterpipe; would have produced a focused microwave beam, not a true maser. Assuming the plans weren't just bogus...
Getting the range and power they're talking about, though, is a whole 'nother kettle of fish.
Yeah, seems to have serious problems, but it's better than nothing. The problem with getting rid of the 'deployed changes have to be published' clause is then you get into the GPL's big quagmire of 'at what point does deployment become distribution?'
Hmmm... I'd like to see a shell that provides a command-line, programmatic interface to some of the Linux desktop librarys (GNOME, KDE) in much the same way that ksh and its ilk provide the same to the basic POSIX APIs of a baseline UNIX system.
Eg, you could write a script to go searching through a gnome-vfs 'filesystem' or such...
Slashdot Mirror
I find the internet more depressing all the time...
Mmmm... maybe you can get around the overheading problem with copper rebar?
Plus, it's brilliant for security; even if, say the FBI seizes it in a raid, can they remove the hard drive for analysis without destroying it?
The catch is you have to specify the expected properties of your program in terms of
logical language
Oh, so all we have to do is write a bug-free program to check our first program for bugs? Brilliant! (Seriously, I'm all for correctness checking, but if you think it is a solution and not a tool, you're smoking too much of that there crack cocaine.)
"Beware of bugs in the above code - I have only proved it correct, not tested it."
- Knuth
>no data is actually being lost - its just not showing up where it should be.
You're saying that the data isn't lost, you just can't find it?
Hello!
And when it comes to nuclear security, I'll take transparency over features any day; put the damn records in a flat file if you have to.
And you'll go to hell, too; Revelations is quite explicit about this:
Revelations 22, 18-19:
For I testify unto every man that heareth the words of the prophecy of this book, If any man shall add unto these things, God shall add unto him the plagues that are written in this book: And if any man shall take away from the words of the book of this prophecy, God shall take away his part out of the book of life, and out of the holy city, and from the things which are written in this book.
You can build 'clocks' without crystals, but it involves doing Bad Things with feedback loops etc, and will vary wildly in speed based on tiny temperature shifts, the particular chip used, etc, etc. Some experimentally-computer-generated FPGA configurations have used these, but they are not recommended for sane human designers.
Actually, Xscreensaver has a BSOD mode.
It may result in the clueless helpfully power-cycling your box, though...
Well, Ximian's web-mail-list-server shows a "mono" mailing list, with one test post from Michael Tiemann, Redhat's CTO.
We just need an 'Ask Slashdot' with Caveman Ogg. He can clear this right up.
How many companies have 3TB databases?
Not many; but most of them will pay whatever it takes to do it right, probably more than all the 50MB databases alltogether cost.
(Of course, in 5 years, we'll all have 3TB databases for managing our MP3s...)
Maybe not; you're in Java's sweet spot.
However, IMO, Java is starting to suffer from Ada syndrome; starting from a clean design, marketing and/or design by committee is causing it to add every damn possible feature in the world, causing a mess. Python, however, remains simple.
"This open-source software is great, much better than the proprietary stuff. What it needs is more proprietary stuff!"
And they wonder why they're losing to Redhat?
You can disagree with Redhat or Microsoft's ideologies, but at least they make sense, which is more than I can say about Caldera...
Developer: "The network is broken!"
Me: "What's the problem?"
D: "We have this nifty client-server application, and it works fine here in Boston, but the clients in London are really, really slow. The network isn't fast enough."
[I examine network trace. The application retrieves a 1000-row table, 1 row at a time. Which is tolerable over a LAN... but at 100ms Latency to London, well...
Me: "You lose! Sorry, play again."
After a few rounds of that, they let me look at a trace *first*. But having a latency generator (bandwidth throttling is fine, but latency is where it's at) would be real handy to check.
As Sun Tzu writes in _The Art of War_, "The victorious army first wins, then seeks battle."
Hope you're right...
Seen similar systems, seemed to make everybody happy: 15 minute billing at a high hourly rate, 3 hour minimum.
This is straightforward and pretty fair.
What's legally workable may be something else entirely...
Got to be the customer base. A few big clients paying maintainence fees will make back an awful lot of that $1B, especially if they, eg., fire everybody at Informix who isn't obviously necessary. This can make a nice business model, just ask CA, the vulture of the IT world.
They have the inside track to move those customers to DB/2 later, and eventually throw the carcass of Informix code to OSS. Win, win, win.
As opposed to all the great, wildly profitable Windows games companies, like Looking Glass, and Sierra, and, uh...
Good, all-american violence (Star Wars, or the Lone Ranger shooting a few dozen Indians) is fine. We appear to have no problem with violence in media (as long as it's properly sanitized and clean-looking), but god forbid somebody should see a woman's nipple...
Madness? You decide.
Treat wireless the same way you would remote access via Internet; firewall it off, layer a VPN over the wireless LAN and you're good.
Probably.
Just because you bought the disc, don't expect to use it in some way in which its owners don't approve.
News Flash: If I bought the disk, I'm the owner.
This would make an AOL client for PS2 trivial.
'course, I'm not sure Sony and TimeWarnerAOL will cooperate to that extent unless they're pretty scared of MS...
Yeah, they should have used a strong encryption algorythm.
Like EBCDIC.
Seriously, though, you could argue that the *list* of songs itself is a copyrightable work (recent stupid copyright changes make databases of public facts copyrightable), and thus DMCA applies. QED.
Unfortunately, lawyers are allowed to use sense, instead of just logic, unlike computers. This is why hackers get into so much legal trouble - it's *almost* logical, but not quite.
Actually, I saw plans for that on the net months ago... it involved old microwave ovens and aluminium gutterpipe; would have produced a focused microwave beam, not a true maser. Assuming the plans weren't just bogus...
Getting the range and power they're talking about, though, is a whole 'nother kettle of fish.
Yeah, seems to have serious problems, but it's better than nothing. The problem with getting rid of the 'deployed changes have to be published' clause is then you get into the GPL's big quagmire of 'at what point does deployment become distribution?'
Hmmm... I'd like to see a shell that provides a command-line, programmatic interface to some of the Linux desktop librarys (GNOME, KDE) in much the same way that ksh and its ilk provide the same to the basic POSIX APIs of a baseline UNIX system.
Eg, you could write a script to go searching through a gnome-vfs 'filesystem' or such...
Or am I on crack?