DailyDirt: Help Me, Software, You're Our Only Hope...

from the urls-we-dig-up dept

Everyone relies on software nowadays -- sometimes without even realizing it. But when an entire airline shuts down due to a computer outage, our dependence on technology becomes obvious. (And Skynet is simply reminding us who is really in charge.) Here are a few links on software projects that humans might want to keep an eye on. By the way, StumbleUpon can recommend some good Techdirt articles, too.
Hide this

Thank you for reading this Techdirt post. With so many things competing for everyone’s attention these days, we really appreciate you giving us your time. We work hard every day to put quality content out there for our community.

Techdirt is one of the few remaining truly independent media outlets. We do not have a giant corporation behind us, and we rely heavily on our community to support us, in an age when advertisers are increasingly uninterested in sponsoring small, independent sites — especially a site like ours that is unwilling to pull punches in its reporting and analysis.

While other websites have resorted to paywalls, registration requirements, and increasingly annoying/intrusive advertising, we have always kept Techdirt open and available to anyone. But in order to continue doing so, we need your support. We offer a variety of ways for our readers to support us, from direct donations to special subscriptions and cool merchandise — and every little bit helps. Thank you.

–The Techdirt Team

Filed Under: chess, david brin, rybka, skynet, software
Companies: international computer games association


Reader Comments

Subscribe: RSS

View by: Time | Thread


  1. icon
    Michael Ho (profile), 1 Jul 2011 @ 9:14am

    Re: My problem with proof of correctness...

    Presumably, this crash-proof software tries to test various inputs that might cause invalid output...? So it's not just a "theoretical test" but automated testing.

Add Your Comment

Have a Techdirt Account? Sign in now. Want one? Register here



Subscribe to the Techdirt Daily newsletter




Comment Options:

  • Use markdown. Use plain text.
  • Make this the First Word or Last Word. No thanks. (get credits or sign in to see balance)    
  • Remember name/email/url (set a cookie)

Follow Techdirt
Essential Reading
Techdirt Deals
Report this ad  |  Hide Techdirt ads
Techdirt Insider Discord

Introducing the new Techdirt Insider Chat, now hosted on Discord. If you are an Insider with a membership that includes the chat feature and have not yet been invited to join us on Discord, please reach out here.

Loading...
Recent Stories

This site, like most other sites on the web, uses cookies. For more information, see our privacy policy. Got it
Close

Email This

This feature is only available to registered users. Register or sign in to use it.