ipodopt

8 ms·

1. 91.▲
   Ask HN: Nomads, How Do You Manage Your Mail?

   22 points by ipodopt 7y ago|12 comments
2. 92.▲
   by ipodopt 8y ago

   Please correct me if I am wrong. They produced a simpler modified version of Rust called Oxide that focused on ownership and borrowing. They did did so they could translate it to a formal system and validate it in an easy to understand way.