Hello!
I’m a software engineer from Scotland, with an interest in systems
software and open source software. You’ll find me as
davidtwco around the internet.
Open Source
I’m a member of the
Rust compiler team, so my open source contributions comprise mostly
of patches to the compiler for the Rust programming language. Throughout
my time contributing, I’ve been a member of the non-lexical
lifetimes (NLL), async/await
and diagnostics
working groups and have been a co-lead of the polymorphisation
and meta
working groups. My contributions have included the #[non_exhaustive]
attribute from RFC 2008; polymorphisation, a code-size/compile-time
optimisation for reducing unnecessary monomorphisation; and Split DWARF
support.
I’ve also contributed to other open source projects, such as NixOS - a reproducible Linux distribution - and Zulip - a real-time chat application with threading. You can find an exhaustive list of my open source contributions on GitHub.
Personal Infrastructure
All of my personal infrastructure is maintained declaratively using
Nix, which you can find at davidtwco/veritas.
Configuration for my desktops, servers, laptops, dotfiles, packages and
this website are built reproducibly from the veritas
project.
Work
I’m currently working on compilers and programming languages (including Rust!) at Huawei R&D in Edinburgh.
Previously, I’ve worked within the infrastructure team at Codeplay Software, where I was responsible for the continuous integration infrastructure and led the effort to make the core infrastructure reproducible. In addition, I was a compiler engineer on engineering projects at Codeplay where I worked with LLVM, Clang, SPIR-V and NVPTX.
You can download my curriculum vitae here.
Contact
If you’d like to chat, send me a message on on Telegram, on WeChat (see QR code in
the sidebar), or you can shoot me an email at hello@davidtw.co (my PGP
key is [0x9F53F154][keybase], if you need it).
