compaq.com · Domains · Slashdot Mirror

Re:No place to experience/learn by LumpyCartman · 2003-05-21 06:23 · Score: 1 · on Mainframe Techies Are A Dying Breed

HP has this site where you can test out different OSs on different hardware platforms

Neanderthals and Humans by bstadil · 2003-05-20 07:28 · Score: 2, Informative · on Chimps Belong in Human Genus?

A little of topic but a few days ago the result of Italian research project was published. The result of DNA comparisons between Neanderthals and Humans found that most likely no interbreeding have occured.

Yeah, costs more, and an old version of RH by Anonymous Coward · 2003-05-06 04:38 · Score: 0 · on Microsoft's Athens PC

Try to buy a workstation with Linux and it costs $70 US more than Windows and it is RH 7.3, you know, the version where support ends in December.
http://www.smb.compaq.com/dstore/ctoBases.asp?Prod uctLineId=433&FamilyId=1413

Re:Hmmm by evilviper · 2003-04-28 16:46 · Score: 1 · on AMD: No Grease For You!

Despite the fact that DEC/Compaq/HP have claimed that they are dying for the past decade, Alpha processors still kick the ass of everything else. The #2 & #3 fastest supercomputers in the world are Alpha systems.

Competition for DEC^H^H^HComp^H^HHP by Anonymous Coward · 2003-04-07 07:58 · Score: 0 · on Red Hat Linux 9 Release And Interview

The acro-name CMS already refers to the Code Management System subproduct of DECset. The Content Management System offered by Redhat sounds superficially similar in functionality hence if HP wants to pursue a trademark infringement against RedHat they might have a case.

Re:Software Verification Is hard.. by Animats · 2003-03-24 07:10 · Score: 2, Interesting · on Microsoft To Teach Undergrads About Secure Computing

I once headed a team to build a proof-of-correctness system for a dialect of Pascal. (The writeup is in POPL '83). It's quite possible to do this, but it is hard. Without mechanical assistance, it won't work at all; it's far too much work and you get false proofs from hand proving.

This technology isn't used much in software any more. Why? Programming languages are worse. The semantics of Pascal are well-defined. C and C++, with casts, unions, void, and such, are hard to formalize. The strict languages (Pascal, Modula, Ada) are moribund, if not dead. Hardware designers, though, use formal methods on VHDL routinely.

It would be useful to look at proof of correctness technology again today. When I was doing it, I used to need 45 minutes of VAX 11/780 time to verify a 1000-line program. That would translate into about 20 seconds on a modern machine. (That's from a cold start; you cache results, and reruns are far cheaper.)

Negative proofs (program doesn't subscript out of range, pass data to a lower security level, go into an infinite loop) are relatively straightforward. Proving that a program does something specific is hard, because specifying the goal is hard. But proving that a program doesn't do something is far more straightforward.

I used to demo our system by letting people put a bug into a working program and then running the verifier to find it. Worked fine. This can be done.

One of the few modern system in this area is the COMPAQ Extended Static Checker for Java. It was one of the last projects of the old DEC Systems Research Lab, before HP closed it down. Download it before Carly Fiona makes it go away.

Re:Yet another reason... by IIRCAFAIKIANAL · 2003-03-14 17:28 · Score: 1 · on Problems in Computer Conservation

Wood computer? You mean an abacus? What do you program those in?

Cedar, I suppose...

Re:TCP/IP by clevelandguru · 2003-03-07 10:48 · Score: 2, Informative · on Technologies that Have Exceeded Their Expectations?

Its not just a reference model... There are implementation of OSI stack for use in communication. Telecom Applications use them a lot. Just a result form Google. Compaq OSI

Re:Oh god no... by Anonymous Coward · 2003-02-12 15:58 · Score: 1, Funny · on Mozilla, Gecko, Netscape, And Their Future At AOL

You'll still know they are clueless if they complain that they need to upgrade their keyboard to include an any key.

Compaq FAQ: Where do I find the "Any" key on my keyboard? (FAQ2859)

Re:X overload by PunchMonkey · 2003-02-10 05:56 · Score: 1 · on Apple Updates Xserve, Announces Xserve RAID

I agree the letter X is overutilized, but Apple could have done much worse. For example, they could have called it the "iRaq".

Ssssh!!! Compaq might here you!!!

Re:Modern VMS applications? by hendridm · 2003-02-01 16:23 · Score: 1 · on First OpenVMS Boot On IA64

> What new stuff runs on VMS these days?

Mozilla, Java, Oracle, Perl, BEA WebLogic and an Apache variant. Ok, maybe not all new, but have modern applications.