-
I just *discovered* that Philip Wadler practices his talks in Comedy Clubs. This video predates his talk at Strangeloop and Lambda Days. https://www.youtube.com/watch?v=GnpcMCW0RUA …
#lambdacalculus#comedypic.twitter.com/8T9eRvK3Iu -
Nothing better than
@dabeaz 's talk to kick off the weekend https://www.youtube.com/watch?v=5C6sv7-eTKg …#lambdacalculus#pycon2019 -
@LairdD0yle this is the lecture I would recommend: https://youtu.be/pkCLMl0e_0k#python#lambdacalculus -
VIDEO: Some Types of Types with Philip Wadler - http://buff.ly/2cFHLjX
#ICFP#types#bravery#lambdaCalculus -
Incredibly fascinating video on
#LambdaCalculus. Pretty usefull for#FunctionalProgramming https://www.youtube.com/watch?v=eis11j_iGMs …#functional#javascript#js#haskell#lambda#calculus#math -
(Re)découvrez ma conférence "
#LambdaCalculus: A Brief History of#FunctionalProgramming" https://youtu.be/h7000zPdkOw https://twitter.com/xebiconfr/status/1219291258721570816 … -
(Re)découvrez la conférence "
#LambdaCalculus: A Brief History of#FunctionalProgramming" de@yassine_meherzi de@SocieteGenerale, sponsor Gold de cette 6ème édition !https://youtu.be/h7000zPdkOw -
The Lambda Calculus for Fun and Factorials (Ron Garret, 2015)
#LambdaCalculus#serverless https://www.youtube.com/watch?v=8qC1iZN5ozw … Via HackerNews https://news.ycombinator.com/item?id=20308670 … -
Defining and evaluating arithmetic functions with the piano https://youtu.be/fMs-wzIVOK0
#codeklavier@anneveinberg#lambda#lambdacalculus -
Lambda Calculus: PyCon 2019 Tutorial (Screencast)
#LambdaCalculus#serverless https://www.youtube.com/watch?v=5C6sv7-eTKg … Via HackerNews https://news.ycombinator.com/item?id=19818108 … -
@anneveinberg coding L-system rules for the#AugmentedReality extension of the#codeklavier by@cappelnord. This is the proof-of-concept done in#Madrid after#ICLC19 . Looking forward for this collab! made possible thanks to@StimuleerFonds#livecoding#lambdacalculus pic.twitter.com/rEiDG67K6r -
Collapsing Towers of Interpreters - Amin, Rompf PDF: https://buff.ly/2mWgOJM Video: https://buff.ly/2DYXIL0
#popl2018#interpreter#compiler#lambdacalculus pic.twitter.com/ejtglLDfzW
-
We had the chance to go to talk to @jarek000000 at@Lambda_World on#liveCoding#Functional#LambdaCalculus#Lambda https://www.youtube.com/watch?v=4GDMgNRcQ9g …pic.twitter.com/c9ZRADpBin
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.