Catch up on stories from the past week (and beyond) at the Slashdot story archive


Forgot your password?
Check out the new SourceForge HTML5 internet speed test! No Flash necessary and runs on all devices. ×

Submission + - Hacker-Proof Code Confirmed (

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 (

McGruber writes: The Washington Post is reporting ( 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 (

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.

Comment sounds like a pinky and the brain episode (Score 1) 47

.. No Pinky. We enter the contest, and design our pirate airship to control all other contestant's airships. After successfully maneuvering all of them into the path of the sun, thereby blocking out all sunlight, we hold the world hostage until the everyone recognizes me as their unquestioned leader! Yes!

Submission + - Court Order: Butterfly Labs Bitcoins to be sold. (

MrBingoBoingo writes: In a new development in the Case against Butterfly Labs, the Court overseeing the case has ordered bitcoins held by Butterfly Labs to be turned over to the Court appointed temporary receiver. The order also gives the receiver authorization to convert the bitcoins "to cash on a systematic and reasoned basis." The justification for this measure is at least to ostensibly create reserves with which refunds for Butterfly Labs customers may be paid from.

Slashdot Top Deals

You are always doing something marginal when the boss drops by your desk.