Leni Aniva
@aniva.bsky.social
🔧 Researcher in Machine Assisted Theorem Proving at https://centaur.stanford.edu/
☯️ Director of NorCal Hakkero Factory No. 1 (I make #touhou cosplay props)
🔗 https://leni.sh, https://pixelfed.social/chrysoberyl
❄️ Training AI on my content is prohibited
☯️ Director of NorCal Hakkero Factory No. 1 (I make #touhou cosplay props)
🔗 https://leni.sh, https://pixelfed.social/chrysoberyl
❄️ Training AI on my content is prohibited
Even research projects can be riced if you try hard enough
November 9, 2025 at 5:58 AM
Even research projects can be riced if you try hard enough
October 31, 2025 at 3:28 AM
A user on Lean Zulip chat greeted me with "ciallo～(∠・ω<)⌒☆", so I replied to them with "Da★ze", but they did not respond.
October 17, 2025 at 3:54 AM
A user on Lean Zulip chat greeted me with "ciallo～(∠・ω<)⌒☆", so I replied to them with "Da★ze", but they did not respond.
Remaking #yasakakanako 's onbashira's bearing disk mechanism after accidentally breaking the previous one. See details here leni.sh/post/250708-... #cosplay
August 15, 2025 at 4:49 AM
Remaking #yasakakanako 's onbashira's bearing disk mechanism after accidentally breaking the previous one. See details here leni.sh/post/250708-... #cosplay
今になってこの人はCS99の訪問者の半分を引き付けた
July 23, 2025 at 9:13 PM
今になってこの人はCS99の訪問者の半分を引き付けた
I drew a new cover art for my research page! I have not given her a name, but the character on the left is my #OC (see avatar). #vectorart #silhouette #inkscape
July 23, 2025 at 5:44 AM
I drew a new cover art for my research page! I have not given her a name, but the character on the left is my #OC (see avatar). #vectorart #silhouette #inkscape
Please board: No service
July 21, 2025 at 12:31 AM
Please board: No service
July 15, 2025 at 5:52 AM
July 9, 2025 at 8:04 AM
New svg-based #isometric cover image for leni.sh
June 23, 2025 at 12:59 AM
New svg-based #isometric cover image for leni.sh
June 15, 2025 at 3:34 AM
A machine gun in an onbashira for Yasaka Kanako #touhou #cosplay #yasakakanako #東方Project #cosplayprops
June 10, 2025 at 4:08 AM
A machine gun in an onbashira for Yasaka Kanako #touhou #cosplay #yasakakanako #東方Project #cosplayprops
May 25, 2025 at 12:51 AM
#cosplay #touhou Shiki Eiki Yamaxanadu's crown designed using Gauss' Theorema Egregium. Source code: git.leni.sh/aniva/Cospla...
April 19, 2025 at 3:53 AM
#cosplay #touhou Shiki Eiki Yamaxanadu's crown designed using Gauss' Theorema Egregium. Source code: git.leni.sh/aniva/Cospla...
The Perfect Math Class is coming this spring! I'll be the instructor of the newly created Stanford #lean course CS99, covering from functional programming and mathematics to meta-programming. See perfect-math-class.leni.sh
January 30, 2025 at 6:55 AM
The Perfect Math Class is coming this spring! I'll be the instructor of the newly created Stanford #lean course CS99, covering from functional programming and mathematics to meta-programming. See perfect-math-class.leni.sh
January 22, 2025 at 3:26 AM
Somehow got on a Japanese newspaper, but I told the journalist I came here because of 東方Project and it wasn't included ):
January 7, 2025 at 12:05 AM
Somehow got on a Japanese newspaper, but I told the journalist I came here because of 東方Project and it wasn't included ):
Time to visit Suwako's home shrine with her
December 15, 2024 at 11:56 AM
Time to visit Suwako's home shrine with her
Some folks noticed my bizarre story about getting into CS leni.sh/post/231130-...
December 8, 2024 at 9:24 AM
Some folks noticed my bizarre story about getting into CS leni.sh/post/231130-...
