A project with people adding sites to an index? You mean like the open directory (http://dmoz.org/ or even http://www.google.com/dirhp) That's definitely the solution. I can always find exactly what I'm looking for with Open Directory, but not with Google.
Give me a break. Maybe you just need to learn how to search? Or maybe you should click the little link at the bottom of your bad search results that says "Dissatisfied? Help us improve." You won't find that at Yahoo.
SDL sounds nice, bit it misses the point. Bugs are going to happen. When are OS designers going to recognize this and provide decent protection? One of the main purposes of an OS is to protect applications from each other, but I don't really see this happening. Why should running code inside IE allow the attacker to do anything other than acess the internet or view the users cache and cookies? Why should running code in WMF be able to do anything other than drawing?
As a computer science student, I would like to know why we aren't taught this in school. My professors have told me that software verification is a nearly impossible task which is too complicated for any real system, but this article claims otherwise. Why aren't we being taught that we should be responsible for writing reliable code and how to do it? Why haven't I heard of Z or other methods for writing provable specifications? My professors can't even write a decent specifcation. And supposedly this is one of the best Computer Science programs in the US. If students aren't even taught that it is possible to write near bug free software, it's no wonder that software is so unreliable.
Slashdot Mirror
A project with people adding sites to an index? You mean like the open directory (http://dmoz.org/ or even http://www.google.com/dirhp)
That's definitely the solution. I can always find exactly what I'm looking for with Open Directory, but not with Google.
Give me a break. Maybe you just need to learn how to search? Or maybe you should click the little link at the bottom of your bad search results that says "Dissatisfied? Help us improve." You won't find that at Yahoo.
SDL sounds nice, bit it misses the point. Bugs are going to happen. When are OS designers going to recognize this and provide decent protection? One of the main purposes of an OS is to protect applications from each other, but I don't really see this happening. Why should running code inside IE allow the attacker to do anything other than acess the internet or view the users cache and cookies? Why should running code in WMF be able to do anything other than drawing?
If people don't want their code used in any situation, perhaps they should consider the Death and Repudiation License.4 /COPYING
http://search.cpan.org/src/AUTRIJUS/YAML-Syck-0.0
As a computer science student, I would like to know why we aren't taught this in school. My professors have told me that software verification is a nearly impossible task which is too complicated for any real system, but this article claims otherwise. Why aren't we being taught that we should be responsible for writing reliable code and how to do it? Why haven't I heard of Z or other methods for writing provable specifications? My professors can't even write a decent specifcation. And supposedly this is one of the best Computer Science programs in the US. If students aren't even taught that it is possible to write near bug free software, it's no wonder that software is so unreliable.