Admittedly, problems were more prevalent prior to the USPS going to an all-automated system and implementing its most visible feature, the ZIP+4, in the late 1980s.
You're conflating two different concepts. Common Criteria Evaluation Assurance Level focuses on security while this test focuses on complete mathematical provability IOW, can it be mathematically proven that the kernel meets all of its specifications and that the compiled kernel is exactly what was specified in the source code? CC EAL focuses only on security aspects.
Furthermore, a system that was specified as being completely secure[1] would, in theory, be equivalent to a EAL 7, not merely "6+".
[1] I mean this only in a hypothetical sense since I don't believe it is even possible to specify a system that is completely impenetrable, let alone implement one. But then, that's because I subscribe to the theory of information security that says a completely secure system is impossible, therefore we must use multiple compensating ocntrols that get us to a 'virtually impenetrable' state, tuned to prevent the most likely types of attacks (cheap) vs. the possibility of someone building a multi-billion dollar super cluster to break the security.
But certainly putStrLn returns something, yes? We are talking about a functional language, yes?
I don't know Haskell (obviously), so "True" is just a stand-in for whatever the function would return if successful. If that's IO or whatever, okay then.
Yeah, and in a 10% unemployment country, you've suddenly got 10% of the population turning to crime to survive (I really do believe that some tax haters really believe that these people will just roll over and die if they have no money to live, instead of crime, then riots and murders). Social security is also a bribe to keep these people from every having to be in such a desperate situation that they resort to crime to survive.
Because the private sector couldn't possibly produce a more efficient solution than the government? The governmnet can't even be relied on to deliver the frickin' mail.
Solution: eliminate FICA for the domestic students. Better yet, eliminate FICA and Social Security altogether as taxes are nothing but a burden on a very weak economy.
You mean the states that will be supplying cubic boatloads of megawatts from the thousands of wind towers going in? I don't think electricity supply will be an issue. And they have huge coal reserves and plants, and probably the largest remaining deep oil pools in north america in the bakkens. big energy gold rush area. also, much colder there, meaning cooling the data centers will be much less costly. Near to any of the larger cities, you can get fiber. And workers, in this economy this should not be any problem. If you can't find workers skilled enough, you just ain't looking, or all you are looking at are prima donnas who demand thrice what they are worth. Let them rot in the cafes of the trendy cities. You'll get hard working visionaries who can recognize where the next boom areas are.
Ah! Someone with a brain! Yes, that's what I had in mind when I mentioned the cost of power and bandwidth, but obviously I should hsve said so, because from replies I got other than yours, it's clear that most people simply haven't been paying attention.
Yes, there is plenty of talent out West and I'd bet some of it is even willing to work for cheap since work isn't that plentiful out there (yet). Don't make the mistake of thinking that living near the East Coast or the West Coast is prerequisite for learning IT skills. There are plenty of colleges and universities, and there is TONS of information online that's available for free, much of it very good.
As opposed to programming languages that aren't logic-based? What separates Haskell, Ocaml, Lisp, Scheme, etc. from others is that they are functional programming languages, as opposed to imperative-based languages like C.
Hell, I live near Tampa, Florida. I'm here to tell you that half of the homes in this area are empty. Everyone's leaving the state. You can probably pick up foreclosed properties for next to nothing.
Good idea. Or what about Utah? Or Wyoming? Has anyone here been these places or to Nevada? Western Nebraska? These states are mostly empty. Running power and fiber is plenty cheap enough when you consider the cost of land in these desolate, barren areas can be had for a pittance.
Well, I never I said I agreed with the patent trolls i4i. A patent on anything that touches a custom XML word processing file is just completely borked.
Office uses XML in a very specific wayâ"to structure the non-viewable contents of Word, PowerPoint, and Excel files. It has developed a set of tags and a data schema that defines the Office 2000 document set, much as you or I might create a set of tags and data schema for our "Flying Widget documentation set" or our inventory of tropical fish.
Not to discount your list, but space taxis will provide indirect benefits exactly how? There's just no new technology to be gained from shipping people into orbit and bringing them back; where we need to be pushing frontiers is in the colonization of space and on planets and other potentially-inhabitable bodies, such as moons.
I don't know where you are that a bank account number is sufficient information to withdraw money from a random account.
The United States. And it's technically not, but since banks here are not very vigilant about these things, but with the account number, bank routing number and a check number, it's possible for fraudsters to do so.
But, here at least, if someone has your bank account number they can wreck havoc on your life, everything from identity theft to fraudulently withdrawing money from your account. How do they prevent that?
I don't think Shados is bullshitting about not using checks for the last 20 years. I have a landlord that insists on doing things old school, but other than that? I think I wrote a check maybe once or twice while I was waiting for my new debit card to be issued after my old one got lost, but that's about it. Everything else is done by debit or credit card, automatic transfers, etc.
OTOH, I do get checks on occasion, for instance, from mail-in rebates, or when my electric utility issued a refund of my initial deposit in the form of a check. I figure there's gotta be something like that still going on in Europe.
Slashdot Mirror
Admittedly, problems were more prevalent prior to the USPS going to an all-automated system and implementing its most visible feature, the ZIP+4, in the late 1980s.
But I guess you youngin's don't remember.
My Guitar Gently Weeps...
Except, well, George Harrison played a Fender Telecaster.
Or Zakk Wylde, who only plays Les Pauls. Don't forget Eric Clapton, arguably one of the greatest guitarists ever to hail from Great Brtiain.
You're conflating two different concepts. Common Criteria Evaluation Assurance Level focuses on security while this test focuses on complete mathematical provability IOW, can it be mathematically proven that the kernel meets all of its specifications and that the compiled kernel is exactly what was specified in the source code? CC EAL focuses only on security aspects.
Furthermore, a system that was specified as being completely secure[1] would, in theory, be equivalent to a EAL 7, not merely "6+".
[1] I mean this only in a hypothetical sense since I don't believe it is even possible to specify a system that is completely impenetrable, let alone implement one. But then, that's because I subscribe to the theory of information security that says a completely secure system is impossible, therefore we must use multiple compensating ocntrols that get us to a 'virtually impenetrable' state, tuned to prevent the most likely types of attacks (cheap) vs. the possibility of someone building a multi-billion dollar super cluster to break the security.
And, apparently, I can't even be relied on to spell 'government'.
But certainly putStrLn returns something, yes? We are talking about a functional language, yes?
I don't know Haskell (obviously), so "True" is just a stand-in for whatever the function would return if successful. If that's IO or whatever, okay then.
Yeah, and in a 10% unemployment country, you've suddenly got 10% of the population turning to crime to survive (I really do believe that some tax haters really believe that these people will just roll over and die if they have no money to live, instead of crime, then riots and murders). Social security is also a bribe to keep these people from every having to be in such a desperate situation that they resort to crime to survive.
Because the private sector couldn't possibly produce a more efficient solution than the government? The governmnet can't even be relied on to deliver the frickin' mail.
main = True (provided that the putStrLn is successful)
Solution: eliminate FICA for the domestic students. Better yet, eliminate FICA and Social Security altogether as taxes are nothing but a burden on a very weak economy.
Ah! Someone with a brain! Yes, that's what I had in mind when I mentioned the cost of power and bandwidth, but obviously I should hsve said so, because from replies I got other than yours, it's clear that most people simply haven't been paying attention.
Yes, there is plenty of talent out West and I'd bet some of it is even willing to work for cheap since work isn't that plentiful out there (yet). Don't make the mistake of thinking that living near the East Coast or the West Coast is prerequisite for learning IT skills. There are plenty of colleges and universities, and there is TONS of information online that's available for free, much of it very good.
Hollywood used to sell unencrypted DVDs, back when they were new and some players didn't yet have CSS (think Apex).
As opposed to programming languages that aren't logic-based? What separates Haskell, Ocaml, Lisp, Scheme, etc. from others is that they are functional programming languages, as opposed to imperative-based languages like C.
Both use logic, just in different ways.
Hell, I live near Tampa, Florida. I'm here to tell you that half of the homes in this area are empty. Everyone's leaving the state. You can probably pick up foreclosed properties for next to nothing.
Good idea. Or what about Utah? Or Wyoming? Has anyone here been these places or to Nevada? Western Nebraska? These states are mostly empty. Running power and fiber is plenty cheap enough when you consider the cost of land in these desolate, barren areas can be had for a pittance.
No. Handbrake will use libdvdcss, if it is available, on any platform but Windows. VLC is mentioned because libdvdcss comes with VLC 0.9x.
IOW, while Handbrake itself doesn't violate the DMCA, it can be used to violate the DMCA by adding a library that actively violates the DMCA.
Also, for GP: DMCA is most certainly not US only. Other countries have laws similar to the DMCA on the books.
Well, I never I said I agreed with the patent trolls i4i. A patent on anything that touches a custom XML word processing file is just completely borked.
Suuuuunnnnnnn!!!!!.
Maybe not. Office 2000 Word files use XML:
Whether or not that's within scope is unclear.
Not to discount your list, but space taxis will provide indirect benefits exactly how? There's just no new technology to be gained from shipping people into orbit and bringing them back; where we need to be pushing frontiers is in the colonization of space and on planets and other potentially-inhabitable bodies, such as moons.
I don't see space taxis accomplishing that.
I don't know where you are that a bank account number is sufficient information to withdraw money from a random account.
The United States. And it's technically not, but since banks here are not very vigilant about these things, but with the account number, bank routing number and a check number, it's possible for fraudsters to do so.
That won't happen until we have Windows RE. (Yep, Robot Edition!)
That's no moon!
But, here at least, if someone has your bank account number they can wreck havoc on your life, everything from identity theft to fraudulently withdrawing money from your account. How do they prevent that?
Positive review:
@twitlolcat: LOL! THEY CAN HAZ 4 CHZBURGS!!!
Negative review:
@joelsiegcat: DO NOT WANT!!! K THX BYE!
I don't think Shados is bullshitting about not using checks for the last 20 years. I have a landlord that insists on doing things old school, but other than that? I think I wrote a check maybe once or twice while I was waiting for my new debit card to be issued after my old one got lost, but that's about it. Everything else is done by debit or credit card, automatic transfers, etc.
OTOH, I do get checks on occasion, for instance, from mail-in rebates, or when my electric utility issued a refund of my initial deposit in the form of a check. I figure there's gotta be something like that still going on in Europe.