English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#lambdacalculus search results

KattyTheEnby's profile picture. Pansexual, non-binary, anthropomorphic, computer-programming cat. (Check out my Bluesky profile instead. I made this account mainly to reserve the username.)
KattyTheEnby
 @KattyTheEnby
Oct 13

For anyone interested in lambda calculus, here is the first reduction ov the Y-combinator explained textually. #LambdaCalculus #Mathematics

KattyTheEnby's tweet image. For anyone interested in lambda calculus, here is the first reduction ov the Y-combinator explained textually. #LambdaCalculus #Mathematics
KattyTheEnby's tweet image. For anyone interested in lambda calculus, here is the first reduction ov the Y-combinator explained textually. #LambdaCalculus #Mathematics
KattyTheEnby's tweet image. For anyone interested in lambda calculus, here is the first reduction ov the Y-combinator explained textually. #LambdaCalculus #Mathematics
0
0
0
0
24
DigPhysics's profile picture. 🎞️film: https://t.co/iGfyfn0s2q 🕹️game: https://t.co/OFmIsUxZ9y 🤖bot: https://t.co/mWdug7hTKl
Digital Physics Film & Game 🎞️🕹️🤖
 @DigPhysics
Oct 8

Addition operator + and Multiplication operator x λ #LambdaCalculus #TheAnnotatedTuring 📖

DigPhysics's tweet image. Addition operator + and Multiplication operator x λ #LambdaCalculus #TheAnnotatedTuring 📖
0
0
0
0
36
LSTurulja's profile picture. Sci. & Tech Historian - Hospitality Industry Pro - Trilingual - Bloodline Turul🦅 - Peace☮️ - Progress⚛️ - Love❤️ - Hope🌞 - ᛏᛁᛚᛚ ᚢᚨᚺᚨᛚᛚᚨ - Till Valhalla
Lars S. Turulja 🇦🇶
 @LSTurulja
Jan 16, 2024

Alonzo Church (1903-1995), mathematician and computer scientist, one of the "fathers" of computer science, was famous for Lambda calculus (examining borders of computing), having Alan Turing as a doctoral student, and many theses in mathematics. #AlonzoChurch #LambdaCalculus

LSTurulja's tweet image. Alonzo Church (1903-1995), mathematician and computer scientist, one of the "fathers" of computer science, was famous for Lambda calculus (examining borders of computing), having Alan Turing as a doctoral student, and many theses in mathematics. #AlonzoChurch #LambdaCalculus
0
0
0
0
201
yoshihiro503's profile picture. 株式会社 @proof_ninja の代表取締役です。 Rocq(Coq)やOCaml, Scalaなどのお仕事喜んでやります Rocq/OCaml/Haskell/SML#/Scala/F#/Haxe/Tezos/産総研/DMM/Datachain/トップSE/名古屋大
Yoshihiro Imai
 @yoshihiro503
Sep 4, 2023

東京品川名物！ ラムダ-イナゴン を手に入れました！ #ラム大納言 #バターサンド #lambdaCalculus

yoshihiro503's tweet image. 東京品川名物！ ラムダ-イナゴン を手に入れました！ #ラム大納言 #バターサンド #lambdaCalculus
0
3
10
0
882
KattyTheEnby's profile picture. Pansexual, non-binary, anthropomorphic, computer-programming cat. (Check out my Bluesky profile instead. I made this account mainly to reserve the username.)
KattyTheEnby
 @KattyTheEnby
Oct 3

I really love the Cruz Godar Lambda Application, which is absolutely amazing at visually expressing lambda calculus expressions as Tromp Diagrams. If you like lambda calculus, give this a try! cruzgodar.com/applets/lambda… #LambdaCalculus #Calculus #Tromp #Math

0
0
0
0
11
ecomputerbooks's profile picture. Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
Free Computer Books
 @ecomputerbooks
Dec 4

Learn Functional Programming - freecomputerbooks.com/Learn-Function… Look for "Read and Download Links" section to download. #programming #FunctionalProgramming #LambdaCalculus #programmers

