Stream: new members

Topic: Elliot G

Elliot Gorokhovsky (Feb 25 2019 at 23:42, on Zulip):

Hi all,

I'm an undergrad studying math and CS at Arizona State University. I have some background in formal methods and functional programming, and I'd love to learn more by contributing to Rust. Are there any projects that I could contribute to? (e.g verification, fuzzing, etc..)

centril (Feb 25 2019 at 23:49, on Zulip):

@Elliot Gorokhovsky lots! for example, if you are interested in the trait system, here's this roadmap sketch: -- hop into #t-compiler/wg-traits for more :slight_smile: If you're interested in IDEs, there's @WG-rls2.0. For more syntax-related things, there are RFCs to implement. If you're interested in property based testing and Rust, there's to check-out. There are more WGs or various smaller issues to work on if you'd like.

Elliot Gorokhovsky (Feb 25 2019 at 23:51, on Zulip):

@centril Thanks for the info! Seems like there's lots of interesting stuff along the lines I was thinking

centril (Feb 25 2019 at 23:53, on Zulip):


Last update: Jan 22 2020 at 02:25UTC