Тролль-недоучка рассказывающая теорию типов на вписках.

Пытаюсь выжить в Самаре.

Scala Developer в организации торгующей членами.

В свободное время неуспешно пытаюсь кодить что-нибудь на Agda и научиться играть на восьмиструне.

Прогрессивный анкап-феминистка мечтающий о киберпанке.

Аккаунт захвачен большим японским котом и огромным американским енотом.