Leni Aniva

@aniva.bsky.social

151 Followers 67 Following

πŸ”§ 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

A group of ants using a miniature (.2mm thick) straw to drink from a droplet
Yatsuhashi's headband cosplay
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.
Polaroid photograph of a Toyosatomimi no Miko cosplay on a wooden table
Medal of TouhouFest cosplay craftsmanship
Sword circuit board held down by brackets for gluing
Table of (time, pitch) for algorithmic composition using random chords and motifs
Top half of the bicycle tag on a cutting mat, with the wheel showing "Palo Alto | 高槻"
Topological structure of a golden edge sewn onto two sheets of fabric
A garment structure where a placket, a peter pan collar, and a drawstring meet at the front neck. Visualized not to scale
Diagram of a base bodice, collar, and placket sewn together. Not to scale.
Visualization of the one-piece placket band, not to scale, with two types of threads showing the two sewing steps.
FreeCAD sketch view with parameter VarSet on the left and a front dress pattern on the right
Tenshi fumo with a huge pine cone
account @parn.bsky.social
A screenshot of dark mode blog generated from typst. It contains a diagram for trigonometry, a formula for the equivalent definitions of e, and a code snippet.
Green-backed Hakkero circuit held on a soldering stand with a multimeter in the background
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 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)
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.
Silhouette art of a woman wearing a monocular visor looking at the night sky with milky way. Stars are labeled as if viewed through the visor. Stars correspond to my research directions.
Dark mode cover image with objects representing different parts of the website.
A cosplay prop crown for Shiki Eiki Yamaxanadu of Touhou Project
Rumia explaining the try-catch block
A drawing of Cirno on a whiteboard to the pose of "Perfect Math Class". Next to Cirno is a speech bubble "The Perfect Math Class will begin this spring! Centaur Lab will host a seminar course on Lean 4 for math formalization. Preview at https://perfect-math-class.leni.sh/"
ζ±δΊ¬ζ–°θžγ€€01/07 朝刊
Me posing as Airmoto in front of Soka Gakkai headquarters
A Suwako fumo sitting on a table on Shinkansen
A Suwako fumo in front of a screen sitting on a boarding pass to Tokyo Haneda
A license plate frame with the text "Gensokyo" inscribed on it in aluminium in Japanese and English. A car's front can be seen in the background.
Backlit pumpkin carved to the shape of Kirisame Marisa