| Subject | Datestamp | Replies | Score | |||
|---|---|---|---|---|---|---|
| putting the record straight | ||||||
| attached to CA's Greenblatt Answers re Ingres $1 Million Bounty and Other Matters | ||||||
"We are on the verge: Today our program proved Fermat's next-to-last theorem." -- Epigrams in Programming, ACM SIGPLAN Sept. 1982