The new general, Top-Level Domain (gTLD), .Dev, is a domain extension for those who want a developer- or technology-related domain name.  Google owns the .Dev gTLD, and domain names can be registered with that extension on Google Domains and at other domain registrars.