Who
Hello! I’m Thomas. Some things about me:
- the kind of person who will go to the trouble of ensuring that quotation marks (””) are used instead of the inferior ones ("")
- extremely detail-oriented
- can hand-edit raw diffs (proof)
Some techy things I do (or have done):
- Co-author of the Session Types for Rust library and paper
- Contributed a few patches to Hare - most notably (in my humble opinion) the curve25519 implementation
- Casual contributor to Gentoo Linux, proxied maintainer of some packages
- Reimplemented the excellent Redshift in Rust as an exercise. Code is here, but I’ve abandoned it for the OG experience
- Started the Eudyptula Challenge in 2014 and have yet to finish the final task 20 (resubmitted it on Jan 20, 2022)