About

⊕

• 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
• can hand-edit raw diffs (proof)

You can reach out in different ways: via email (t @ this domain). On IRC I’m laumann on libera.chat and oftc. I have never been on the major social networks, but I am on mastodon.

Code

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

• 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
• Reimplemented the excellent Redshift in Rust as an exercise. Code is here, but I abandoned it for the OG experience and later moved to wlsunsethttps://sr.ht/~kennylevinsen/wlsunset/ for Sway.
• Started the Eudyptula Challenge 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 userhttps://gentoo.org, https://wiki.gentoo.org/wiki/User:Laumann and now proxied maintainer. I run the run the overlay QA checks and maintain some overlays.laumann, soupault