About

Generally a private person so this section is sparse on personal details. Thomas is a detail-oriented person, the kind who enjoys caring for the small details, like ensuring that proper quotation marks (“”) are used instead of the inferior ones (""). He possesses a strange gift of spotting typos in texts before anything else, especially without deriving any meaning from the words. As evidence to this character, he has proved an ability to hand-edit raw diffs which requires some care in handling whitespace, context lines, and hunk headers. Aside from the technical minutiae, Thomas lives 100% plantbased (for 10+ years).

I am a long-time Gentoo Linux userhttps://gentoo.org, https://wiki.gentoo.org/wiki/User:Laumann and, since July 2026, a developer.https://public-inbox.gentoo.org/gentoo-dev/41e47edb-3234-4609-8682-827f78ffff90@gentoo.org Aside from being a great OS, the community is great and the philosophy and values align with my own.

I am the co-author of the Session Types for Rust paper and library.See Session Types for Rust I reimplemented the excellent Redshifthttp://jonls.dk/redshift/ in Rust as an exercise.⊕ I have since moved to wlsunset for Sway. In the time I worked most with Rust, I even made a couple of contributions to the Rust compiler.https://github.com/rust-lang/rust/commits?author=laumann.thomas@gmail.com In other domains, I have contributed a few patches to Hare,⊕https://harelang.org/ most notably (in my humble opinion) the curve25519 crypto module.⊕crypto::curve25519

I keep code in various places: git.laumann.xyz, git.sr.ht/~laumann, nest.pijul.com, and github.

There are different ways to reach me: by email, I am “t” at this domain, my Gentoo mail is my handle at gentoo.org. On IRC I go by “laumann”⊕libera.chat, oftc. I have never been on any major social networks, but you can find me on mastodon. ⊕https://mastodon.xyz/@laumann, https://social.data.coop/@laumann