Why (and is) TeX bug-free ? How big is TeX (programmed in Web). Computer understandable software specifications.

[e***@gmail.com]

Hi,
Is TeX bug-free ?
How many lines of code does it have ?
When developing software can humans communicate in "computer
understandable specifications which the computer can fix" to boost
productivity by 2 or more orders of magnitude.

Is there ANY computer program (besides TeX) in which cash rewards are
offered for any bug found, and no bug could be found.

In 5 years time we will not have 2 GHz QUAD FOUR CPUs from INTEL, we
will probably have 2 GHz HEX 16 CPUs from INTEL ---------------- so if
I want to write my own web-site or small Point of sale program or
small financial accounting programming ----- why should I not be able
to take 2 fresher programmers and do it in a year or 6 months for all
3 programs.

Note, we have wikipedia and now dbpedia.org ------- so can the
computer understand software specifications that humans make.

Erach

[David Kastrup]

Post by e***@gmail.com
Is TeX bug-free ?

No.

Post by e***@gmail.com
How many lines of code does it have ?

25000 including comments, give or take a few.

Post by e***@gmail.com
When developing software can humans communicate in "computer
understandable specifications which the computer can fix" to boost
productivity by 2 or more orders of magnitude.
Is there ANY computer program (besides TeX) in which cash rewards are
offered for any bug found, and no bug could be found.

Bugs keep getting found in TeX. Knuth would not likely have to live on
the streets, however, even if the cheques he sent were not treated
almost exclusively as collectors' items.

Post by e***@gmail.com
In 5 years time we will not have 2 GHz QUAD FOUR CPUs from INTEL, we
will probably have 2 GHz HEX 16 CPUs from INTEL ---------------- so if
I want to write my own web-site or small Point of sale program or small
financial accounting programming ----- why should I not be able to take
2 fresher programmers and do it in a year or 6 months for all 3
programs.

Probably for the same reason that you don't let one company design the
left half of a plane and another the right one.

Post by e***@gmail.com
Note, we have wikipedia and now dbpedia.org ------- so can the
computer understand software specifications that humans make.

Not even humans understand simple sentences that humans make. For
example, I have no clue whatsoever what the word "so" in your last
sentence is supposed to mean.

[Luis Rivera]

Post by e***@gmail.com
Note, we have wikipedia and now dbpedia.org ------- so can the
computer understand software specifications that humans make.

Not even humans understand simple sentences that humans make.  For
example, I have no clue whatsoever what the word "so" in your last
sentence is supposed to mean.

Besides, I don't see the consequence between the non bug-free issue,
the number of lines of code, and other hardware considerations to make
the point of hiring two heads to rewrite the same old programs. I
seem to recall at least two guys working on an eventual replacement
for TeX (LuaTeX). It will probably have bugs and more lines of code,
and not work on older hardware, but that's for improvement, not for
rewriting the old thing.

Luis.

[z***@netscape.net]

Post by e***@gmail.com
Hi,
Is TeX bug-free ?
How many lines of code does it have ?
When developing software can humans communicate in "computer
understandable specifications which the computer can fix" to boost
productivity by 2 or more orders of magnitude.

No. Since that's most of the reason fiber optics, laserdisks
HTDV, and USB were invented to prevent IBM from doing any more
of their QWERTY Error Checking.

Post by e***@gmail.com
Is there ANY computer program (besides TeX) in which cash rewards are
offered for any bug found, and no bug could be found.
In 5 years time we will not have 2 GHz QUAD FOUR CPUs from INTEL, we
will probably have 2 GHz HEX 16 CPUs from INTEL ---------------- so if
I want to write my own web-site or small Point of sale program or
small financial accounting programming ----- why should I not be able
to take 2 fresher programmers and do it in a year or 6 months for all
3 programs.
Note, we have wikipedia and now dbpedia.org ------- so can the
computer understand software specifications that humans make.
Erach