Search results for #lambdaCalculus
These are going to be in the "Advanced" section of TPM as a primer for "BooLambda" mixed presentation modules. I like the term "BooLambda" because it sort of implies Boolean is haunted by Lambda. At a minimum Lambda is kind of spooky. #Logic #Boolean #LambdaCalculus #Philosophy
Lambda is named after lambda calculus, highlighting the mathematical expertise of machine learning engineers who command high salaries. #ComputerScience #MachineLearning #LambdaCalculus #MathExperts #TechCareers #DataScience #AI #Engineering video.cube365.net/c/976370
A Neural Lambda Calculus Bridging the gap between neurosymbolic AI and the foundations of computing through Neural Lambda Calculus. goatstack.ai/topics/a-neura… #NeurosymbolicAI #LambdaCalculus #DeepNeuralNetworks #ComputationalModels #goatai #goatstack via @GoatstackAI
A Neural Lambda Calculus Bridging the gap between neurosymbolic AI and the foundations of computing through Neural Lambda Calculus. goatstack.ai/topics/a-neura… #NeurosymbolicAI #LambdaCalculus #DeepNeuralNetworks #ComputationalModels #goatai #goatstack via @GoatstackAI
Hoping X's compression doesn't mess with these, but assuming they upload clean the first time, here's two graphs I made while learning #LambdaCalculus to help me learn it. I hope they help other people learn the basics too, if anyone wants to, and finds them. #Logic
The only language you need to program anything — #lambdaCalculus 😁 Programming with Math | The Lambda Calculus youtu.be/ViPNHMSUcog?si… via @YouTube
#LambdaCalculus is your best friend. youtu.be/RcVA8Nj6HEo?si…
Fully cracked devs don't need an abstraction library to calculate the lowest fees for them, cause they can do #LambdaCalculus.
Readings shared February 22, 2025. jaalonso.github.io/vestigium/post… #LambdaCalculus #Lisp #Emacs
Lambda calculus and Lisp, part 2. babbagefiles.xyz/lambda-calculu… #LambdaCalculus #Emacs #Lisp
Lambda calculus and Lisp, part 1. babbagefiles.xyz/lambda-calculu… #LambdaCalculus #Lisp
The Relationship Between Category Theory, Lambda Calculus, and Functional Programming in Haskell #haskell #functionalprogramming #lambdacalculus 4m4.it/posts/category…
100 years ago Moses Schönfinkel laid the foundations of Functional Programming with the introduction of combinators: functions that combine other functions, allowing complex expressions to be built from simpler ones. content.wolfram.com/sites/43/2020/… #lambdacalculus #programming #haskell
Programming with Math: The lambda calculus. youtu.be/ViPNHMSUcog #LambdaCalculus
Readings shared October 20, 2024. jaalonso.github.io/vestigium/post… #ITP # #LambdaCalculus #FunctionalProgramming #ALP #LogicProgramming #AI #LLMs #Math
Lecture notes on overview and the lambda calculus. ~ Jan Hoffmann. cs.cmu.edu/~janh/courses/… #LambdaCalculus
The λ-calculus, 2: The Church-Rosser theorem. ~ Lawrence Paulson (@[email protected]). lawrencecpaulson.github.io/2024/10/14/Chu… #LambdaCalculus
Gabriel Lebec - glebe... @g_lebec
968 Followers 294 Following Developer, instructor, artist, student. #JavaScript, #Haskell, #LambdaCalculus, & #nihonto. The opinions stated here are my own, not those of my company.
