diff options
| author | Thomas Bracht Laumann Jespersen <t@laumann.xyz> | 2026-07-27 07:54:01 +0200 |
|---|---|---|
| committer | Thomas Bracht Laumann Jespersen <t@laumann.xyz> | 2026-07-27 07:54:01 +0200 |
| commit | 0045c3b3c520ac25431cd458f9c8f7583486b0fe (patch) | |
| tree | c2f442bd4173213c2befec1969cb5abdc863f49d | |
| parent | 4672d5bc620de61e2f0a04e5dfd31ae31b10c021 (diff) | |
Signed-off-by: Thomas Bracht Laumann Jespersen <t@laumann.xyz>
| -rw-r--r-- | site/about.md | 98 |
1 files changed, 62 insertions, 36 deletions
diff --git a/site/about.md b/site/about.md index 748c673..5bacb8e 100644 --- a/site/about.md +++ b/site/about.md @@ -2,50 +2,76 @@ <section> -<p><marginnote name="baby-gentoo"><img style="width: 50%" src="/img/baby-gentoo.png" /></marginnote></p> +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](/kernelnewbies-oftc.txt) 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](/plantbased.html) (for 10+ years). - * 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)) +I am a long-time Gentoo Linux user<sidenote +name="gentoo"><https://gentoo.org>, +<https://wiki.gentoo.org/wiki/User:Laumann></sidenote> and, since July +2026, a developer.<sidenote +name="laumann-announce"><https://public-inbox.gentoo.org/gentoo-dev/41e47edb-3234-4609-8682-827f78ffff90@gentoo.org></sidenote> +Aside from being a great OS, the community is great and the philosophy +and values align with my own. -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). +I am the co-author of the _Session Types for Rust_ paper and +library.<sidenote +name="session-types">See [Session Types for Rust](/sessiontypes.html)</sidenote> I reimplemented +the excellent Redshift<sidenote +name="redshift"><http://jonls.dk/redshift/></sidenote> in Rust as an +exercise.<marginnote name="wlsunset"> +I have since moved to +[wlsunset](https://sr.ht/~kennylevinsen/wlsunset/) for Sway. +</marginnote> +In the time I worked most with Rust, I even made a couple of contributions to the Rust +compiler.<sidenote +name="rustc-contrib"><https://github.com/rust-lang/rust/commits?author=laumann.thomas@gmail.com></sidenote> +In other domains, I have contributed a few patches to Hare,<marginnote +name="hare"><https://harelang.org/></marginnote> most +notably (in my humble opinion) the curve25519 crypto +module.<marginnote name="curve25519">[crypto::curve25519](https://docs.harelang.org/crypto/curve25519/)</marginnote> -## Code +<!-- I am the co-author of the <a href="sessiontypes.html">Session Types --> +<!-- for Rust</a> 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]() --> +<!-- 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<sidenote --> +<!-- name="wlsunset"><https://sr.ht/~kennylevinsen/wlsunset/></sidenote> --> +<!-- 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) --> 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 <a href="sessiontypes.html">Session Types for - Rust</a> 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<sidenote -name="wlsunset"><https://sr.ht/~kennylevinsen/wlsunset/></sidenote> -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<sidenote -name="gentoo"><https://gentoo.org>, <https://wiki.gentoo.org/wiki/User:Laumann></sidenote> 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.<sidenote -name="overlay">[laumann](https://git.sr.ht/~laumann/portage), [soupault](https://git.sr.ht/~laumann/soupault-portage)</sidenote> +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"<marginnote +name="irc">[libera.chat](https://web.libera.chat/gamja/), +[oftc](https://www.oftc.net/)</marginnote>. I have never been on any +major social networks, but you can find me on mastodon. +<marginnote name="masto"><https://mastodon.xyz/@laumann>, <https://social.data.coop/@laumann></marginnote> + +<!-- 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). --> + </section> |
