But, since, I've found https://bntr.itch.io/visual-lambda, which is arguably harder to pick-up, but even more gratifying when one gets to reductions.
#FunctionalPrograming #LambdaCalculus #Steam #Programming #Games
I have long been a massive fan of Functionaλ, (https://store.steampowered.com/app/1636730/functional/) a game based on Lambda Calculus.
It's open source: https://github.com/yancouto/functional
#FunctionalPrograming #LambdaCalculus #Steam #Programming #Games
Happy Birthday to Alonzo Church. Born on June 14, 1903, Church helped establish the mathematical foundations of computer science through his work on lambda calculus, computability, and the Church–Turing thesis. His ideas continue to influence programming languages, algorithms, and our understanding of what computers can and cannot do.
From 10:30 to 11:15 on Wednesday, June 24, the PLUSLE reading group will discuss "Universal Types and Relational Substitutions" (chapter 4 of Lau Skorstengaard's tutorial "An Introduction to Logical Relations").
https://plsl.acp.sdu.dk/posts/2026-06-24-universal-types-and-relational-substitutions/
#PLUSLE #logic #semantics #polymorphism #systemF #lambdaCalculus #programmingLanguages
To me, the Lambda calculus actually "feels like" a way of computing algorithms by hand, if that makes sense. Like if I was stuck in a bunker without electricity, I couldn't run a Python program. But I could express a computation in lambda terms and do beta reduction.
I was without access to the internet for most of the past few days, so I wrote a blog post about lambda calculus and regular languages.
https://www.countingishard.org/blog/a-lesser-known-characterisation-of-the-regular-languages
From 11:00 to 12:00 on Thursday, May 28, the PLUSLE reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler.
https://plsl.acp.sdu.dk/posts/2025-05-28-proofs-as-processes-propositions-as-sessions/
#PLUSLE #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming
Lambda Calculus Benchmark for AI
https://victortaelin.github.io/lambench/
#HackerNews #LambdaCalculus #AI #Benchmarking #MachineLearning #Programming
From 11:00 to 12:00 on Thursday, April 30, the PLUSLE reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi.
https://plsl.acp.sdu.dk/posts/2026-04-30-abstract-syntax-and-variable-binding/
#PLUSLE #syntax #programmingLanguages #categoryTheory #lambdaCalculus
Is there a word for being amused and slightly offended at the same time / by the same thing? The JSONata documentation's take on the Y-combinator certain toes this to me:
"There is no need to read this section - it will do nothing for your sanity or ability to manipulate JSON data." ... "The Greek lambda (λ) symbol can be used in place of the word function which, if you can find it on your keyboard, will save screen space and please the fans of lambda calculus."
https://docs.jsonata.org/programming#advanced-example---the-y-combinator
So far, we have introduced all the parts of the language that allow us to extract data from an input JSON document, combine the data using string and numeric operators, and format the structure of the output JSON document. What follows are the parts that turn this into a Turing complete, functional programming language.
Will Berard 🫳🎤🫶
Assn for Computing Machinery
ACP Section
Travis Briggs
Counting Is Hard
Hacker News
terpsichore