Never heard of these guys, do they even have a product?

Regardless, team looks promising. Former CTO of Github, supposedly the guy who incubated Copilot.