3 ms·Translating C to Rust: Lessons from a User Study2 points by belter 2y agodeleted 2y ago[deleted]