Home Messages Index
[Date Prev][Date Next][Thread Prev][Thread Next]
Author IndexDate IndexThread Index

Re: [News] New Free Software Project Wants Strive to Eliminate S/W Bugs

  • Subject: Re: [News] New Free Software Project Wants Strive to Eliminate S/W Bugs
  • From: Homer <usenet@xxxxxxxxxx>
  • Date: Thu, 17 Jul 2008 18:56:58 +0100
  • Bytes: 2043
  • Cancel-lock: sha1:aaGvwZ7DWweW3EnUOYBjvapyB1E=
  • In-reply-to: <4235730.9Fa92TvJR5@xxxxxxxxxxxxxxx>
  • Newsgroups: comp.os.linux.advocacy
  • Openpgp: id=BF436EC9; url=http://slated.org/files/GPG-KEY-SLATED.asc
  • Organization: Slated.org
  • References: <4235730.9Fa92TvJR5@xxxxxxxxxxxxxxx>
  • User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-GB; rv:1.8.1.14) Gecko/20080501 Fedora/2.0.0.14-1.fc8 Thunderbird/2.0.0.14 Mnenhy/0.7.5.666
  • Xref: ellandroad.demon.co.uk comp.os.linux.advocacy:664564
Verily I say unto thee, that Roy Schestowitz spake thusly:

> Bug free software to come from EU open source Type Theory project

Haven't they heard of ML? It's a self-proving language that's been
around for three decades.

http://en.wikipedia.org/wiki/ML_programming_language

-- 
K.
http://slated.org

.----
| "The idea that Bill Gates has appeared like a knight in shining
| armour to lead all customers out of a mire of technological chaos
| neatly ignores the fact that it was he who, by peddling second-rate
| technology, led them into it in the first place." ~ Douglas Adams
`----

Fedora release 8 (Werewolf) on sky, running kernel 2.6.23.8-63.fc8
 18:56:42 up 209 days, 15:32,  4 users,  load average: 0.97, 0.57, 0.40

[Date Prev][Date Next][Thread Prev][Thread Next]
Author IndexDate IndexThread Index