<optimized out> :v_trans: :v_bi:

@ fleckenstein @social.lizzy.rs

Posts

0

Comments

13

Joined

3 yr. ago

ifndef LIZZYHdefine LIZZYH

include @navi․h

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