Top Tweets for #lambdaCalculus
Do NOT fuck with us.
#MusicIntelligence
I want my new vehicle/car.
#LambdaCalculus #LambdaRadio #QuantumRadio #BlackTechnology #LambdaDriver #FMP #FMPFamily #Quantum #AI #SystemAdmin #Linux #Windows11 #MacOS26 #JETLAGRADIO & MORE
Readings shared April 4, 2026. https://t.co/GJpwZclC6C #AI #AI4Math #ATP #Agda #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Prolog #Racket #RocqProver
Encodings into the λ-calculus. ~ Kristopher Micinski. https://t.co/UvFnJM4unV #LambdaCalculus #Racket #FunctionalProgramming
Lambda calculus for dummies: The Church encoding. https://t.co/QSqgnwQMMx #LambdaCalculus #FunctionalProgramming
Lambda calculus and typing. ~ Noam Zeilberger. https://t.co/NTRGusZJaC #Haskell #FunctionalProgramming #LambdaCalculus #TypeTheory
Proposed Answers
3 valid affine fS solutions for N-Tuple Right-Fold:
1: λg.λt.λe.t(λh.g(λc.c)(λp.e(λe'.p(λv.e'(F h v)))))
2: λg.λt.λk.t(k(λk'.λx.(g(λf.f)(λy.y))(λr.k'(F x r))))
3: λg.λt.λk.t(λh.g(λu.u)(λp.k(λr.p(λv.r(F h v)))))
#LambdaCalculus
Any math nerds able prove/disprove?
For the first time ever, an AI has managed to derive a generic "foldr" function for N-tuples in the λ-Calculus. It was Gemini Pro 2.5, with Deep Think. All other models fail to do so, including o3 and Grok 4. Nice progress @GoogleDeepMind
A Neural Lambda Calculus
Bridging the gap between neurosymbolic AI and the foundations of computing through Neural Lambda Calculus.
https://t.co/9iF6FYEUJM #NeurosymbolicAI #LambdaCalculus #DeepNeuralNetworks #ComputationalModels #goatai #goatstack via @GoatstackAI
Fully cracked devs don't need an abstraction library to calculate the lowest fees for them, cause they can do #LambdaCalculus.
The relationship between category theory, lambda calculus, and functional programming in Haskell. ~ Antonio Montano. https://t.co/2wfyFbgUaD #Haskell #FunctionalProgramming #CategoryTheory #LambdaCalculus
Learn Functional Programming - https://t.co/lnzIo7Yb7S
Look for "Read and Download Links" section to download.
#programming #FunctionalProgramming #LambdaCalculus #programmers
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.
https://t.co/IjTxYBprZQ
#lambdacalculus #programming #haskell
Readings shared October 30, 2024. https://t.co/gy2Cp1Xlr4 #ITP #Lean4 #IsabelleHOL #Math #ITP #Prolog #ASP #LogicProgramming #LambdaCalculus #AI #LLMs
Programming with Math: The lambda calculus. https://t.co/mHmWw8in3H #LambdaCalculus
Lecture notes on overview and the lambda calculus. ~ Jan Hoffmann. https://t.co/hqrsjSnJo7 #LambdaCalculus
Introduction to the λ-calculus. Lawrence C. Paulson (@[email protected]). https://t.co/JTW9GYmKyw #LambdaCalculus
How to construct gameplay elements in Prolog?
Read Here: https://t.co/T6aIrqDuPe
#GameDesign #GameplaySystems #GameDevelopment #LogicProgramming #Prolog #DiscreteSystems #LISP #FunctionalProgramming #DeclarativeProgramming #Haskell #LambdaCalculus #ComputerScience #ECS
Programming with Math | The Lambda Calculus. ~ Eyesomorphic. https://t.co/mHmWw8in3H #LambdaCalculus
Most Popular Users
Elon Musk 
@elonmusk
240.2M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
109M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.3M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.6M followers
KATY PERRY
@katyperry
86.8M followers
Taylor Swift
@taylorswift13
80.6M followers
Lady Gaga
@ladygaga
72.2M followers
Kim Kardashian
@kimkardashian
69.4M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.6M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
61.1M followers
X
@x
60.9M followers
Selena Gomez
@selenagomez
59.9M followers