iiinova — where your digital self keeps evolving

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.

171

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

4718

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

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

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 · 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

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

Logo for Stanford #Touhou Society coming this autumn

050

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

Winter cosplan: Ladoga Karelian #lettywhiterock (レティ・ホワイトロック)

131

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

leni.sh/post/260705-... Declarative self-hosting #concourseci in #NixOS with secret provisioning! #devops #selfhosted See example: ci.leni.sh

System structure of Concourse CI service with OIDC provider and secret engine; Concourse Web, Secret Engine, OIDC provider authenticate with each other using certificates. Workers communicate with the web node using ssh keys. All services are behind a proxy.

150

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

🔵🟡 = Python 🔴🟣🟢 = Julia 🔵🟠 = Java 🔵 = C++ 🟠⚫️ = Rust ⚪️ = Lean 🟣 = Haskell 🟢⚪️ = VimScript 🔵🟣⚪️ = Nix 🟡 = JavaScript ⚫️⚪️ = Bash ...

230

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

How can I cite a video game?

020

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

#concourseci #forgejo resource: Integrate various Forgejo functions with Concourse #CI codeberg.org/aniva/forgej...

codeberg.org

forgejo-concourse

A Forgejo Resource for Concourse CI

000

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

5760lm 七星剣 (Big Dipper Sword) for Toyosatomimi no Miko #touhou #cosplayprop

041

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

I won the #cosplay craftsmanship contest at #TouhouFest '26! Complete design schematic: codeberg.org/NHF/Cosplay-...

Medal of TouhouFest cosplay craftsmanship

Toyosatomimi no Miko's sword cosplay prop, drawn, and lit

2111

Reposted by Leni Aniva

José A. Alonso @jalonso.eurosky.social · 19/06/2026

Prismriver: Formalization of music theory and algorithmic composition in Lean 4. ~ Leni Aniva, Claire Wang. arxiv.org/abs/2606.19936 #LeanProver #ITP

021

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

The inventor of the blue LED, Nakamura Shuji, got sued by Nichia after his invention multiplied the company's fortune. He got sued so we can pack 5000lm (exceeds federal limit for car headlamp) in one #cosplay prop sword (Toyosatomimi no Miko) today. Never forget.