[FoRK] guns, butter, or research into pork substitutes?

Robert Harley <robert.harley at gmail.com> on Thu Dec 20 06:12:12 PST 2007

>and we still spend $80M on son-of-ATP?!

Automated theorem proving?  Adenosine tri-phophate?  Do tell.

PS: Got my OLPC laptop.

R

More information about the FoRK mailing list