My Interest Tags:
#haskell#idris#coq#golang#devops#netsec#programming#fp#functionalprogramming#plt#queer#feminism#antiracism#socialjustice#trans#vegan#machinelearning#diversity#womenintech
