opale !!

@n1ark.acouphene.net

155 Followers 148 Following

compsci phd + soteria rust @ https://soteria-tools.com writing + dev @ https://acouphene.net myself @ https://n1ark.com she/her 🏳️‍⚧️

butter brioche cooked in a tin
8 simultaneously open Z3 processes, all taking >90% of the CPU
more than 100 lines of OCaml type errors