A software engineer from Scotland, with an interest in compilers and open source software; co-lead of the Rust compiler team and board of the Rust Foundation
Pinch me! The quality of interviewees we've been getting these days is a dream for us. Just dropped a huge new Rust interview with David Wood, Rust Team Lead at @Arm. Check it out with the link below:
I'm very pleased to announce @davidtwco is joining me in co-leading the #Rust compiler team! 🎉 Thanks Felix for your many years of mentoring and leading the team!
https://t.co/qRaQnXrgvh
We're partnering with Rémy Rakic to continue improving Rust compile times as part of our Tools initiative. Thanks to @Google for supporting this work! Read more in a new Prossimo blog post by Rémy: https://t.co/CJtJ6MY3xV
@Argorak @rustlang Our tentative plans are to use Pontoon to solicit actual translations, we just haven’t set that infrastructure up yet. Need to get all of the diagnostics into Fluent and so translatable first.
@havvy @DeeptechGames @rustlang That’s an interesting idea, but I’m not entirely sure what additional help we could associate with a help code that we couldn’t with the error code?
@http40415@rustlang We haven’t decided what we’ll call language packs yet, but probably language packs. It will be optional. Some language communities prefer translations more than others, that’s okay :)
The diagnostics working group is looking for your help adding support for internationalization of error messages to the Rust compiler. If you're interested in contributing, check out the blog post for more details! https://t.co/TcqLddvlz9
@xldenis is giving a talk on Cruesot, a prophetic verifier for @rustlang , at the Huawei-Edinburgh University Joint Lab next week! #rustlang
https://t.co/9tABBpir60
Today is my last day at @CosmianOfficial
I'm taking next week off, and then I'll join @nikomatsakis @pnkfelix and @ekuber at AWS to work full time on the Rust compiler/community/tools/stuff