3 ms·
How does this compare to projects like RESOLVE https://www.cs.clemson.edu/resolve/ https://www.cs.clemson.edu/resolve/?
by choroid 8y ago
How does this compare to projects like RESOLVE https://www.cs.clemson.edu/resolve/ https://www.cs.clemson.edu/resolve/?
- TheDong 8y agoThis is Rust-specific and pragmatic/useful. RESOLVE is a research project that is effectively a means to generate papers and grant money, not to do anything useful.
- majewsky 8y agoInsinuating that research is not doing "anything useful", while at the same time calling Rust "pragmatic/useful" is particularly ironic. Rust's design has been heavily influenced by research in programming language theory and adjacent fields: https://github.com/rust-lang/rust-wiki-backup/blob/master/Note-research.md https://github.com/rust-lang/rust-wiki-backup/blob/master/No...
- steveklabnik 8y agoThis is a group of people working on different approaches, but trying to find some commonality. You’d have to compare against each of them to really know.