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

 


Forgot your password?
Close
typodupeerror
×

Submission + - Hacker-Proof Code Confirmed (quantamagazine.org)

Submitted by CaptainStumpy
CaptainStumpy writes: Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. The advances are being used to secure everything from unmanned drones to the internet.

The aspiration to create formally verified software has existed nearly as long as the field of computer science. For a long time it seemed hopelessly out of reach, but advances over the past decade in so-called “formal methods” have inched the approach closer to mainstream practice. Today formal software verification is being explored in well-funded academic collaborations, the U.S. military and technology companies such as Microsoft and Amazon.

Comment Re:option for surrender (Score 2) 983

After killing an officer, the waiting for surrender bullshit goes straight out the window.

If you kill, you should expect to be killed, end of story.

No, thats wrong. American police aren't to kill unless they out of options (which is what started this mess in the first place..) Were they strategically out of options at that point? There are lots of details still missing from the public eye. Why didn't they try knocking him on his ass with a stun grenade taped to the bot? Maybe send in a few of these and knocking him on his ass and waiting until he was out of ammunition or physically unable to attack? Lots of questions remain on why he was killed this way.

Submission + - Tesla driver using autopilot killed in crash (washingtonpost.com)

Submitted by McGruber
McGruber writes: The Washington Post is reporting (https://www.washingtonpost.com/news/the-switch/wp/2016/06/30/tesla-owner-killed-in-fatal-crash-while-car-was-on-autopilot) that Joshua David Brown, 40, of Canton, Ohio was was killed in a May 7 collision in Florida with a tractor trailer while the Tesla was in "Autopilot" mode. "Neither Autopilot nor the driver noticed the white side of the tractor trailer against a brightly lit sky, so the brake was not applied," Tesla said in a blog post entitled "A Tragic Loss (https://www.teslamotors.com/blog/tragic-loss).

Michelle Krebbs, a senior analyst at Kelley Blue Book, called for a recall of cars with Autopilot. And Karl Brauer, another senior analyst at KBB, added: “I’d like to say I didn’t see this coming, but it was inevitable based on the documented abuses of driver-assist technology we’ve been seeing on sites like YouTube.”

“This will be a big hit to Tesla’s reputation because the automaker has been seen as a leader in both passenger safety and advanced technology,” Brauer added.

Comment Re:I saw a TEDTalk about this . . . (Score 1) 142

<quote>. . . where the speaker compared the two approaches like this:

Gradually trying to move towards driverless cars instead of working directly on that goal is like thinking that by practicing jumping and getting better and better a jumping that you'll eventually be able to fly.</quote>

Which isn't incorrect with incremental development.
If I'm able to increase my jumping height, eventually I'll be high enough to enter orbit, and I'm easily able to fly.

Comment one checkbox (Score 1) 698

Maybe its not what you pass but what you don't pass to her:
Clear browser history on exit

Seriously though, you can't parent when you are dead, and you are dead soon. Don't worry about what she will be doing with her life. Don't focus on later events. She won't care about you on her 50th birthday. You will be a short story and several photos to her husband. She will get wisdom from the living, I assume most from your wife. Tell her stories and show examples of how things were in your life, and do it NOW, so 8 years from your last day on earth she will be happy that something about you can still be remembered, without the need of computers or whatever tech we will be using...and after that, use your spiffy technology to record a few skydiving trips of you and her, or the entire family doing whatever. She won't care what, as long as it was exciting and fun and with dad in the picture.

Slashdot Top Deals

And it should be the law: If you use the word `paradigm' without knowing what the dictionary says it means, you go to jail. No exceptions. -- David Jones

Close