TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #2698 239
В эпоху AI весь DevOps уходит в пространства огромных размерностей. Когда у вас сотни окружений, метрик, версий, согласований и конфигов, в которых разбирается только нейронка, любые решения "под ключ" теряют смысл. AI-проекты будут более чем полностью состоять из собственного харнеса и кучи ямлов и интеграций. При этом любая "похожесть" сервисов исчезает: любые две точки в таком пространстве будут отличаться по слишком многим осям.

Тут на помощь как раз приходит HoTT (как минимум, как концептуальная база рассуждений об): все эти окружения, сервисы и конфиги описываем как типы, а их "похожесть" -- это пути (эквивалентности). Тогда мы вполне можем свернуть лишние оси (например, дифы в YAML и версиях), если они не меняют поведение.

можно ли срочно поднять prod в другом регионе?
dev/stage/prod достаточно похожи, чтобы баг не вылез только в проде?
инфра уехала от IaC -- кто виноват?? :)
быстро понимаем, что замена компонента не сломает контракт...
можно ли слить окружения, выкинуть дубли, переиспользовать артефакт?
compliance, policy, security, вот это всё...

Решение принимаем по унивалентности (формально допустимой эквивалентности поведений и контрактов). Как наиболее корректно деплоить и откатывать, сливать и переносить, допускать и фиксить...
  • ❤ 19
  • 🤯 7
More from @lambda_brain
  1. Oct 16, 2026Короче, закрываю тему инди-хакерства. Во-первых, за все годы что я к этому призываю, так н…
  2. Oct 16, 2026Пацаны волнуются! Как же, три работы в параллель, и 50 токенов/сек маловато чтобы херачить…
  3. Oct 15, 2026И вот куда же в этом десятилетии придёт айтишка с эйайкой?? Ладно, спалю базу. Вот о чём т…
  4. Oct 15, 2026Уничтожаем всю мировую AI-индустрию и бизнес на цодах-шмодах одним сетапом. Старенький сис…
  5. Oct 15, 2026Вот идеальный формат собеседования в айтишке: в течение часа наблюдайте за тем, как кто-то…
  6. Oct 15, 2026Каждый месяц мой рабочий процесс разработки с использованием AI полностью заменяется совсе…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →