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: https://paper.dropbox.com/doc/Traits-Roadmap-sketch--AYSlY~e7qdyU7FzUA3KRvDjQAg-m6hucUslp7GihsY3SjNN2 -- 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 https://github.com/altsysrq/proptest 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):

cool!

Last update: Nov 17 2019 at 07:20UTC