Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!

 


Forgot your password?
Close
typodupeerror

Comment Re:News? (Score 3, Interesting) 169

by susub23 (#22501144) Attached to: Scientists Find Believing Can Be Seeing
It may not be a breaking news story, but it's definitely interesting. I think we all have had things like this happen, and I guess I'm not surprised that it's triggered more by vague context. I've always just figured people were exaggerating when they describe stories about things that happened and someone else calls them out on it - but they probably thought they really saw what they claimed to see.
Robotics

Dutch Unveil Robot Gas Station Attendant 287

Posted by kdawson from the what-could-possibly-go-wrong dept.
Lucas123 writes "According to a Reuters' story, Dutch inventors today took the wraps off a $110,000 car-fueling robot they say is the first of its kind. (It was inspired by a cow milking robot.) After registering the car as it pulls up to the pump, the machine matches your fuel cap design with those in a database and your car's fuel type, and then a robotic arm fitted with multiple sensors extends from a regular gas pump, 'opens the car's flap, unscrews the cap, picks up the fuel nozzle and directs it towards the tank opening, much as a human arm would, and as efficiently.' Wait till Hollywood gets hold of this scenario."
Announcements

2008 Turing Award Winners Announced 66

Posted by ScuttleMonkey from the nobel-of-computing-awards dept.
The Association for Computing Machinery has announced the 2008 Turing Award Winners. Edmund M. Clarke, Allen Emerson, and Joseph Sifakis received the award for their work on an automated method for finding design errors in computer hardware and software. "Model Checking is a type of "formal verification" that analyzes the logic underlying a design, much as a mathematician uses a proof to determine that a theorem is correct. Far from hit or miss, Model Checking considers every possible state of a hardware or software design and determines if it is consistent with the designer's specifications. Clarke and Emerson originated the idea of Model Checking at Harvard in 1981. They developed a theoretical technique for determining whether an abstract model of a hardware or software design satisfies a formal specification, given as a formula in Temporal Logic, a notation for describing possible sequences of events. Moreover, when the system fails the specification, it could identify a counterexample to show the source of the problem. Numerous model checking systems have been implemented, such as Spin at Bell Labs."
Security

Mass Hack Infects Tens of Thousands of Sites 259

Posted by kdawson from the stay-safe-out-there dept.
An anonymous reader writes "Tens of thousands of Web sites have been compromised by an automated SQL injection attack, and although some have been cleaned, others continue to serve visitors a malicious script that tries to hijack their PCs using multiple exploits, security experts said this weekend. Hacked sites included both .edu and .gov domains, the SANS Institute's Internet Storm Center reported in a warning posted last Friday. The ISC also reported that several pages of security vendor CA's Web site had been infected. Roger Thompson, the chief research officer at Grisoft, pointed out that the hacked sites could be found via a simple Google search for the domain that hosts the malicious JavaScript. On Saturday, said Thompson, the number of sites that had fallen victim to the attack numbered more than 70,000. 'This was a pretty good mass hack,' said Thompson, in a post to his blog." By Sunday a second round of the same attack had infected over 90,000 servers.

Slashdot Top Deals

Any given program, when running, is obsolete.

Close