KattyTheEnby
@kattytheenby.bsky.social
Pansexual, non-binary cat furry and programmer.
Born October 30th, 2006.
My website: https://calinzbaenen.github.io/
Mastodon profile: https://mastodon.social/@KattyTheEnby
Banner by: https://www.reddit.com/user/MuTT0nM0nk3y/
Born October 30th, 2006.
My website: https://calinzbaenen.github.io/
Mastodon profile: https://mastodon.social/@KattyTheEnby
Banner by: https://www.reddit.com/user/MuTT0nM0nk3y/
> Hey, Junk-o-Tron is out of lotcheck with Nintendo!
Congratulations. 👏
Congratulations. 👏
November 15, 2025 at 3:21 PM
> Hey, Junk-o-Tron is out of lotcheck with Nintendo!
Congratulations. 👏
Congratulations. 👏
Ov course!
Feel free to ask me anything, anytime! :3
Feel free to ask me anything, anytime! :3
October 13, 2025 at 8:43 PM
Ov course!
Feel free to ask me anything, anytime! :3
Feel free to ask me anything, anytime! :3
Also, check this out!
I think it visualizes lambda calculus in a cool way!
cruzgodar.com/applets/lamb...
I think it visualizes lambda calculus in a cool way!
cruzgodar.com/applets/lamb...
Lambda Calculus
cruzgodar.com
October 13, 2025 at 8:37 PM
Also, check this out!
I think it visualizes lambda calculus in a cool way!
cruzgodar.com/applets/lamb...
I think it visualizes lambda calculus in a cool way!
cruzgodar.com/applets/lamb...
You're welcome! — I'm always happy to teach something new! ✌️
October 13, 2025 at 8:37 PM
You're welcome! — I'm always happy to teach something new! ✌️
Why not learn today?
Like algebra, It's just a set ov rules for manipulating symbols to form computations. — Excluding letters for variables and parentheses, lambda calculus uses only two symbols: lambda (λ) and dot (.), which define "lambda abstractions" (which are, essentially, functions).
Like algebra, It's just a set ov rules for manipulating symbols to form computations. — Excluding letters for variables and parentheses, lambda calculus uses only two symbols: lambda (λ) and dot (.), which define "lambda abstractions" (which are, essentially, functions).
For anyone interested in lambda calculus, here is the first reduction ov the Y-combinator explained textually.
[CC: @ycombinator.com.web.brid.gy]
#LambdaCalculus #Mathematics
[CC: @ycombinator.com.web.brid.gy]
#LambdaCalculus #Mathematics
October 13, 2025 at 8:34 PM
Why not learn today?
Like algebra, It's just a set ov rules for manipulating symbols to form computations. — Excluding letters for variables and parentheses, lambda calculus uses only two symbols: lambda (λ) and dot (.), which define "lambda abstractions" (which are, essentially, functions).
Like algebra, It's just a set ov rules for manipulating symbols to form computations. — Excluding letters for variables and parentheses, lambda calculus uses only two symbols: lambda (λ) and dot (.), which define "lambda abstractions" (which are, essentially, functions).
That's not too bad looking.
> I'll be teaching people how to do this at a #gamedev club presentation later this month.
When?
And will it be recorded? (Wouldn't want to miss it. 😅)
> I'll be teaching people how to do this at a #gamedev club presentation later this month.
When?
And will it be recorded? (Wouldn't want to miss it. 😅)
October 13, 2025 at 4:10 PM
That's not too bad looking.
> I'll be teaching people how to do this at a #gamedev club presentation later this month.
When?
And will it be recorded? (Wouldn't want to miss it. 😅)
> I'll be teaching people how to do this at a #gamedev club presentation later this month.
When?
And will it be recorded? (Wouldn't want to miss it. 😅)