Leni Aniva
aniva.bsky.social
🔧 Researcher in Machine Assisted Theorem Proving at https://centaur.stanford.edu/ ☯️ Director of NorCal Hakkero Factory No. 1 (Physics-based #touhou #cosplay) 🔗 https://leni.sh, https://pixelfed.social/chrysoberyl ❄️ Training AI on my content is prohibited
👤 Joined on 09 September 2023
161
Followers
70
Following
209
Total Posts
📜 Kullanıcı Geçmişi
- 09 Eyl 2023, 03:44
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@aniva.bsky.social - 10 Kas 2023, 05:17
🔄 Profil bilgileri güncellendi
