Beefy Boxes and Bandwidth Generously Provided by pair Networks
No such thing as a small change

Re: Re: Re: How Safe is Safe::?

by Lexicon (Chaplain)
on Feb 14, 2001 at 06:05 UTC ( #58283=note: print w/replies, xml ) Need Help??

in reply to Re: Re: How Safe is Safe::?
in thread How Safe is Safe::?

That depends on who you're buying from/what your purpose is...

Think Hospitals / Military / Govornment

Languages like Haskell exist specifically so they can be proved correct. While Haskell, for instance, is a real pain to program in (from my short experience in class), you can take your time: we need to know that there really isn't someone taking off on that runway that the plane is about to land on. ;)


Replies are listed 'Best First'.
Ria: How Safe is Safe::?
by baku (Scribe) on Feb 14, 2001 at 20:11 UTC

    The US Air Force, at least, requires no warranty of any software except firmware (e.g. for an airplane). Software crashes are not just commonplace, they are everyday, and "security" is almost entirely a joke. Other branches of the military do seem to have more cards in their decks, however.

    This attitude makes me very nervous about airplanes landing on Air Force bases. Thankfully, NASA has quality testing and breathes down the Air Force's backs when dealing with the space program...

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://58283]
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others examining the Monastery: (6)
As of 2021-01-24 22:43 GMT
Find Nodes?
    Voting Booth?