earleybird

70 ms·

1. 481.▲
   by earleybird 12y ago

   The author has been writing performant provers for a while :-) https://scholar.google.com/citations?user=ElzaeUYAAAAJ also Gandalf/Hobbit (SCM) http://www.cs.miami.edu/~tptp/CASC/19/Syste
2. 482.▲
   by earleybird 12y ago

   If the organization is dysfunctional the project is doomed from the outset. From personal experience I've been in or seen more dysfuntion than function. Probably the most illuminating quote from the article: "The failed project e
3. 483.▲
   by earleybird 12y ago

   I believe it is a mistake to think that we're somehow smarter or better than those who have gone before us.