Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Lab
  • https://leni.sh

  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
Repositories
13
 Projects Packages Public Activity Starred Repositories
9
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-29 09:22:58 -07:00
d937fc9513 Retrofit handle
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-29 01:19:34 -07:00
a3288ce98f Spindle geometry
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-29 00:53:10 -07:00
bec15c5136 Model of the motor
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-29 00:14:26 -07:00
b565ab05a0 Additional mounting points for machinery on first 3 rings
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-28 23:49:20 -07:00
af82a86652 Eliminate difficult geometry in angle joint
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-28 08:01:30 -07:00
40c32213e1 Motor and bolt models
aniva commented on pull request aniva/Pantograph#205 2025-05-26 12:53:59 -07:00
chore: Update Lean to v4.19.0

Tactic execution pipeline in a nutshell:

import Lean
open Lean

def filename := "<example>"

structure Context where
  env: Environment
  coreContext : Core.Context := {
   …
aniva commented on pull request aniva/Cosplay#11 2025-05-22 12:25:27 -07:00
cosplay: Touhou/Yasaka Kanako

The bearing mechanism doesn't work due to several problems:

  1. The flexibility of the acrylic panels means the bearing balls would fall out 2.The acrylic panels reach too close to the edge,making…
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-21 20:26:04 -07:00
a8c80a307f Handle stub
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-20 19:47:48 -07:00
b1fe538747 Use dihedral angle to calculate sanding block
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-20 08:24:45 -07:00
bd15f28403 Improve grometry
aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-20 08:18:22 -07:00
0574a767a3 Add sanding block
aniva pushed to wayland/hypr at aniva/config 2025-05-18 17:53:00 -07:00
54d1012403 fix: Improve workspace button in eww
aniva pushed to wayland/hypr at aniva/config 2025-05-18 17:26:05 -07:00
6a246e8712 merge: branch 'emacs' into wayland/hypr
05a25f4510 feat: Typst and Julia in emacs
c922e623b1 feat: Julia indent, org roam
1f87caa390 feat: Julia snail, typst heading shift
Compare 4 commits »
aniva pushed to emacs at aniva/config 2025-05-18 17:23:07 -07:00
05a25f4510 feat: Typst and Julia in emacs
aniva pushed to pattern/yasaka-kanako at aniva/Patterns 2025-05-18 12:23:19 -07:00
a347ddf4e6 pattern: Kanako pattern cleanup
aniva pushed to pattern/yasaka-kanako at aniva/Patterns 2025-05-17 13:24:47 -07:00
8bdb60bfc8 pattern: Kanako belt pieces
aniva commented on pull request aniva/Cosplay#11 2025-05-16 12:56:33 -07:00
cosplay: Touhou/Yasaka Kanako

We need some mechanism at the front of the barrel to ensure the side panels don't diverge. Maybe some kind of small angle joint?

aniva pushed to touhou/yasaka-kanako at aniva/Cosplay 2025-05-16 07:16:03 -07:00
bd7e8677c7 Make all angle joints flanged
aniva created pull request aniva/Patterns#2 2025-05-15 23:22:35 -07:00
pattern: Yasaka Kanako