Computer science PhD student at the University of Utah, researching compiler verification with [@regehr](
https://mastodon.social/@regehr ).
UNIX historian and archivist.
Occasional Rust standard library contributor.
Site:
https://thalia.devGitHub:
https://github.com/thaliaarchi