* extremely detail-oriented, the kind of person who will go to the trouble of ensuring that quotation marks (“”) are used instead of the inferior ones (`""`) * 10+ years of living [100% plantbased](/plantbased.html) * can hand-edit raw diffs ([proof](/kernelnewbies-oftc.txt)) You can reach out in different ways: via email (`t` @ this domain). On IRC I'm `laumann` on [libera.chat](https://web.libera.chat/gamja/) and [oftc](https://www.oftc.net/). I have never been on the major social networks, but I am on [mastodon](https://mastodon.xyz/@laumann). ## Code I keep code in various places: [git.laumann.xyz](http://git.laumann.xyz), [git.sr.ht/~laumann](https://git.sr.ht/~laumann), [nest.pijul.com](https://nest.pijul.com/laumann), and [github](https://github.com/laumann). * Co-author of the Session Types for Rust 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 * 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 abandoned it for the OG experience and later moved to wlsunset for Sway. * Made a couple of [contributions to the Rust compiler](https://github.com/rust-lang/rust/commits?author=laumann.thomas@gmail.com). * 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) ## Gentoo I'm a long-time Gentoo Linux user, and now [proxied maintainer](https://packages.gentoo.org/maintainer/t@laumann.xyz). I run the run the [overlay QA checks](https://bugs.gentoo.org/552950) and maintain some overlays.[laumann](https://git.sr.ht/~laumann/portage), [soupault](https://git.sr.ht/~laumann/soupault-portage)