Computer science PhD student at the University of Utah, researching compiler verification with
John Regehr (npub1er4…x9ky).
UNIX historian and archivist.
Occasional Rust standard library contributor.
Site:
https://thalia.devGitHub:
https://github.com/thaliaarchi