#lambda-calculus — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lambda-calculus, aggregated by home.social.
-
If you are interested in #FunctionalProgramming or the #LambdaCalculus or just #Purescript and have some extra time, I'd love to get any feedback on https://bss03.gitlab.io/halogen-lambda/ that you are willing to give. Just reply to this post or DM me, either way. If you want to look at the source it's https://gitlab.com/bss03/halogen-lambda (the source maps aren't accessible via gitlab pages).
My current work has been on the CEK section, but I know it's not the only section that needs work.
I'd like it to be an explorer for learners, but also show that compiler errors (e.g. scope-checking variable names) prevent runtime errors.
-
If you are interested in #FunctionalProgramming or the #LambdaCalculus or just #Purescript and have some extra time, I'd love to get any feedback on https://bss03.gitlab.io/halogen-lambda/ that you are willing to give. Just reply to this post or DM me, either way. If you want to look at the source it's https://gitlab.com/bss03/halogen-lambda (the source maps aren't accessible via gitlab pages).
My current work has been on the CEK section, but I know it's not the only section that needs work.
I'd like it to be an explorer for learners, but also show that compiler errors (e.g. scope-checking variable names) prevent runtime errors.
-
If you are interested in #FunctionalProgramming or the #LambdaCalculus or just #Purescript and have some extra time, I'd love to get any feedback on https://bss03.gitlab.io/halogen-lambda/ that you are willing to give. Just reply to this post or DM me, either way. If you want to look at the source it's https://gitlab.com/bss03/halogen-lambda (the source maps aren't accessible via gitlab pages).
My current work has been on the CEK section, but I know it's not the only section that needs work.
I'd like it to be an explorer for learners, but also show that compiler errors (e.g. scope-checking variable names) prevent runtime errors.
-
If you are interested in #FunctionalProgramming or the #LambdaCalculus or just #Purescript and have some extra time, I'd love to get any feedback on https://bss03.gitlab.io/halogen-lambda/ that you are willing to give. Just reply to this post or DM me, either way. If you want to look at the source it's https://gitlab.com/bss03/halogen-lambda (the source maps aren't accessible via gitlab pages).
My current work has been on the CEK section, but I know it's not the only section that needs work.
I'd like it to be an explorer for learners, but also show that compiler errors (e.g. scope-checking variable names) prevent runtime errors.
-
If you are interested in #FunctionalProgramming or the #LambdaCalculus or just #Purescript and have some extra time, I'd love to get any feedback on https://bss03.gitlab.io/halogen-lambda/ that you are willing to give. Just reply to this post or DM me, either way. If you want to look at the source it's https://gitlab.com/bss03/halogen-lambda (the source maps aren't accessible via gitlab pages).
My current work has been on the CEK section, but I know it's not the only section that needs work.
I'd like it to be an explorer for learners, but also show that compiler errors (e.g. scope-checking variable names) prevent runtime errors.
-
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
-
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
-
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
-
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
-
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
-
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
-
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.
-
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.
-
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.
-
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
-
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
-
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.
-
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.
-
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.
-
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.
-
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.
-
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
-
From 11:00 to 12:00 on Thursday, May 28, the PLSL 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/
#PLSL #curryHoward #propositionsAsTypes #concurrency #logic #lambdaCalculus #piCalculus #programmingLanguages #functionalProgramming
-
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
-
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
-
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
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Readings shared April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire
-
Encodings into the λ-calculus. ~ Kristopher Micinski. https://youtu.be/EjNalq6EihU #LambdaCalculus #Racket #FunctionalProgramming
-
Encodings into the λ-calculus. ~ Kristopher Micinski. https://youtu.be/EjNalq6EihU #LambdaCalculus #Racket #FunctionalProgramming
-
Encodings into the λ-calculus. ~ Kristopher Micinski. https://youtu.be/EjNalq6EihU #LambdaCalculus #Racket #FunctionalProgramming
-
Encodings into the λ-calculus. ~ Kristopher Micinski. https://youtu.be/EjNalq6EihU #LambdaCalculus #Racket #FunctionalProgramming
-
Encodings into the λ-calculus. ~ Kristopher Micinski. https://youtu.be/EjNalq6EihU #LambdaCalculus #Racket #FunctionalProgramming
-
Lambda calculus for dummies: The Church encoding. https://youtu.be/CL1LAKMsyKg #LambdaCalculus #FunctionalProgramming
-
Lambda calculus for dummies: The Church encoding. https://youtu.be/CL1LAKMsyKg #LambdaCalculus #FunctionalProgramming
-
Lambda calculus for dummies: The Church encoding. https://youtu.be/CL1LAKMsyKg #LambdaCalculus #FunctionalProgramming
-
Lambda calculus for dummies: The Church encoding. https://youtu.be/CL1LAKMsyKg #LambdaCalculus #FunctionalProgramming
-
Lambda calculus for dummies: The Church encoding. https://youtu.be/CL1LAKMsyKg #LambdaCalculus #FunctionalProgramming
