Hey, I'm varkor.

You may know me either from my work on the Rust programming language, or on the commutative diagram editor quiver. Right now, I'm focusing on postdoc in mathematics and theoretical computer science, so I'm taking a short break from development, but will be working on both Rust and quiver again as soon as I can.

Rust

Until recently, I was part of the compiler team for the Rust programming language. I work on various aspects of the compiler, including the const generics language feature, pattern-matching, diagnostics, lints, and fixing compiler crashes. I'm also involved in pushing several language feature designs forward, including impl Trait in type aliases, enum variant types and exhaustive integer pattern matching. I occasionally share ideas I have on Rust language design on my blog.

Rust is a great language, with a powerful and helpful compiler, and I'd like to be able to spend more of my time improving it. Contributing a little will allow me to put more of my energy into developing the language and tooling, as well as mentoring newcomers to the compiler, making the language we love even better.

quiver

I developed quiver as a tool to help with my research, because too much of my time was taken up manually typesetting commutative diagrams in LaTeX. Since its release in November 2020, it's become an invaluable tool for many people in the mathematical community. I have lots of ideas for how to improve quiver (you can see some of them here) and thus make it even more useful. If you appreciate quiver and want to show your support, I'm very grateful for any contributions, which will allow me to dedicate more time to focus on making the editor even better.

Note about tiers: the tiers are currently a stand-in for a custom donation amount, and, as such, there are no associated rewards: anything is appreciated, and will help me spend more time on Rust and quiver. I'm always happy to discuss the language or compiler, and if you'd like help starting with a particular Rust issue, feel free to send me a ping on GitHub, Discord or Zulip.