Andrei Alexandrescu wrote:
On 08/01/2010 05:44 AM, retard wrote:
Sat, 31 Jul 2010 23:38:17 +0000, BCS wrote:
Hello retard,
Has anyone except the almighty
Andrei ever even downloaded a theorem prover?
Yes, ACL2.
http://www.dsource.org/projects/scrapple/browser/trunk/backmath
Now I know why that sort of thing isn't done more often.
Learning how to document your code might also help. It looks like a mess.
I think it takes some good amount of courage and confidence to put one's
identity and code out there for everyone to criticize. Conversely,
criticizing from the comfort of anonymity and without producing "do as I
do, not only as I say" examples doesn't sit well.
Andrei
Well put. Similarly can be said about posting with anonymity on
a newsgroup period. I for one have made numerous newsgroup bloopers,
whether being an "academic" err or perhaps a socially tactless response.
Whenever I realize one of my bloops, I often wish for retrospective
anonymity.
Justin ( no last name given :-) )
