HadNews.com

A robot is chatting to an elderly British man in his bedroom. The robot has a cheery demeanour and a pleasantly high-pitched voice. The robot – perhaps because of the man’s age – starts asking him about his memories of the second world war: “Please tell me what was the most difficult thing you and your family had to go through?” The elderly man goes on to talk about how his father was in the Royal Air Force and they didn’t see him for almost four years. But why was a robot bluntly asking him about what may have been one of the most traumatic experiences he’s ever had? The robot’s behaviour was the product of the Caresses project (Cult...... Read Full article on HadNews

Not all software is perfect—many apps, programs, and websites are released despite bugs. But the software behind critical systems like cryptographic protocols, medical devices, and space shuttles must be error-free, and ensuring the absence of bugs requires going beyond code reviews and testing. It requires formal verification.Formal verification involves writing a mathematical proof of your code and is “one of the hardest but also most powerful ways of making sure your code is correct,” says Yuriy Brun, a professorat the University of Massachusetts Amherst.To make formal verification easier, Brun and his colleagues devised a new AI-powered ...... Read Full article on HadNews