ecomputerbooks's tweet image. Learn Functional Programming - freecomputerbooks.com/Learn-Function… Look for "Read and Download Links" section to download. #programming #FunctionalProgramming #LambdaCalculus #programmers
0
0
2
0
45
RobBarberAuthor's profile picture. Author of logic-mysticism book The Philosopher's Goggles and soon, Gestaltic Reasoning. Get TPG here: https://t.co/E4w4LDlTZf
Robert Barber
@RobBarberAuthor
May 27

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

RobBarberAuthor's tweet image. 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
RobBarberAuthor's tweet image. 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
1
0
1
0
46
GoatstackAI's profile picture. AI Agent that reads scientific papers for you and crafts personalized newsletters
GoatStack.AI
 @GoatstackAI
Apr 9, 2024

Dive into the intersection of neurosymbolic AI and the foundation of computing with an analysis of neural networks' capacity to execute programs using a neural lambda calculus. #NeurosymbolicAI #LambdaCalculus #NeuralNetworks

GoatstackAI's tweet image. Dive into the intersection of neurosymbolic AI and the foundation of computing with an analysis of neural networks' capacity to execute programs using a neural lambda calculus. #NeurosymbolicAI #LambdaCalculus #NeuralNetworks
1
0
0
0
44
oxidist's profile picture. living on the decision boundary
Oxide
 @oxidist
May 24, 2024

level 1 application of impermanence, neti neti, etc ignores that these principles apply to themselves since they are also part of the world #LambdaCalculus #Enlightenment

0
0
3
0
263
clipper_video's profile picture. CUBE365 makes it quick and easy to find, create and share snackable clips from long-form videos--without any special video editing skills or tools
CUBE365 Clips
 @clipper_video
Jul 9

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

0
0
0
0
15
functional_sc's profile picture. Programming in Historic Charleston South Carolina. We ♥ #functional #clojure #haskell #fsharp #erlang #scala #chs and more
Functional SC
 @functional_sc
Nov 8

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

functional_sc's tweet image. 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
0
18
38
17
2K
adamKDean's profile picture. Just a guy experimenting with blockchain technology and how it can be used. Co-Founder: Buffy Bot, NFTxLV, DripDropz, and others. #BuildingOnCardano $ADA
Adam Dean
@adamKDean
Mar 22

Fully cracked devs don't need an abstraction library to calculate the lowest fees for them, cause they can do #LambdaCalculus.

0
0
2
0
326
batman_in_samt's profile picture. Data alchemist & tech entrepreneur. Revolutionize the matrix of sport & lifestyle in the digital age.
pratheek burkhard
 @batman_in_samt
Apr 9, 2024

Exciting news in the world of computer science as researchers delve into the world of fractals using Pure Lambda Calculus in Lambda Screen. #LambdaCalculus #Fractals bit.ly/49ujTGm

0
0
0
0
10
KattyTheEnby's profile picture. Pansexual, non-binary, anthropomorphic, computer-programming cat. (Check out my Bluesky profile instead. I made this account mainly to reserve the username.)
KattyTheEnby
 @KattyTheEnby
Oct 13

For anyone interested in lambda calculus, here is the first reduction ov the Y-combinator explained textually. #LambdaCalculus #Mathematics

KattyTheEnby's tweet image. For anyone interested in lambda calculus, here is the first reduction ov the Y-combinator explained textually. #LambdaCalculus #Mathematics
KattyTheEnby's tweet image. For anyone interested in lambda calculus, here is the first reduction ov the Y-combinator explained textually. #LambdaCalculus #Mathematics
KattyTheEnby's tweet image. For anyone interested in lambda calculus, here is the first reduction ov the Y-combinator explained textually. #LambdaCalculus #Mathematics
0
0
0
0
24
DigPhysics's profile picture. 🎞️film: https://t.co/iGfyfn0s2q 🕹️game: https://t.co/OFmIsUxZ9y 🤖bot: https://t.co/mWdug7hTKl
Digital Physics Film & Game 🎞️🕹️🤖
 @DigPhysics
