iiinova — where your digital self keeps evolving

Leni Aniva @aniva.bsky.social · 06/10/2026

Somehow Kawausagi has one. You can ask him.

Leni Aniva @aniva.bsky.social · 06/10/2026

www.youtube.com/watch?v=kB4f... なぜANAの音楽は「神々が恋した幻想郷」と似ているか (2:32) Why is ANA's music similar to "Gensokyo the Gods Loved"? (2:32) #touhou #東方Project

youtube.com

ANA(All Nippon Airways) boarding music

YouTube video by yyy ttt

020

Leni Aniva @aniva.bsky.social · 06/10/2026

Yes, but I and Kawausagi both don't have a machine that can read it.

110

Leni Aniva @aniva.bsky.social · 17/09/2026

Presenting the Nazrin paper in FMCAD 2026 at TU Graz wearing #TsukumoYatsuhashi #cosplay (not really). This set is an early Edo period design for Yatsuhashi, with embroidered fluorescent lines.

182

Reposted by Leni Aniva

Hoshino Lina (星乃リナ) 🩵 3D Yuri Wedding prep!!! @lina.yt · 14/09/2026

I've said it before. Vibe/AI coding is a symptom of the software industry's problem with tech debt, bloat, over-complexity, and feature creep. If you are using AI to write "boilerplate"... why are you writing boilerplate? Good tooling doesn't need boilerplate. Re: vt.social/deck/@ariadn...

vt.social

VT Social

4707

Leni Aniva @aniva.bsky.social · 13/09/2026

I have made a joke with my manager that if I get invited to KIAS for a talk, I'll make a Hanbok, so Hanbok version #KomanoAunn it is then!

030

Leni Aniva @aniva.bsky.social · 11/09/2026

If you plan to visit San Francisco's TIAT gallery, just know that it charges $10 for admissions and has a bunch of AI generated art that aren't even good. There are still non-AI exhibitions.

001

Reposted by Leni Aniva

TouhouFest Official @touhoufest.org · 07/09/2026

Good morning, everyone!! We have a message to share with you from ZUN-san about the release of Touhou Koumakyou: New Classic! #touhou #東方Project

0238

Leni Aniva @aniva.bsky.social · 06/09/2026

I'm trying to convince claire to wear this to FARM next year

110

Leni Aniva @aniva.bsky.social · 06/09/2026

Is a Sari (based on Benzaiten/Saraswati) version of Tsukumo Benben a good idea? I might make this next year.

Design for Tsukumo Benben cosplay with Sari

140

Leni Aniva @aniva.bsky.social · 05/09/2026

I'm going to Reitaisai this autumn!!

030

Leni Aniva @aniva.bsky.social · 03/09/2026

The next cosplay design will involve Laplace transform

030

Leni Aniva @aniva.bsky.social · 01/09/2026

If you are short on wallpapers take a look at WikiLovesEarth wikilovesearth.org/wiki-loves-e...

wikilovesearth.org

Wiki Loves Earth International presents the best images in 2025! – Wiki Loves Earth

010

Leni Aniva @aniva.bsky.social · 31/08/2026

What if I want my favourite characters to stay obscure

100

Leni Aniva @aniva.bsky.social · 31/08/2026

centaur.stanford.edu/event_centau... The schedule for Stanford Centaur Lab's 2026 annual meeting is public. I'll give a talk about GNN for Theorem Proving (Nazrin).

centaur.stanford.edu

events

Center for Automated Reasoning at Stanford University

030

Leni Aniva @aniva.bsky.social · 28/08/2026

I drafted and made this early Edo period Kosode and Hakama in FreeCAD. It is very useful to overlay the pattern pieces and compare sleeves and collar lengths.

0101

Leni Aniva @aniva.bsky.social · 26/08/2026

Chair of FARM '26 (Mae Milano): "Do you think I'm not online enough to know why your paper is called Prismriver" (Presenting codeberg.org/aniva/Prismr... with @lambdaclaire.bsky.social) #tsukumoyatsuhashi #cosplay #九十九八橋 #東方コスプレ

I presenting accompaniment generation composition with Claire Wang

080

Leni Aniva @aniva.bsky.social · 06/08/2026

Ants here have learned to use a straw

A group of ants using a miniature (.2mm thick) straw to drink from a droplet

221

Leni Aniva @aniva.bsky.social · 05/08/2026

Using capacitance of orthogonal conductors to measure the position of hand. (before anyone asks, this is for a cosplay)

010

Leni Aniva @aniva.bsky.social · 22/07/2026

The Nazrin paper which introduced Transposing Atomization in #leanprover has been accepted to FMCAD '26! For an explanation of the algorithm and the source code, see leni.sh/post/260802-...

leni.sh

Nazrin: A Transposing Atomization Algorithm | The Chrysoberyl

100

Leni Aniva @aniva.bsky.social · 19/07/2026

Ultraviolet Tsukumo Yatsuhashi 紫外線の九十九八橋 YVO4:Eu

051

Leni Aniva @aniva.bsky.social · 18/07/2026

Normalize wearing folk costumes to conferences

020

Leni Aniva @aniva.bsky.social · 14/07/2026

I'm excited to announce that my paper, Prismriver, with @lambdaclaire.bsky.social, has been accepted into FARM '26! Prismriver is a music formalization library in #leanprover. This blog post contains an explanation of the paper. leni.sh/post/260801-...

leni.sh

Announcing the release of Prismriver.lean | The Chrysoberyl

160