From 1dd30ce0bad8b57e707382df2418335e2f81a4c4 Mon Sep 17 00:00:00 2001 From: Ren Lin Date: Mon, 9 Jun 2025 00:22:26 -0700 Subject: [PATCH] Update index.html --- public/index.html | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/public/index.html b/public/index.html index 053237e..f20dfef 100644 --- a/public/index.html +++ b/public/index.html @@ -109,6 +109,16 @@ mit.edu/~ananthv/www Intrepid Haskeller, undergrad category theorist, founding member + + Nicholas "nluo" + github.com/Nluo923 + osu gamer, yuri enjoyer, founding member + + + Arvind "QuantaLabs" + github.com/Quantalabs + avid mathamatician, d1 frc robotics programmer, founding member + There are no membership dues—rather, members are encouraged to donate infrastructure and time as available.