# 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](/kernelnewbies-oftc.txt))

 Some techy things I do (or have done):

 * Co-author of the [Session Types for Rust](sessiontypes.html) library and paper
 * Contributed a few patches to [Hare](https://harelang.org/) - most notably (in
   my humble opinion) the [curve25519](https://git.sr.ht/~sircmpwn/hare/tree/master/item/crypto/curve25519/curve25519.ha) implementation
 * Casual contributor to Gentoo Linux, [proxied
   maintainer](https://packages.gentoo.org/maintainer/t@laumann.xyz) of some
   packages
 * Reimplemented the _excellent_ [Redshift](http://jonls.dk/redshift/) in Rust
   as an exercise. Code is [here](https://git.sr.ht/~laumann/redshift-rs), but
   I've abandoned it for the OG experience
 * Started the [Eudyptula Challenge](http://eudyptula-challenge.org/) in 2014
   and have yet to finish the final task 20 (resubmitted it on Jan 20, 2022)