Oct 8

Addition operator + and Multiplication operator x λ #LambdaCalculus #TheAnnotatedTuring 📖

DigPhysics's tweet image. Addition operator + and Multiplication operator x λ #LambdaCalculus #TheAnnotatedTuring 📖
0
0
0
0
36
KattyTheEnby's profile picture. Pansexual, non-binary, anthropomorphic, computer-programming cat. (Check out my Bluesky profile instead. I made this account mainly to reserve the username.)
KattyTheEnby
 @KattyTheEnby
Oct 3

I really love the Cruz Godar Lambda Application, which is absolutely amazing at visually expressing lambda calculus expressions as Tromp Diagrams. If you like lambda calculus, give this a try! cruzgodar.com/applets/lambda… #LambdaCalculus #Calculus #Tromp #Math

0
0
0
0
11
ResistMonsters's profile picture. This is the Apocalypse. Hades II Closed Beta Tester
🦸🏽‍♂️ BeagleJack 🖤
 @ResistMonsters
Aug 5

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?

VictorTaelin's profile picture. Kind / Bend / HVM / INets / λCalculus
Taelin
@VictorTaelin
Aug 4

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

16
45
1K
201
76K
0
0
3
1
117
RobBarberAuthor's profile picture. Author of logic-mysticism book The Philosopher's Goggles and soon, Gestaltic Reasoning. Get TPG here: https://t.co/E4w4LDlTZf
Robert Barber
@RobBarberAuthor
Jul 11

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

1
0
0
0
42
clipper_video's profile picture. CUBE365 makes it quick and easy to find, create and share snackable clips from long-form videos--without any special video editing skills or tools
CUBE365 Clips
 @clipper_video
Jul 9

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

0
0
0
0
15
luislamb's profile picture. #AI,#innovation & #tech; @imperialcollege PhD; @MIT MBA;@mitsloan; CS @inf_ufrgs #neurosymbolicAI pioneer #AIStrategy Personal tweets.
Luis Lamb
 @luislamb
Jun 12

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

0
4
8
1
515
luislamb's profile picture. #AI,#innovation & #tech; @imperialcollege PhD; @MIT MBA;@mitsloan; CS @inf_ufrgs #neurosymbolicAI pioneer #AIStrategy Personal tweets.
Luis Lamb
 @luislamb
Jun 5

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

0
1
5
2
349
RobBarberAuthor's profile picture. Author of logic-mysticism book The Philosopher's Goggles and soon, Gestaltic Reasoning. Get TPG here: https://t.co/E4w4LDlTZf
Robert Barber
@RobBarberAuthor
May 27

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

RobBarberAuthor's tweet image. 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
RobBarberAuthor's tweet image. 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
1
0
1
0
46
humanist1965's profile picture. #humanist, #SolutionArchitect
humanist1965
 @humanist1965
Apr 17

The only language you need to program anything — #lambdaCalculus 😁 Programming with Math | The Lambda Calculus youtu.be/ViPNHMSUcog?si… via @YouTube

humanist1965's tweet card. Programming with Math | The Lambda Calculus

youtube.com

YouTube

Programming with Math | The Lambda Calculus

Source: youtube.com
0
0
0
0
92
adamKDean's profile picture. Just a guy experimenting with blockchain technology and how it can be used. Co-Founder: Buffy Bot, NFTxLV, DripDropz, and others. #BuildingOnCardano $ADA
Adam Dean
@adamKDean
Mar 22

Fully cracked devs don't need an abstraction library to calculate the lowest fees for them, cause they can do #LambdaCalculus.

0
0
2
0
326
ecomputerbooks's profile picture. Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
Free Computer Books
 @ecomputerbooks
Dec 4

Learn Functional Programming - freecomputerbooks.com/Learn-Function… Look for "Read and Download Links" section to download. #programming #FunctionalProgramming #LambdaCalculus #programmers

