a few queries

[Andrew J. Blumberg]

so the essential bits i extracted from your recent message were :

1) it would be nice to have the capability to do proofs
2) it would be nice to be able to harness parallel processing

as you point out, these are trivially true assertions --- but this is not a
particularly new viewpoint, and certainly not unique to TUNES.  there are a
fair variety of languages which permit proofs in a better way than C, and
there's been lots of work on parallel processing.

but what do you actually plan to implement with TUNES?  what's the
important intellectual advance represented by TUNES?  what are the new
ideas?

almost all of the traffic i've seen here on this list has been very
speculative and laden with claims that "TUNES will incorporate winning
feature X". . . but i haven't heard anything particularly specific about
implementation strategies or even an formal design.  your aims seem very
nice, but i'm curious about how you intend to win where so many others have
lost. . .

                                                                   - andrew