🌵🍒 apulimu 🍒🌵
@applimu.bsky.social
idk you tell me
Fully automated gay space communism believer
Math/type theory nerd
I am above 18 and below 65 years old
Pfp and banner by Joel G
Fully automated gay space communism believer
Math/type theory nerd
I am above 18 and below 65 years old
Pfp and banner by Joel G
!!! This is my favorite theorem ive proved so far :D
(it says if you have a function from a finite type into the natural numbers then it's bounded)
(it says if you have a function from a finite type into the natural numbers then it's bounded)
November 30, 2025 at 7:28 AM
!!! This is my favorite theorem ive proved so far :D
(it says if you have a function from a finite type into the natural numbers then it's bounded)
(it says if you have a function from a finite type into the natural numbers then it's bounded)
I've been proving some things about finite types in lean :D (no mathlib)
I'm v happy I was able to find a definition of a finite type that doesnt rely on injectivity or surjectivity of functions :D
I'm v happy I was able to find a definition of a finite type that doesnt rely on injectivity or surjectivity of functions :D
November 29, 2025 at 5:10 AM
I've been proving some things about finite types in lean :D (no mathlib)
I'm v happy I was able to find a definition of a finite type that doesnt rely on injectivity or surjectivity of functions :D
I'm v happy I was able to find a definition of a finite type that doesnt rely on injectivity or surjectivity of functions :D
this is a Bad update i have been disliking everything youtube is doing to its UI
November 25, 2025 at 6:28 AM
this is a Bad update i have been disliking everything youtube is doing to its UI
Despite being a transsexual I'm pretty basic about relationships lol
November 23, 2025 at 6:32 AM
Despite being a transsexual I'm pretty basic about relationships lol
Who tf captioned the belle delphine + f1nnster picture on wikimedia in toki pona wtf 😭 commons.wikimedia.org/wiki/File:F1...
October 6, 2025 at 5:46 AM
Who tf captioned the belle delphine + f1nnster picture on wikimedia in toki pona wtf 😭 commons.wikimedia.org/wiki/File:F1...
Idk... wikipedia says that javascript is a functional language
October 4, 2025 at 9:43 PM
Idk... wikipedia says that javascript is a functional language
Its the same thing as this
August 28, 2025 at 7:04 AM
Its the same thing as this
-_- missed having internet for two days bc of this
August 21, 2025 at 11:14 PM
-_- missed having internet for two days bc of this
I got basic lambda lifting working in my language!!!
August 19, 2025 at 8:37 AM
I got basic lambda lifting working in my language!!!
I would love to help but unfortunately i am Scared. Maybe I'll think about it in the future but Not Today
August 16, 2025 at 8:09 AM
I would love to help but unfortunately i am Scared. Maybe I'll think about it in the future but Not Today
I wasnt on twitter in 2017 and I didnt hear about phil greaves in my time over there but trying to google him took me on a really weird side tangent into the RationalWiki
August 10, 2025 at 8:04 AM
I wasnt on twitter in 2017 and I didnt hear about phil greaves in my time over there but trying to google him took me on a really weird side tangent into the RationalWiki
Should've been able to catch the error given by the match statement in the bottom but whatever 🙄
July 24, 2025 at 10:00 PM
Should've been able to catch the error given by the match statement in the bottom but whatever 🙄
I watched One video about what AI singularity people think is going to happen to the world and now youtube thinks that i NEED to see videos like this 😭
July 12, 2025 at 7:22 PM
I watched One video about what AI singularity people think is going to happen to the world and now youtube thinks that i NEED to see videos like this 😭
Quicksort in lean!!! Its formally verified to work the way it's supposed to!!! and its not the fake pure-functional quickword its the actual in-place quicksort!!
July 10, 2025 at 6:04 PM
Quicksort in lean!!! Its formally verified to work the way it's supposed to!!! and its not the fake pure-functional quickword its the actual in-place quicksort!!
Okay I did NOT remove enough local variables when i posted this 💀
It can calculate the 50th fibonacci number now instantly don't worry
It can calculate the 50th fibonacci number now instantly don't worry
May 21, 2025 at 8:17 PM
Okay I did NOT remove enough local variables when i posted this 💀
It can calculate the 50th fibonacci number now instantly don't worry
It can calculate the 50th fibonacci number now instantly don't worry
Changing to Rcs didnt help much with memory </3 but what did help is removing local variables that I don't need to remember!!! B)
May 21, 2025 at 7:13 PM
Changing to Rcs didnt help much with memory </3 but what did help is removing local variables that I don't need to remember!!! B)
This made me curious about the etymology of the word "condition" and (according to wikitionary) at some point in latin it meant love. New favorite factoid.
May 2, 2025 at 4:34 AM
This made me curious about the etymology of the word "condition" and (according to wikitionary) at some point in latin it meant love. New favorite factoid.
This just straight up kills lean 😭
February 24, 2025 at 12:29 AM
This just straight up kills lean 😭
I literally have no idea why ur not letting me be graded. Horrible UI.
February 6, 2025 at 1:30 AM
I literally have no idea why ur not letting me be graded. Horrible UI.
Im actually shaking after this last league game what the fuck
February 2, 2025 at 9:10 PM
Im actually shaking after this last league game what the fuck
This is actually the least helpful thing ever!!! what the fuck do you want from me!!!
January 30, 2025 at 12:14 AM
This is actually the least helpful thing ever!!! what the fuck do you want from me!!!