ecomputerbooks's tweet image. Learn Functional Programming - freecomputerbooks.com/Learn-Function… Look for "Read and Download Links" section to download. #programming #FunctionalProgramming #LambdaCalculus #programmers
0
0
2
0
45
functional_sc's profile picture. Programming in Historic Charleston South Carolina. We ♥ #functional #clojure #haskell #fsharp #erlang #scala #chs and more
Functional SC
 @functional_sc
Nov 8

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

functional_sc's tweet image. 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
0
18
38
17
2K
kakurady's profile picture. The fabric of social network have began to fray... No longer active here! 🐘 @kakurady@fursuits.online
Kakurady
 @kakurady
Jan 16, 2017

Okay, WTF is going on here?? #javascript #lambdacalculus

kakurady's tweet image. Okay, WTF is going on here?? #javascript #lambdacalculus
0
0
0
0
0
foxyjackfox's profile picture. Urbit maximalist ~nomryg-nilref Developing Obelisk, the time-travelling RDBMS for Urbit https://t.co/tn8lY1ehCT
Jack Fox
@foxyjackfox
Feb 2, 2017

Something good arrived. #lambdacalculus

foxyjackfox's tweet image. Something good arrived. #lambdacalculus
0
0
7
0
0
VR_nithin's profile picture. മലയാളി | Programmer interested in PL | Liverpool fan
Nithin
 @VR_nithin
Sep 17, 2017

Cool #LambdaCalculus trick. #Lambda to beat the email id scrappers.

VR_nithin's tweet image. Cool #LambdaCalculus trick. #Lambda to beat the email id scrappers.
0
0
1
0
0
overflow_meme's profile picture. Stack Overflow questions + meme generator = @overflow_meme
Meme Overflow
 @overflow_meme
May 29, 2021

Is it possible to write a data structure or data structures that represent only closed terms in Haskell or any other language? stackoverflow.com/questions/6774… #term #expression #lambdacalculus #haskell #boundvariable

overflow_meme's tweet image. Is it possible to write a data structure or data structures that represent only closed terms in Haskell or any other language? stackoverflow.com/questions/6774… #term #expression #lambdacalculus #haskell #boundvariable
0
1
1
0
0
yoshihiro503's profile picture. 株式会社 @proof_ninja の代表取締役です。 Rocq(Coq)やOCaml, Scalaなどのお仕事喜んでやります Rocq/OCaml/Haskell/SML#/Scala/F#/Haxe/Tezos/産総研/DMM/Datachain/トップSE/名古屋大
Yoshihiro Imai
 @yoshihiro503
Sep 4, 2023

東京品川名物！ ラムダ-イナゴン を手に入れました！ #ラム大納言 #バターサンド #lambdaCalculus

yoshihiro503's tweet image. 東京品川名物！ ラムダ-イナゴン を手に入れました！ #ラム大納言 #バターサンド #lambdaCalculus
0
3
10
0
882
overflow_meme's profile picture. Stack Overflow questions + meme generator = @overflow_meme
Meme Overflow
 @overflow_meme
Jul 3, 2021

Haskell church numerals can't print | Expected a type, but T has kind `f` stackoverflow.com/questions/6822… #haskell #lambdacalculus

overflow_meme's tweet image. Haskell church numerals can't print | Expected a type, but T has kind `f` stackoverflow.com/questions/6822… #haskell #lambdacalculus
0
0
0
0
0
chgeuer's profile picture. Principal Engineer working on @Azure, security & cloud architect, Apache Committer, DG5EAW, https://t.co/5CW6g802Ix
Dr. Christian Geuer-Pollmann
 @chgeuer
Oct 24, 2018

Vacation time is great to learn some funky shit, such as #lambdacalculus which actually isn't that hard. Thanks "Haskell Programming from First Principles"

chgeuer's tweet image. Vacation time is great to learn some funky shit, such as #lambdacalculus which actually isn't that hard. Thanks "Haskell Programming from First Principles"
0
0
2
0
0

Something went wrong.


Something went wrong.


United States Trends