Основатель GitHub делает новый сервис для работы с фокусом на ИИ кодеров