🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

#lambdacalculus

10 posts

  • @aartaka Making Sense of Lambda Calculus 5: Bring Computation to (Aggregate) Data #Tech #LambdaCalculus #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172224

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172224

    Don't have an account? Find a server at joinmastodon.org

    May 15, 2025

  • @aartaka Making Sense of Lambda Calculus 5: Bring Computation to (Aggregate) Data #Tech #LambdaCalculus #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172051

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172051

    Don't have an account? Find a server at joinmastodon.org

    May 15, 2025

  • @aartaka Making Sense of Lambda Calculus 4: Applicative vs. Normal Order #Tech #LambdaCalculus #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172230

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172230

    Don't have an account? Find a server at joinmastodon.org

    Mar 17, 2025

  • @aartaka Making Sense of Lambda Calculus 4: Applicative vs. Normal Order #Tech #Programming #LambdaCalculus

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172057

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172057

    Don't have an account? Find a server at joinmastodon.org

    Mar 17, 2025

  • @aartaka Making Sense of Lambda Calculus 3: Truth or Dare With Booleans #Tech #LambdaCalculus #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172254

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172254

    Don't have an account? Find a server at joinmastodon.org

    Jun 12, 2024

  • @aartaka Making Sense of Lambda Calculus 2: Numerous Quirks of Numbers #Tech #LambdaCalculus #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172257

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172257

    Don't have an account? Find a server at joinmastodon.org

    May 10, 2024

  • @aartaka Making Sense of Lambda Calculus 2: Numerous Quirks of Numbers #Tech #LambdaCalculus #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172084

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172084

    Don't have an account? Find a server at joinmastodon.org

    May 10, 2024

  • @aartaka Making Sense of Lambda Calculus 1: Ignorant, Lazy, and Greedy Evaluation #Tech #LambdaCalculus #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172092

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172092

    Don't have an account? Find a server at joinmastodon.org

    Dec 30, 2023

  • @aartaka Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? #Tech #Programming #LambdaCalculus

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172267

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172267

    Don't have an account? Find a server at joinmastodon.org

    Dec 19, 2023

  • @aartaka Making Sense of Lambda Calculus 0: Abstration, Reduction, Substitution? #Tech #Programming #LambdaCalculus

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172094

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172094

    Don't have an account? Find a server at joinmastodon.org

    Dec 19, 2023