Re:YC Research
by andyjohnson0 on Thursday October 08, 2015 @04:47AM
(#10351547)
An interesting project - thanks for pointing it out.
I'm not saying that such long-term projects are impossible, just that they are rare due to institutional and human reasons. And because they are rare, we don't have much experience with how to design successful support institutions.
[1] http://www.cs.utexas.edu/users/moore/acl2/acl2-doc.html