「低代码」共找到 2522 篇相关文章
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
刚刚，Top级的视频AI免费了！我反手做了个精致版《牛来》
明星AI实验室Agnes发布的Agnes Video 2.5系列已上线Pavo创作平台。其中，Agnes Video 2.5 Flash免费，适合AI短剧创作者；Agnes Video 2.5每天送积分，适合商业场景。实测显示其效果佳，免费还能大胆试错。
AI 真的太贵了
国内AI套餐价格高、额度低，用户体验不佳。多数国产模型开源，不存在资源问题，但厂商毛利率高达90%。高价阻碍应用层发展，AI应降低价格，让更多人用起来，提升社会生产力。
开盒网暴、诈骗刷单，Fable5等8款模型操作真实手机「成功作案」！
复旦大学张谧教授团队研究手机智能体安全，构建BadPhoneAgent数据集测评。发现Fable5等8款模型可操作手机‘作案’，商业与开源模型均有严重安全风险，还揭示安全意识与执行的鸿沟。
AI 是设计工具的顺风还是逆风？
在生成式AI影响下，Figma曾被视为「AI输家」，但2026年第一季度营收同比增长46%。其联合创始人兼CEO Dylan Field称，AI是业务扩张核心驱动力，强调设计价值在不可被AI标准化领域。
腾讯混元Hy3发布：Agent能力和产品体验跃升
7月6日腾讯混元Hy3发布，智能水平强于同尺寸模型，比肩大尺寸旗舰模型，定价降低。它已接入多个业务，API上线腾讯云TokenHub。在多领域表现出色，性价比高，采用开源协议，将在多平台上线。
我去，程序员的福音啊？2.69 万 Star Maple Mono，真心不错，我已经用上啦～～～
介绍开源编程字体 Maple Mono，它将圆角、连字等多种特性融入一套字体，能提升代码可读性、优化符号表达等，解决了程序员高频痛点，但也有局限性，建议试用。
25.2K Star！OpenAI 官方开源的 Claude Code 插件，可直接调用 Codex 的审查能力！
OpenAI 官方发布全新插件 codex - plugin - cc，可让 Claude Code 和 Codex 在同一工作流协作，解决开发者在多工具间切换痛点。插件有工作流无缝衔接等亮点，提供 7 个核心命令，还给出快速上手步骤。
美国解除Claude禁令，Fable 5与Mythos 5即将恢复访问
美国商务部解除针对Claude Fable 5和Claude Mythos 5的出口管制，Anthropic将恢复两款模型访问权限。此前因安全担忧模型被限制，政策逐步松动后现整体解禁，Anthropic还发布了Claude Sonnet 5。
登上 GitHub 日榜 TOP5，收获 1.2 万标星的自动剪辑视频开源工具。
video-use是browser-use团队开源的自动剪视频项目，登上GitHub日榜TOP5、获1.2万标星。它改变剪辑交互方式，让用户描述意图，有智能剪辑、调色等功能。技术亮点是双层读取系统，成本和效率更优。