formae开源平台挑战Terraform

InfoQ2025-11-02

AI 摘要

平台工程实验室推出开源平台formae，解决现有工具限制。它有独特操作模式，自动发现编码设施，用PKL语言。虽面临竞争，但有人赞其为DevOps重要飞跃，可在GitHub获取。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

Cloudflare左移安全扩展基础设施即代码

Cloudflare实施基础设施即代码和自动化策略执行，将安全验证前置，消除手动配置错误，在部署前捕捉安全违规。该方案以Terraform等为核心，还解决了采用难题、配置漂移等问题。

刚刚，DeepSeek V4 Pro正式版发布，多项对标Fable 5，Agent能力几乎全方位碾压Opus 4.8，无限逼近Fable 5。API平台已更新，价格和之前Pro预览版基本一致，但网友实测发现CoT表现不佳。

具身智能通用大脑公司西湖机器人半年完成4轮融资，总额5亿。其由顶尖团队创立，有先发技术优势，落地两项首创底层技术架构，打通技术链路，已拿下近亿元订单，将推动具身智能GPT时刻到来。

过去一年，Agent任务执行能力提升，但不会自主积累与进化。浙大开源的HugAgentOS把Harness拆成三个可自我成长的引擎，设归因和本体两道关卡，解决经验成能力等问题，还覆盖智能体完整链路。