Leni Aniva

中学生にころ、私は創価学会ネタと「東方頭破七分」の音MADが大好きで、同じ学校の日本人留学生にわくわくしながその話をしていました。私が「久本さん」や「今夜は砕頭」と口にしていたせいで、その人は私のことを創価学会の信者だと勘違いしてしまいました。

ちこさん、そう受け取らせてしまって、すみませんでした。私は創価学会の信者ではありません。

「高槻」と「Palo Alto」とは同一意味ですか

Gen AI is what the techbros are pushing and it's full of problems.

The scores are available here: git.leni.sh/aniva/OpenMu...

"Your sense of harmony is very non-Western" -A violist after playing these two #touhou duets with me

Configuring nextest - cargo-nextest Configuring nextest: information about profiles and hierarchical configuration.

All Git repository tool configuration files (CI, issue template, etc.) should go in to `.config` like Cargo Nextest: nexte.st/docs/configu...

Currently we have .gitlab, .config, .cargo, ..., and it creates clutter.

Checkout the Touhou Zuhashichibun (東方頭破七分) videos in the description!

Green-backed Hakkero circuit held on a soldering stand with a multimeter in the background

Assembly of the #Hakkero #Circuit

After using Cadquery to make cosplay for 1.5 years I'm now moving away from it to #FreeCAD mainly because of:

1. Lack of interactive visualization tools. CQ-editor is fine but
2. Imports and visualization are incompatible with stl/obj files
3. Lack of integration with finite element solver

2026's main cosplay R&D Projects:

1. Toyosatomimi no Miko
2. Houjuu Nue (electromechanics)
3. Hijiri Byakuren's scroll (ITO thin film?)

Cover page of leni.sh with objects corresponding to links. Including research (theodolite), theme switch (mini solar system), blog (hakkero), archives (capacitor), RSS (radar dish), Git (crucible), about (visor)

A year ago, I saw the website of Yachie Lab (yachie-lab.org) at UBC and University of Osaka. It inspired me to make a cover page for my own website at leni.sh

Concourse.nix Concourse Tools for Nix

#concourseci in #nix is packaged here: codeberg.org/aniva/Concou...

After the current MATP research is released, I'll post the #SuperSinography translations of some of the newly coined words.

今之機械定理証明研究(MATP)出版後、我意欲翻訳新発明之術語入#超漢文 。

例(Ex.): 探索視(Search View)

Julia is for the machine learning part

When the research project concludes I'll share the polished version of the code. This repo is a huge construction site at the moment.

A Git repository composition bar with 1590 commits, 12 branches, 1 tag, 16 MiB storage; 65.8% Rust (light orange), 19.4% Lean (grey), 8.3% Julia (purple), 2.3% Svelte (red), 1.3% Nix (violet), 2.9% Other (grey)

5 alternative languages ( #Rust #LeanLang #JuliaLang #Svelte #Nix ) in 1 repository

git.leni.sh/aniva/OpenMu...

I typeset Touhou violin music here in LilyPond format.

YouTube video by qwer 東方弾幕風で髙〇早苗の弾幕を作った

Found this gem on Youtube: m.youtube.com/watch?v=yrdy...

Bluesky is incorrectly labeling this as a fundraising link

Even research projects can be riced if you try hard enough

#touhou #badapple pumpkin carving

The scraping is likely coming from Lean FRO's external link of my website. Almost all the scraping traffic comes from Brazil for some reason.

Today, bots finally managed to overwhelm my tiny server at leni.sh and caused crashes on my Git server. It will be back online after further strengthening.

This is why I enforce a strict no-online-AI policy for my research collaborators. Never trust these companies.

A user on Lean Zulip chat greeted me with "ciallo～(∠・ω<)⌒☆", so I replied to them with "Da★ze", but they did not respond.

If people want more frequent updates for my open source repositories they should consider helping me with cosplay. 🥲

If anyone wants to write a relativistic bullet hell game I'm down to write the engine.

Manifest2Nix.jl A Nix library for building Julia Projects

To address the reproducibility crisis in computer science, I made codeberg.org/aniva/Manife... (also available on GitHub). Create reproducible #Nix builds for your #JuliaLang experiments!

A table with "Stanford Anime Club" draped from the edge. On left side of the table, there is a laptop with Touhou Kishinjo, and a person is playing it.

This year, we setup a booth for people to play #Touhou at Stanford Festifall.

I do this too. If I set the font size to 10pt like what I did on 1080p monitors they would be too difficult to read, and if I don't scale up the icons they become hard to click.