Obama File Founder Targeted for Virus Attacks

Linux is only free if your time has no value. [Jamie Zawinski]

That's so much crap it's not even funny anymore. As you can see from several above posts, Microsoft charges for their crap OS and then you have spend time and money to keep from getting drowned in viruses and trojans.

I'd agree with you that just about any version of VMS can be a robust and secure system. Not nearly enough userland software for it that I'm aware of though.

That's so much crap it's not even funny anymore. As you can see from several above posts, Microsoft charges for their crap OS and then you have spend time and money to keep from getting drowned in viruses and trojans.

As I've said upthread — what we really want is a formally verified OS. There are technical reasons why any Unix/Linux verification would be prohibitive, mostly due to the time/effort of verifying C-style languages combined with the complexity of an OS — formal verification isn't something you can just bolt on, so most extant OSes can't realistically be verified simply due to the complexity constraint alone. (There are several languages that would actually help in such an effort to verify an OS: LISP, Eiffel, and Ada spring immediately to mind.)*

I'd agree with you that just about any version of VMS can be a robust and secure system. Not nearly enough userland software for it that I'm aware of though.

That's the biggest downside to VMS that I know if — much like Ada it tends to have fallen into its own niche, in Ada's case it could be a blessing because it already has a reputation for reliable and safety-critical programming… and that seems to be a trend that is/will-be as security is compromised by forces foreign and domestic, official and non. — the only reason I don't have a VMS box is because I don't have the monies for it. (But if I had a web-based business I'd definitely find the monies to move to VMS and Ada.)

* —

Ada for the obvious reason that it was designed to produce reliable/predictable software; the new Ada 2012 standard adds a lot of Design-by-Contract features that can aid in proving software and formal verification.
Eiffel is the only language, besides Ada, that I know of that has maintainability as a design-goal. Given its gearing toward interfaces/contracts, it would make for an easier time of proving.
LISP (and many derived functional-languages) allow a form of declarative programming — which puts it closer style-wise to mathematics… which we have a lot of tools for formal verification.

Love your site BTW. Modern pamphleteering is an interesting avocation , I am sure.

Satire is a traditional weapon against tyranny, and you weild it well.May Obema and all his running dogs be a wake up to everyone!

I bet your ISP earns its fee with your site! I hope it stays the course.Beckwith has been attacked for years, and they finally got through.

Disclaimer: Opinions posted on Free Republic are those of the individual posters and do not necessarily represent the opinion of Free Republic or its management. All materials posted herein are protected by copyright law and the exemption for fair use of copyrighted works.