20 Feb
2013
20 Feb
'13
2:19 p.m.
On Wed, Feb 20, 2013 at 1:35 PM, Jan Stolarek
Gwern, and what do you think about James' fork of lambdabot? It seems that there was a lot of work put into it and that this is indeed a good starting point to continue development.
I haven't looked at the diffs; if as he says the security around the evaluation has been weakened, that's a deal-breaker until it's fixed. lambdabot can't be insecure since it will be run in a public IRC. -- gwern http://www.gwern.net