🌵🍒 apulimu 🍒🌵
banner
applimu.bsky.social
🌵🍒 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
Despite being a transsexual I'm pretty basic about relationships lol
November 23, 2025 at 6:32 AM
Fun coincidence:
October 31, 2025 at 4:21 PM
October 24, 2025 at 4:25 PM
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
Idk... wikipedia says that javascript is a functional language
October 4, 2025 at 9:43 PM
Its the same thing as this
August 28, 2025 at 7:04 AM
-_- missed having internet for two days bc of this
August 21, 2025 at 11:14 PM
I got basic lambda lifting working in my language!!!
August 19, 2025 at 8:37 AM
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 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
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
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
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
Okay I did NOT remove enough local variables when i posted this 💀

It can calculate the 50th fibonacci number now instantly don't worry
May 21, 2025 at 8:17 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)
May 21, 2025 at 7:13 PM
May 15, 2025 at 11:54 PM
Essentially this:
May 8, 2025 at 5:21 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.
May 2, 2025 at 4:34 AM
This just straight up kills lean 😭
February 24, 2025 at 12:29 AM
I literally have no idea why ur not letting me be graded. Horrible UI.
February 6, 2025 at 1:30 AM
Im actually shaking after this last league game what the fuck
February 2, 2025 at 9:10 PM
This is actually the least helpful thing ever!!! what the fuck do you want from me!!!
January 30, 2025 at 12:14 AM
on the bright side we got a new will wood community note:
January 21, 2025 at 3:36 AM
Omg im happy for u!!!!
December 25, 2024 at 7:25 PM
Just found my favorite youtube links section:
December 18, 2024 at 1:03 AM