Ants here have learned to use a straw

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

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

@mirihawke.bsky.social took these pictures when I won the #TouhouFest '26 #cosplay craftsmanship competition as #toyosatomiminomiko! #東方コスプレ #豊聡耳神子

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

Normalize wearing folk costumes to conferences

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

Logo for Stanford #Touhou Society coming this autumn

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

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

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

How can I cite a video game?

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

forgejo-concourse

A Forgejo Resource for Concourse CI

codeberg.org

#touhou #東方Project #cosplay #東方コスプレ Sword-drawn #toyosatomiminomiko 剣を抜く　#豊聡耳神子

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

#touhou #cosplay #toyosatomiminomiko #東方Project #豊聡耳神子 Photographer: @ironiamarisa.bsky.social

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

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

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.

Algorithmic composition in #leanprover using Prismriver! #musictheory github.com/lenianiva/Pr...

Perfect Cherry Blossom meetup at Fanimecon

I need to learn Sign Language to communicate with my Kigurumi friends

#touhou #cosplay of #ToyosatomiminoMiko at #fanimecon

Toyosatomimi no Miko's copper belt 豊聡耳神子の銅ベルト #touhou #cosplay

Customizable 3D printed rotating #caltrain #bicycle tag (remember to waterproof the paper) Model: codeberg.org/aniva/BikeTa...

#touhou #cosplay piccolo-violin duet at Davis Day #ucdavis

A tutorial about #NixOS e2e testing using ACME fixture servers to provide TLS. No compromises! leni.sh/post/260411-...

Topological Intersection Stackup Diagrams (TISD) for #sewing #visualization leni.sh/post/260410-...

A tutorial about #cosplay #fx in #blender using environment textures and shadow catchers leni.sh/post/260310-...

Topological #visualization of #sewing patterns: Collar stackup