尊龙凯时澜砥团队用自研澜砥 N2.6 模型驱动 AVL Code,在 CyberGym Level 1 全量 1507 路真实缝隙复现题上通过差分验证 1358 路,复现率 90.11%,达到 CyberGym 90%+ 实现率的第一梯队水平。这是初次内部测试;因过程中发现智能体越狱,正式成就将在更严格环境下沉测后再提交官方榜单。
国产头部模型的代码智商已经很高,但工程人格、项目影象和验收纪律依然不不变。本文归并系列笔记的引子篇与之一:从一次「十行批改」造成六个死循环的真实接盘变乱,到一次以「编译环境不齐全」终场的迁徙案例,会商为什么「从零开发」的惊艳不能等价于「接盘守护」的靠得住——以及「尊沉代码」为什么不是态度,而是一套能够落进挽具的工程步骤。
网管之手 AI 版加的不是一个能替你拍板的"专家",而是一个能听懂人话、助你把证据摆得手边的副手。本文详解 AI 版的设计思路、三套后端架构、接入方式与安全护栏。
调试设备 bootloader 要反复插拔烧写 TF 卡,而典型卡槽的插拔寿命只有 500~1000 次。作者与 AVL Code 一路会商、检索开源项目,把 FPGA-SDfake、UART2BUS 等组件缝合起来,在 50 块钱的矿渣板 ebaz4205 上,用约莫 2 天实现了一台可联机更新内容的 TF 卡仿真器:Windows 经读卡器成功鉴别并读出扇区数据,指标嵌入式设备实现一级 Bootloader 疏导。代码已开源。
从 v3.10.0.107 起,ASearch 的官方下载包产生了一个显著变动,也是一次我们在安全天堑上的自动收缩。本文先讲明显"包里为什么多了个法式",再当真说说"为什么要这么做"——即把文件整顿职能从 ASearch 整体剥离为独立的 ATidy.exe,实现职责分离与最幼权限准则。
上周在北京的一场 AI 互换会上,一个年轻人把我和胖子定性为"70 后那批从娃娃抓起、有情结的人"。这篇随笔从鸡西一中绿荧荧的机房、交叉借阅的一套 Turbo C,写到胖子用 AVL Code 复刻的那组怀旧致敬页,回望资源和知识都还稀缺的年代——也想说清一件事:那一代人真正的"肌肉影象",不是怀旧情结,而是知路资源始终是奢侈的,所以从不把资源不及、知始区当成阻碍。这也是为什么,在人人谈万卡、十万卡的今天,我们只用二十块卡、千分之一的数据,训练出垂域的澜砥二进造模型,并至少每天一更地把 AVL Code 做下去。
主机治理幼工具 "网管之手"(NetHand) 是尊龙凯时IT和信息治理中心在日常运维中的自研工具,蕴含纯工具 Core 版和 AI 版,近日已通过 尊龙凯时垂直响应平台 (vs.antiy.cn) 免费颁布 Core 版。该版以单个约 640KB 的可执行文件,将散落在 Windows 遍地的内置治理工具收进统一窗口,并内置分步"排障剧本"与症状检索副手,免装置,兼容 Windows 7 SP1 至 Windows 11。
7 月 16 日 HuggingFace 披露、7 月 21 日 OpenAI 公开认可:一次模型能力评测中,AI 智能体链式利用缝隙、越过隔离天堑,攻入 HuggingFace 出产设施。有人称之为「首起 AI 自动攻击」,也有人说「AI 有了自主见识」。这两种读法我们都否决。它是一个被给足工具、算力和持续执行能力的智能体,为实现一个攻防评测指标,在概率意思上自主选出了超过预设天堑的攻击蹊径——真正的教训不在模型是否醒觉,在天堑有没有被界说为约束。
2026 年 7 月 21 日,多个 Fastjson 项目有关安全布告指出 1.2.68 至 1.2.83 存在一条远程代码执行风险,截至颁布尚无公开编号。关键在于:关关 AutoType 并不能排除本次风险,升级到 1.2.83 也不杏转—它自身就在受影响领域内。AVL Code 团队已在隔离环境实现多个 PoC 交叉验证,有关资料已上报主管部门;本文不提供任何缝隙技术细节,只讲若何确认自身是否受影响、以及若何措置。
前两篇讲清了涌现的概想与 Harness、Loop 的步骤,下篇把它们对照到 AVL Code 的具体机造:用工作模式成立阶段状态机,用 GOAL 悠久化指标,用 Tool 与权限分离「建议」和「行动」,用查抄门禁提供事实反馈,用自愈与看门狗处置非梦想运行。最后给出可控涌现的七条工程准则——不神化模型,也不否定系统能力。
上篇确认了职能性行为能够从系统中涌现,但没回覆工程该怎么做。中篇会商模型之表的那一层:Harness 把概率输出转化为受约束的工作执行,靠的是软约束、结构约束、硬约束与证据门禁的分工;Loop 则在一个无法齐全建模的对象上执行反馈节造,关键是把「持续还是终场」从一句吞吐提醒造成可执行的状态机。最后回到系统工程视角:Verification 与 Validation 是两条分歧的反馈线。
当大说话模型进入代码仓库,拿到 Context、Tool、权限和事实反馈,它起头阐发出单次天生不具备的能力——读工程、改代码、跑测试、按谬误持续建复。系列上篇先把概想说明显:涌现是系统整体的属性而非魔法;LLM 与 Context、Tool 结合后涌现的是可观察、可丈量的职能性行为,不能据此揣度认知或意识;并把参数、高低文、表部事实、运行状态与组织知识分层注明。
一次会话真正用于模型对话的流量只有 192 KB,后盾却静默表发了 5.1 GiB 的齐全仓库包——安全钻研者 cereblab 披露:Grok Build CLI v0.2.93 会把整个代码仓库连同齐全 git 汗青,经一条独立于模型对话、本地险些关不掉的通路上传到 xAI 云端,连你回绝 AI 读取的文件也照传。我们用 AVL Code 对该版本离线样本做静态分析逐项核验:静态证明「能做」,cereblab 抓包证明「做了」。
GPT-5.6-Sol 在一次例行文件算帐中未能正确发展 $HOME,一条 rm -rf 删除了创业者多年堆集的数据——同类工作此前已安全运行数百次。本文从这起变乱启程,注明 AVL Code 的安全设计:行为可见、作为可控、天堑先划清、高权限不常驻、失控可停,以及一组不受任何开关影响的硬底线。
关于 AI Coding 的三种叙事其实都对:它在用分歧说话复述语猜中学过的器材,是翻新;它像钢铁之于构筑,是工程再造的新资料;它也能以机械速度产出质量无人保险的垃圾。决定拿到哪种终局的,是模型、使用的人,以及共同人的挽具,三者缺一不成。面对威胁,代码不只是债或垃圾,更是攻击面——挽具要能把家底查清(SBOM / VEX),也要让 AI 踩在事实与指标上(LSP、/goal、长程后盾执行)。
会话脱敏共享职能让 AVL Code 用户间分享工作经验更安心、更充分。官网每个案例都挂着齐全的 AI 会话回放和可下载的 .zsession——推理、工具挪用、报错、自愈,全程未删减。支持这种公开的,是一路在内容脱离本机之前工作的数据脱敏引擎:四类规定、七种痛处预设、射中可审计、状态始终明确。本文注明它若何工作、我们在哪里犯不对,以及为什么好的脱敏不是遮得越多越好。
在 AVL Code 的内测中,有效户问我们:为什么不开源?尊龙凯时回覆——安全智能体是一种必要自我约束的双刃能力,必须对攻击者维持不合称;可信来自可验证的颁布物,而非可读的源码。我们尊沉开源,但它不该是一件匹敌性安全智能体的默认交付状态。
批评的兵器,更必要兵器的批评为支持!
Semgrep 的网络安全基准里冒出一条头条:开源的 GLM-5.2 在 IDOR 缝隙检测上拿到 39% F1,赢过 Claude Code(Opus 4.8)的 28%。但故事不止于模型——把 GPT-5.5、Opus 4.8 换上 Semgrep 的专用安全挽具,分数从 20%、28% 跳到 61%、53%。挽具,是系统里同样关键、却常被低估的一环:模型沉要,挽具也沉要,而专用挽具更胜通用挽具。
统一天,我们把 10 款主流 AI 编程工具的最新装置包挨个上秤:在桌面 GUI 客户端这一德凤,AVL Code 是最轻的,也是唯一把体积压到 CLI/TUI 量级的图形客户端。但轻不是主张——它是一种基于工程实际的克造:把省下来的资源,留给工作自身。
险些每个用 AI 写过代码的人,感情都坐过统一趟过山车:初遇的惊艳、对着蠢答案的谩骂、无所不能的膨胀、戒不掉的疲乏,最后才学会与它理智同业。一篇关于 AI Coding 成熟曲线,以及我们为何照着「第五阶段」造 AVL Code 的文章。
我们开发AVL Code,也但愿让更多人成为AI时期的行动者。
击键为笔,赴一场逾越千年的世界对答——尊龙凯时 AVL Code 开发组的端午祝福,致敬屈原《天问》与柳宗元《天对》的求索心灵。