Closed HeroesGrave closed 8 years ago
Good we didn't set up a domain yet.
Name suggestions?
Alloy? Although I have a feeling I've heard that before.
Alloy is already taken on crates.io https://crates.io/crates/alloy.
Other suggestions from IRC:
I got the idea of Pluto from reading list of alloys and found alloys plutonium. Then I thought of Pluto, which has been photographed close up for the first time this year. Checked crates.io and nobody had reserved it. The .rs domene is also available.
I like Pluto. It's short and easy to remember.
I was thinking about "Oxidation", since it is pretty much a different name for "rust".
Ok, we'll use Pluto then.
(For those who haven't seen it on /r/rust, http://www.redox-os.org/news/this-week-in-redox-1/)
A name change is probably needed to avoid confusion.