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)