Many moons ago the .dev TLD was brand new, and I grabbed these premium domains thinking surely very soon I would be making use of them. They are:

  air.dev
  kit.dev
  easy.dev

Wouldn't you know, years have passed and I never did anything with these (while paying the premium registration fees)... So now I'm figuring that probably there is someone on HN working on something where these could be a good fit.

Do you have a developer-oriented open source project that needs a short and sweet .dev domain? Get in touch, I'll consider donating names to anything that seems relevant.

Or if your project is commercial and bootstrapped, I could sell you the domain name at cost.

You can find my email in my HN profile.