News for hackers. Stuff that matters.
Re:YC Research by emanuelev on Thursday October 08, 2015 @04:41AM (#10351534)
J Strother Moore would disagree with you, the development of ACL [1] is going on from 40 years!

[1] http://www.cs.utexas.edu/users/moore/acl2/acl2-doc.html

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.

Re:YC Research by emanuelev on Thursday October 08, 2015 @04:55AM (#10351567)
Yes I do agree with you. ACL is just an example of as the devotion of one or two persons can bring unexpectedly successful results. Achieving the same in bigger organisation is a much harder challenge.