GitHub: Neurallambda. Reasoning Computers via Differentiable Lambda Calculus | Hacker News Reader