Privacy Nerd, Haskell Shill, Anti-Imperialist Scum
Stuff I Spend Too Much Time Doing
  • Advanced Googling (OSINT)
  • OpSec and threat modeling
  • Messing with types in languages I'm too dumb to understand
    • Writing type-safe programs in Idris2
    • Theorum proving in Agda
  • Making Minecraft clients
Places I've Worked
  • AlturaNFT
    • Full-Stack Developer
    • December 2021 to May 2022
    • Left due to better offer
  • Delta Studios
    • Full-Stack Developer and Project Manager
    • May 2022 to June 2022
    • Company dissolved
Find Me
<-- Tanvi
This site is part of the Kenring webring
Steggo -->