/u/Saefroch on Reddit, @saethlin@hachyderm.io
on Mastodon, Saethlin everywhere else on the internet.
I do things like:
- Maintenance of miri.saethlin.dev/ub also known as Crater At Home
- Generally improving Miri, such as rust-lang/rust#109061. If you have trouble with Miri, let me know!
- Making the Rust compiler faster, sometimes unintentionally: rust-lang/rust#115286