Storm
@meloncomposer.bsky.social
I love Touhou and Len'en Project. I do art and music composition.
I possess a limited understanding of Japanese
she/her
No AI is used for any of my content
東方と連縁が大好き。描くことと作曲をします。
日系アメリカ人（日本語の理解は限定的）
https://en.pronouns.page/@meloncomposer
I possess a limited understanding of Japanese
she/her
No AI is used for any of my content
東方と連縁が大好き。描くことと作曲をします。
日系アメリカ人（日本語の理解は限定的）
https://en.pronouns.page/@meloncomposer
Oh dear, may things go well regarding whatever it is that may be stressing you
(Perchance is this sports related?)
(Perchance is this sports related?)
January 12, 2026 at 12:52 AM
Oh dear, may things go well regarding whatever it is that may be stressing you
(Perchance is this sports related?)
(Perchance is this sports related?)
Reposted by Storm
Cirno is used for tips from the mathematicians perspective, like how certain mathematics concepts are implemented in Lean, while Rumia is used for tips from the computer scientist’s perspective, like syntax help.
twitter.com/leanprover/s...
twitter.com/leanprover/s...
January 9, 2026 at 7:24 PM
Cirno is used for tips from the mathematicians perspective, like how certain mathematics concepts are implemented in Lean, while Rumia is used for tips from the computer scientist’s perspective, like syntax help.
twitter.com/leanprover/s...
twitter.com/leanprover/s...
Reposted by Storm
To learn more about the backstory behind this project, I traveled to Stanford to interview one of the instructors of the course! Check out the video here!
youtu.be/YdcnZD__IeI
youtu.be/YdcnZD__IeI
Cirno's Perfect Math Class in REAL LIFE | Touhou Hijack Field Club
YouTube video by Delta Pie
youtu.be
January 9, 2026 at 7:24 PM
To learn more about the backstory behind this project, I traveled to Stanford to interview one of the instructors of the course! Check out the video here!
youtu.be/YdcnZD__IeI
youtu.be/YdcnZD__IeI
Perchance does this have anything to do with Drake May? (guess based on the fragments of knowledge that you have disseminated regarding football)
January 8, 2026 at 10:07 AM
Perchance does this have anything to do with Drake May? (guess based on the fragments of knowledge that you have disseminated regarding football)