As a foreigner living in the US, I'm curious as to whether these internet taxes are the similar or different to interstate mail order. That's been going on a lot longer. Can I make an Amazon competitor using snail-mail?
Yup, I also use Crumpler. They're very handy for travel and well padded. I don't know if they're still made waterproof, but mine survived 10hrs in the rain without any moisture on the inside..
Nah, it's great! You carve the country up 50 ways, introduce 50 more governments to manage the states and then you bitch and moan about taxes and how much you spend on government. For added expense, throw in heavy-weight county and municipal administrations, too.
The first Symbian product shipped under than name in 2001 (according to wikipedia). Blackberry shipped in 2002 (also wikipedia) and was destroying it ever since. Every single Symbian phone was garbage to use. Android and iPhone have only helped push it down further towards its rightful place.
Does the same thing with no browser extension. You just drop it into your shortcuts on the title bar and it cleans up many webpages. Not perfect, but so much easier than blinking flash crap.
If people want you to not block their ads, make the site readable with the ads on it.
... just throw out some printers. You'll save electricity and paper bills, too. If your staff are printing that many pages, you've got something wrong.
Does this mean Microsoft is going to have to support and test malware and remain bug-for-bug compatible to avoid bad press in future? That'd be awesome... "we can't accept this fix, it's not compatible with the great zombie bot of '10".
... or does Murdoch think books are just thicker newspapers?
This is exactly what he's been saying about (his) papers. However, I don't think it holds for books. People do actually like books and collecting them on bookshelves. They're unlike newspapers in many important ways.
I see that as a side effect of those languages being too hard for the average programmer. And, let's face it, the average programmer is still average.
The more burden you take off the programmer to address their specific issue and not have to deal with crap like, say, date formats, then the higher quality the average program becomes.
This guy seems a little *too* optimistic about his solution. It's a great solution, and if you want to see a good example of its use, check out the K42 operating system. It solves a bunch of the performance problems a naive implementation as the article describes would have.
However, it's not a free lunch. Runtime marshalling and switching between interfaces? Does the author have any idea how hard that is? One tiny mistake and your entire database is full of junk data because you forgot that bit-X means Y, or your regex P had a typo. if you're going to adopt this "Continuous Change" model, you need to do an awful lot of validation testing on all the possible inputs from all the different API versions, and make absolutely sure you get the internal state you intended. Another way to say this, a hidden feature of the discrete approach is that you know the state of your system at all points in time. You're not running a franken-process.
BTW, I'm not trying to dump on the idea, I reckon it's cool, just the article doesn't really represent it accurately.
I've used power plugs in a bunch of different countries. Most have their advantages and disadvantages. US is small, Australia it's clear which direction you plug it in, Europe has some good safety features... but the british plug has nothing going for it. It's big and ugly, and when you put two on the wall next to each other, you can't work out which way is up. The authors are retarded.
So they're going to decide, therefore, that the thing to do is hide the information and ban research into it. You know, instead of actually making the systems secure.
It's a lot easier to get the kernel right when it only has twelve entry points...
That's an incredibly good summary of why microkernels such as L4 are good for security. Keep the pieces small and manageable, and you can even formally prove that your components are correct.
Don't be fooled into thinking this makes it a useless toy, however.
I think you're missing the specifics of Haskell. Unlike Python, Perl, or whatever other commodity language, Haskell is designed with a well defined set of mathematical semantics. You're correct that proving a piece of Python code is the same as a pieces of Perl code is useless. But, if I prove Python, C or Perl is the same as (the researchers' subset of) Haskell, I can use this to mathematically reason about properties of the system. Haskell allows you more than just a translation. It means there are things you can know and prove with 100% certainty. Using your example, if you prove a bug does not exist in the Haskell version (which you can), then you've proven it for the other language.
Slashdot Mirror
As a foreigner living in the US, I'm curious as to whether these internet taxes are the similar or different to interstate mail order. That's been going on a lot longer. Can I make an Amazon competitor using snail-mail?
Yup, I also use Crumpler. They're very handy for travel and well padded. I don't know if they're still made waterproof, but mine survived 10hrs in the rain without any moisture on the inside..
Can that open source OS do anything his blackberry OS can't?
This sounds like an excellent open source hobby kit, but a practical device it does not appear to be.
Nah, it's great! You carve the country up 50 ways, introduce 50 more governments to manage the states and then you bitch and moan about taxes and how much you spend on government. For added expense, throw in heavy-weight county and municipal administrations, too.
We've been calling web services "web applications" for years. Why is it wrong to abbreviate them to "web apps" or just "apps"?
This.
The first Symbian product shipped under than name in 2001 (according to wikipedia). Blackberry shipped in 2002 (also wikipedia) and was destroying it ever since. Every single Symbian phone was garbage to use. Android and iPhone have only helped push it down further towards its rightful place.
I've been using this site for much longer than Safari has had this feature:
http://lab.arc90.com/experiments/readability/
Does the same thing with no browser extension. You just drop it into your shortcuts on the title bar and it cleans up many webpages. Not perfect, but so much easier than blinking flash crap.
If people want you to not block their ads, make the site readable with the ads on it.
Wow, if a nine-year-old can hack into your servers and start changing stuff, you really ned to wonder about your security setup.
Sounds like Bishop from Aliens :)
... just throw out some printers. You'll save electricity and paper bills, too. If your staff are printing that many pages, you've got something wrong.
That's right! "I see your statistical analysis of 130 different studies and raise you baseless conjecture".
I'm convinced.
(This'll probably get modded as a troll, but it's no more so than the parent)
Does this mean Microsoft is going to have to support and test malware and remain bug-for-bug compatible to avoid bad press in future? That'd be awesome... "we can't accept this fix, it's not compatible with the great zombie bot of '10".
... or does Murdoch think books are just thicker newspapers?
This is exactly what he's been saying about (his) papers. However, I don't think it holds for books. People do actually like books and collecting them on bookshelves. They're unlike newspapers in many important ways.
"Defects"
Does the code someone produces work? And actually meet the spec? Or is it always broken and doesn't actually do what it was designed for?
I see that as a side effect of those languages being too hard for the average programmer. And, let's face it, the average programmer is still average.
The more burden you take off the programmer to address their specific issue and not have to deal with crap like, say, date formats, then the higher quality the average program becomes.
Aging Nuclear Stockpile Good For Decades To Come
Well, that's a relief for me! I was getting worried!
This guy seems a little *too* optimistic about his solution. It's a great solution, and if you want to see a good example of its use, check out the K42 operating system. It solves a bunch of the performance problems a naive implementation as the article describes would have.
However, it's not a free lunch. Runtime marshalling and switching between interfaces? Does the author have any idea how hard that is? One tiny mistake and your entire database is full of junk data because you forgot that bit-X means Y, or your regex P had a typo. if you're going to adopt this "Continuous Change" model, you need to do an awful lot of validation testing on all the possible inputs from all the different API versions, and make absolutely sure you get the internal state you intended. Another way to say this, a hidden feature of the discrete approach is that you know the state of your system at all points in time. You're not running a franken-process.
BTW, I'm not trying to dump on the idea, I reckon it's cool, just the article doesn't really represent it accurately.
Came here to say this. Mod parent up.
DNS provides a mechanism to request a mapping from Name -> Numerical IP. Not a lot more, nothing less.
Saying the crap they're pulling with it is "not DNS" is just a lie.
I've used power plugs in a bunch of different countries. Most have their advantages and disadvantages. US is small, Australia it's clear which direction you plug it in, Europe has some good safety features... but the british plug has nothing going for it. It's big and ugly, and when you put two on the wall next to each other, you can't work out which way is up. The authors are retarded.
So they're going to decide, therefore, that the thing to do is hide the information and ban research into it. You know, instead of actually making the systems secure.
Hooray for security for obscurity.
Wait, what? What is it you think you do with a proof?
If only there was some way to formally verify the correctness of an OS kernel! :)
That's an incredibly good summary of why microkernels such as L4 are good for security. Keep the pieces small and manageable, and you can even formally prove that your components are correct.
Don't be fooled into thinking this makes it a useless toy, however.
I think you're missing the specifics of Haskell. Unlike Python, Perl, or whatever other commodity language, Haskell is designed with a well defined set of mathematical semantics. You're correct that proving a piece of Python code is the same as a pieces of Perl code is useless. But, if I prove Python, C or Perl is the same as (the researchers' subset of) Haskell, I can use this to mathematically reason about properties of the system. Haskell allows you more than just a translation. It means there are things you can know and prove with 100% certainty. Using your example, if you prove a bug does not exist in the Haskell version (which you can), then you've proven it for the other language.