well i'm naki (she/her, a pony). i like low-level stuff like programming in c. i dislike rust, though!!
also imo rocq is cool. formal verification is rather cute and interesting! i have an undone yet project that is a framework for scrap mechanic logic verification, i think it's a good thing to do
i'm also interested in photography a bit i think, as being able to capture beautiful things you see on your path to share with others is a fascinating skill. i'm not really learning it but sometimes shoot some photos, maybe i'll post them. i'm gonna buy a cute olympus camera soon btw