I’m Laine, Laino, or Laina (they’re all equivalent)! I love computers and math and computer math and math computers and math math and computer computers—interests include linguistics, type theory, programming language theory, constructive foundations, and the wide array of GSSRMNM topics (gender, sex, sexuality, romance, multiplicity/plurality, neurodivergence) and anything else in the generalized “queer” space.
Gray ace/bi | aro | NB | plural | AuDHD