This is something that people who bang on about formal proofs conveniently forget - all it does is move the bugs from the source code to the formal specification.
Correct!
And if the spec is detailed enough to be useful it effectively becomes code anyway so you might just as well write the actual code and debug *that* instead.
Wrong!
The whole point of the spec is that it can be formally checked for bugs. You can prove that the spec no longer contains buffer overflow vulnerabilities, and be sure the code matches it. If all you're doing is hacking on code, you can't prove anything.
In Vista each application has a separate volume control. So you can mute your browser and turn up the volume on your media player.
And how does this help people using XP, or Linux or OSX?
And even if I'm using Vista, I'm often listening to the music through my browser anyway [Pandora, Rhapsody], so this still doesn't help me.
I think you'll find this is the point of putting the audio and video tags in the browser instead of some dumb-arse embedded flash or other annoying extension. Expect the next dot-revision of your browser to have a mute button for each window:)
Apparently if you perform psychology tests on world class racing car drivers and top notch fighter pilots, they show indications of psychopathic behviour. It'd be interesting to see if this was a similar but different trait, or the exact same thing which causes extreme criminal behaviour.
Is it more humane to flood those little pirate boats and let the pirates drown then just shooting them in the head?
If you give the merchant vessels guns, when the pirates do succeed, they will have more guns and it becomes a more deadly game for everyone.
If you give the merchant vessels non-leathal, not so portable repellants then you don't risk them using those weapons against you.
Yup... same here on a previous thread.
For those too lazy to click the link:
What do you want from future browsers?
Privilege separation... plain and simple. That's it.
The fact that a JPEG, WMF, TIFF, PNG, Flash, Javascript or whatever bug can take down the whole browser or exploit some bug to execute arbitrary code with your user's privilege level is a sick joke from ever browser author.
The Queensland temperature for one particular season is not indicative of a trend. It is just the weather for one place during a single season.
It isn't the only ice shelf that's broken off in the past few years. I'm simplifying a lot, but this warmign trend isn't just localized to the arctic circle.
*sigh*
So you're absolute, 100% sure that local temperatures, such as that in Queensland are *not* part of a trend, but this ice shelf is?
You have all the historic data for these places to prove it?
Once again... I believe your comment is precisely the field day the (great grand?) parent was talking about.
Privilege separation... plain and simple. That's it.
The fact that a JPEG, WMF, TIFF, PNG, Flash, Javascript or whatever bug can take down the whole browser or exploit some bug to execute arbitrary code with your user's privilege level is a sick joke from ever browser author.
In my university labs there were many people who all maintained their machines. Once a month during the evening or on a weekend, a sys admin would do a walk around with security. If they found computers that weren't asleep or with their monitors blazing with some screen saver on it, they would leave a slip of paper on the keyboard with information about power saving and where to go to find out how to configure your machine to be power friendly.
If they did find a machine which was happily asleep, they'd leave a thank-you note and some candy.
Nothing got people to fix their power strategy faster than walking in to find they'd missed out on some candy because they hadn't checked a config option.
I'm moving to the US in a few weeks from Australia to work. As an Aussie, we have a special class of "E-3" visa which is for Australia only and is currently always under-subscribed. They're also easier to get than an H1 visa.
For some reason we got this special visa class right around the time we went to war with the US. What a co-incidence.
If you're an Aussie and you want to work in the US, now's the time to try. No waiting another year until the next round of H1s when you might get rejected.
As a Darbat (L4/Darwin) developer this is sad, and will be a bit of a set-back. We were hoping to try and become involved with the OpenDarwin community. I'm really sorry to see that this really handy resource will be going.
What I want to know is why you think you need to sync your mail.
There is a whole set of RFCs with different protocols and standard interfaces, the whole idea of which is that it doesn't matter how your mail is stored. If you use IMAP instead of trying to hack around with different mail storage formats you have everything you need.
There's a reason you don't FTP your mail off a server, you know?
What a good idea. Unified access to config files. All the files in the same standard locaations accross distributions. Why don't you just get windows and regedit?
I totally agree with you. I don't see how people can sit around and complain about being 'tracked' (not that I've seen anyone who does) and at the same time want all the free services that many web places supply.
If I frequent an online shop I want them to know I'm back so they can show me the things I care about and none of the crap.
Slashdot Mirror
Correct!
Wrong! The whole point of the spec is that it can be formally checked for bugs. You can prove that the spec no longer contains buffer overflow vulnerabilities, and be sure the code matches it. If all you're doing is hacking on code, you can't prove anything.
Reminds me of this funny little piece: http://www.theonion.com/content/news/myspace_outage_leaves_millions
s/myspace/twitter/g
I think you'll find this is the point of putting the audio and video tags in the browser instead of some dumb-arse embedded flash or other annoying extension. Expect the next dot-revision of your browser to have a mute button for each window :)
Ditto that for various elite individuals!
Apparently if you perform psychology tests on world class racing car drivers and top notch fighter pilots, they show indications of psychopathic behviour. It'd be interesting to see if this was a similar but different trait, or the exact same thing which causes extreme criminal behaviour.
That quote in the story is way out of context. Ulrich's words were:
Any change will negatively impact well designed architectures for the sole benefit of this embedded crap.
As the maintainer of GLIBC, he has to be the steward for the greater good of all users. And sometimes that means pissing off a vocal constituency.
Anyone claiming that x86 is a "well designed architecture" and, by comparison, ARM is "crap", is clearly wrong.
Is it more humane to flood those little pirate boats and let the pirates drown then just shooting them in the head?
If you give the merchant vessels guns, when the pirates do succeed, they will have more guns and it becomes a more deadly game for everyone. If you give the merchant vessels non-leathal, not so portable repellants then you don't risk them using those weapons against you.
That's far more about the design of minix than the general principle.
Have a look at the L4 microkernel:
http://en.wikipedia.org/wiki/L4_microkernel_family
Qualcomm uses L4 in their mobile phones. If you want a platform with little to no headroom for performance overheads, look no further.
The Queensland temperature for one particular season is not indicative of a trend. It is just the weather for one place during a single season.
It isn't the only ice shelf that's broken off in the past few years. I'm simplifying a lot, but this warmign trend isn't just localized to the arctic circle.
*sigh* So you're absolute, 100% sure that local temperatures, such as that in Queensland are *not* part of a trend, but this ice shelf is? You have all the historic data for these places to prove it? Once again... I believe your comment is precisely the field day the (great grand?) parent was talking about.
Could you possibly explain how the weather in Queensland is more of a single point of "evidence" than an ice shelf breaking off?
Both are arbitrary anecdotes, which I believe was the parent's original point.
Privilege separation... plain and simple. That's it.
The fact that a JPEG, WMF, TIFF, PNG, Flash, Javascript or whatever bug can take down the whole browser or exploit some bug to execute arbitrary code with your user's privilege level is a sick joke from ever browser author.
Could it be that the chipset includes the GPU and a bunch of other devices on it?
Just because it can consume more power doesn't mean it's wasting it.
In my university labs there were many people who all maintained their machines. Once a month during the evening or on a weekend, a sys admin would do a walk around with security. If they found computers that weren't asleep or with their monitors blazing with some screen saver on it, they would leave a slip of paper on the keyboard with information about power saving and where to go to find out how to configure your machine to be power friendly.
If they did find a machine which was happily asleep, they'd leave a thank-you note and some candy.
Nothing got people to fix their power strategy faster than walking in to find they'd missed out on some candy because they hadn't checked a config option.
It seems trivial, but it seemed to work.
I'm moving to the US in a few weeks from Australia to work. As an Aussie, we have a special class of "E-3" visa which is for Australia only and is currently always under-subscribed. They're also easier to get than an H1 visa.
For some reason we got this special visa class right around the time we went to war with the US. What a co-incidence.
If you're an Aussie and you want to work in the US, now's the time to try. No waiting another year until the next round of H1s when you might get rejected.
As a Darbat (L4/Darwin) developer this is sad, and will be a bit of a set-back. We were hoping to try and become involved with the OpenDarwin community. I'm really sorry to see that this really handy resource will be going.
Thanks!
Don't forget Carl, though!
Chuck
It's the programmers that Microsoft rejects that will make OSS the best.
I didn't know Janet Jackson was on the space station!
... this may not be such a good idea - what happens when a plane hits it??
What I want to know is why you think you need to sync your mail.
There is a whole set of RFCs with different protocols and standard interfaces, the whole idea of which is that it doesn't matter how your mail is stored. If you use IMAP instead of trying to hack around with different mail storage formats you have everything you need.
There's a reason you don't FTP your mail off a server, you know?
Hey, it's 20 minutes 'till Christmas day downunder!
What a good idea. Unified access to config files. All the files in the same standard locaations accross distributions. Why don't you just get windows and regedit?
It was your idea.
Damn straight!
Anyway, LANs are so 2 years ago. VPNs are the way to go nowdays.
Balial
I totally agree with you. I don't see how people can sit around and complain about being 'tracked' (not that I've seen anyone who does) and at the same time want all the free services that many web places supply.
If I frequent an online shop I want them to know I'm back so they can show me the things I care about and none of the crap.
You don't need to pay $$$ to read MS word documents, you can download a free reader for most of the MS Office formats from microsoft.