define GIRLFRIEND navi // :patsNavi:
Bi transfem from Germany.18 and on the autism spectrum.
:blobcattrans: HRT since 18.01.2024
Systems programmer and aspiring mathematician. Constructivist.
Passionate about Lua, Rust, Haskell and C. Studying Computer Science at TU Darmstadt. Member at @cccda.Free Software user and contributor, uses Artix Linux.
I'm interested in formal verification, operating systems development, graphics programming and compiler development / programming language design.
Communist, kind of a theory nerd. Aligns with Rosa Luxemburg and Leon Trotsky.
Besides programming, I like video games, crocheting, literature, anime and cuddling cuties.
Most of my posts are in Engli