V victortaelin.github.io Lambda Calculus Benchmark for AI 143 points marvinborner 6 months ago 43 comments