В эпоху AI весь DevOps уходит в пространства огромных размерностей. Когда у вас сотни окружений, метрик, версий, согласований и конфигов, в которых разбирается только нейронка, любые решения "под ключ" теряют смысл. AI-проекты будут более чем полностью состоять из собственного харнеса и кучи ямлов и интеграций. При этом любая "похожесть" сервисов исчезает: любые две точки в таком пространстве будут отличаться по слишком многим осям.
Тут на помощь как раз приходит HoTT (как минимум, как концептуальная база рассуждений об): все эти окружения, сервисы и конфиги описываем как типы, а их "похожесть" -- это пути (эквивалентности). Тогда мы вполне можем свернуть лишние оси (например, дифы в YAML и версиях), если они не меняют поведение.
можно ли срочно поднять prod в другом регионе?
dev/stage/prod достаточно похожи, чтобы баг не вылез только в проде?
инфра уехала от IaC -- кто виноват?? :)
быстро понимаем, что замена компонента не сломает контракт...
можно ли слить окружения, выкинуть дубли, переиспользовать артефакт?
compliance, policy, security, вот это всё...
Решение принимаем по унивалентности (формально допустимой эквивалентности поведений и контрактов). Как наиболее корректно деплоить и откатывать, сливать и переносить, допускать и фиксить...
Post #2698
239
- ❤ 19
- 🤯 7