• by Tepix on 6/12/2022, 10:10:13 AM

    There's an unfortunate typo in the headline

  • by jegp on 5/29/2022, 9:40:57 PM

    What is lambda-calculus and why is it important for the future of computing and natural science?