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

from the urls-we-dig-up dept

Wed, Jun 29th 2011 5:00pm — Michael Ho

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.

Wouldn't it be nice if there was software that could make sure that other software was crash-proof? Who cares who watches the watchers... [url]
David Brin has suggested that computer algorithms could make US tax code much simpler. However, Brin's proposal sounds like a software version of Utilitarianism -- with a way to exact taxes but without a calculus for fairness. [url]
The world's best chess software has been caught cheating (because its human author copied from open source chess programs). Sorry, Rybka, the International Computer Games Association (ICGA) says you can't play anymore. [url]
To discover more interesting software-related content, check out what's currently floating around the StumbleUpon universe. [url]

By the way, StumbleUpon can recommend some good Techdirt articles, too.

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

9 Comments

If you liked this post, you may also be interested in...

Reader Comments

Subscribe: RSS

View by: Time | Thread

Rekrul, 29 Jun 2011 @ 7:07pm

The world's best chess software has been caught cheating (because its human author copied from open source chess programs). Sorry, Rybka, the International Computer Games Association (ICGA) says you can't play anymore.

The headline makes it sound as if the chess program cheated. It's claimed that the author of the program cheated by using code from other chess programs. The program itself doesn't cheat.
[ link to this | view in chronology ]
Greevar (profile), 29 Jun 2011 @ 7:13pm

Sore losers. He built a better chess program.
Just because they didn't get to see the source code and it performs similarly to Fruit and Crafty, they automatically assume that it was taken from those two programs? Could Rajlick not have developed his similar algorithms independently by studying the competition and find his own way to incorporate them? Besides that, it seems Rybka was doing it better since it beat everyone else. I think these people are stuck on the illusion that two people can't come up with the same idea and just assumed he "stole" it. If he's truly genuine, then this is just cruel and damaging to an innovative programmer.

If he did just simply use their code, then he should give credit, lose his current winnings and be disqualified, but since nobody is allowed to look at it, we can't know for sure. That's certainly not a justification to call him a cheat and take away his winnings retroactively. That's just being petty. "We think you're plagiarizing, but we can't prove it; so we'll just judge you with ambiguous evidence instead." People can be so possessive of ideas and, when threatened, will act indignantly towards those that come to similar discoveries independently.
[ link to this | view in chronology ]
- Michael Ho (profile), 30 Jun 2011 @ 12:39am
  
  Re: Sore losers. He built a better chess program.
  Greevar,
  
  It seems like the author has the option of revealing his source code to the contest judges.. but isn't doing so. Maybe Rajlick didn't plagiarize -- but if he didn't, then revealing his source code would certainly put these accusations to rest, no?
  [ link to this | view in chronology ]
  - Greevar (profile), 1 Jul 2011 @ 9:06am
    
    Re: Re: Sore losers. He built a better chess program.
    That's like letting the cops search your house to prove you're not a criminal. It's the old assumption that if you've done nothing wrong, then you have no reason to bar them from looking. Yet, he does. He worked on that software and probably doesn't want other people snooping around his code as it would expose his work to people he probably competes with. I have the right to not have others poking their nose in my personal privacy based solely on the accusation of my wrongdoing and demand a search for evidence to the effect. So does this programmer.
    
    They merely suspect he was cheating and want to breach his privacy to find the evidence that they obviously don't have to support that accusation. They're assuming guilt and demanding he prove his innocence. Since he didn't comply, they automatically assume he cheated and responded as such. We may be a country that believes in "innocent until proven guilty" when it applies to criminal law, but we are very much still of the mentality of "guilty until proven innocent" outside of a courtroom. That's just sad.
    [ link to this | view in chronology ]
    - Michael Ho (profile), 1 Jul 2011 @ 9:22am
      
      Re: Re: Re: Sore losers. He built a better chess program.
      Greevar,
      
      He entered a contest with a prize... I'd expect the judges to be able to view his source code as part of the rules, but maybe that wasn't explicitly stated. In any case, a non-disclosure agreement would solve this problem by allowing only a limited number of people to see his code to verify the absence of plagiarism.
      
      On the other hand, I do agree that it seems wrong for the judges to award a prize and then try to take it back without solid justification.
      [ link to this | view in chronology ]
A Guy, 30 Jun 2011 @ 2:57am

Critical systems shouldn't rely on an operating system to run. Software may be helpful for creating logs, monitoring, and communications with offsite locations but an airplane or should NEVER be designed so that it will stop functioning if a program throws an unhandled exception.

I find xkcd is often right about these things:
http://xkcd.com/463/
[ link to this | view in chronology ]
- A Guy, 30 Jun 2011 @ 3:02am
  
  Re:
  That should read airplanes or insert your --critical system here--.
  
  Apparently techdirt doesn't like some characters.
  [ link to this | view in chronology ]
Marcel Popescu (profile), 1 Jul 2011 @ 6:24am

My problem with proof of correctness...
... is that you can easily prove that a program calculating the average of two numbers, a and b, by doing

result = (a + b) / 2

is correct. And then you run the program and it works, until a year later someone sets a and b to very large values, and the program crashes (or returns a negative value). That's why I prefer testing to proofs, even though I agree that proofs are theoretically better.
[ link to this | view in chronology ]
- 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.
  [ link to this | view in chronology ]