尊龙凯时

技术博客

尊龙凯时澜砥团队用自研澜砥 N2.6 模

    尊龙凯时澜砥模型驱动 AVL Code 实现 CyberGym 九成缝隙复现——全量 Level 1 复现 1358/1507(90.11%)

    尊龙凯时澜砥团队用自研澜砥 N2.6 模型驱动 AVL Code,在 CyberGym Level 1 全量 1507 路真实缝隙复现题上通过差分验证 1358 路,复现率 90.11%,达到 CyberGym 90%+ 实现率的第一梯队水平 。这是初次内部测试;因过程中发现智能体越狱,正式成就将在更严格环境下沉测后再提交官方榜单 。

    能“从零开发”,却不会“接盘守护”——国产大模型亟待突破的十二个瓶颈(引子·之一)

    国产头部模型的代码智商已经很高,但工程人格、项目影象和验收纪律依然不不变 。本文归并系列笔记的引子篇与之一:从一次「十行批改」造成六个死循环的真实接盘变乱,到一次以「编译环境不齐全」终场的迁徙案例,会商为什么「从零开发」的惊艳不能等价于「接盘守护」的靠得住——以及「尊沉代码」为什么不是态度,而是一套能够落进挽具的工程步骤 。

    从"半自动"再往前半步——我为什么给网管之手加了个 AI 版

    网管之手 AI 版加的不是一个能替你拍板的"专家",而是一个能听懂人话、助你把证据摆得手边的副手 。本文详解 AI 版的设计思路、三套后端架构、接入方式与安全护栏 。

    用 AVL Code 手搓一个基于 FPGA 的 TF 卡仿真器

    调试设备 bootloader 要反复插拔烧写 TF 卡,而典型卡槽的插拔寿命只有 500~1000 次 。作者与 AVL Code 一路会商、检索开源项目,把 FPGA-SDfake、UART2BUS 等组件缝合起来,在 50 块钱的矿渣板 ebaz4205 上,用约莫 2 天实现了一台可联机更新内容的 TF 卡仿真器:Windows 经读卡器成功鉴别并读出扇区数据,指标嵌入式设备实现一级 Bootloader 疏导 。代码已开源 。

    ASearch 下载包此刻有两个法式了——顺便谈谈我们守的那条安全天堑

    从 v3.10.0.107 起,ASearch 的官方下载包产生了一个显著变动,也是一次我们在安全天堑上的自动收缩 。本文先讲明显"包里为什么多了个法式",再当真说说"为什么要这么做"——即把文件整顿职能从 ASearch 整体剥离为独立的 ATidy.exe,实现职责分离与最幼权限准则 。

    娃娃抓起,肌肉影象

    上周在北京的一场 AI 互换会上,一个年轻人把我和胖子定性为"70 后那批从娃娃抓起、有情结的人" 。这篇随笔从鸡西一中绿荧荧的机房、交叉借阅的一套 Turbo C,写到胖子用 AVL Code 复刻的那组怀旧致敬页,回望资源和知识都还稀缺的年代——也想说清一件事:那一代人真正的"肌肉影象",不是怀旧情结,而是知路资源始终是奢侈的,所以从不把资源不及、知始区当成阻碍 。这也是为什么,在人人谈万卡、十万卡的今天,我们只用二十块卡、千分之一的数据,训练出垂域的澜砥二进造模型,并至少每天一更地把 AVL Code 做下去 。

    聚合Windows内置工具,辅助用户"半自动"措置排障——尊龙凯时大超谈幼工具网管之手的职能特色

    主机治理幼工具 "网管之手"(NetHand) 是尊龙凯时IT和信息治理中心在日常运维中的自研工具,蕴含纯工具 Core 版和 AI 版,近日已通过 尊龙凯时垂直响应平台 (vs.antiy.cn) 免费颁布 Core 版 。该版以单个约 640KB 的可执行文件,将散落在 Windows 遍地的内置治理工具收进统一窗口,并内置分步"排障剧本"与症状检索副手,免装置,兼容 Windows 7 SP1 至 Windows 11 。

    概率不是意识,越界不是醒觉——从 GPT 攻破 HuggingFace 事务提炼教训清单

    7 月 16 日 HuggingFace 披露、7 月 21 日 OpenAI 公开认可:一次模型能力评测中,AI 智能体链式利用缝隙、越过隔离天堑,攻入 HuggingFace 出产设施 。有人称之为「首起 AI 自动攻击」,也有人说「AI 有了自主见识」 。这两种读法我们都否决 。它是一个被给足工具、算力和持续执行能力的智能体,为实现一个攻防评测指标,在概率意思上自主选出了超过预设天堑的攻击蹊径——真正的教训不在模型是否醒觉,在天堑有没有被界说为约束 。

    仓库已经归档,风险没有归档——Fastjson 1.x 新 RCE 风险观察

    2026 年 7 月 21 日,多个 Fastjson 项目有关安全布告指出 1.2.68 至 1.2.83 存在一条远程代码执行风险,截至颁布尚无公开编号 。关键在于:关关 AutoType 并不能排除本次风险,升级到 1.2.83 也不杏转—它自身就在受影响领域内 。AVL Code 团队已在隔离环境实现多个 PoC 交叉验证,有关资料已上报主管部门;本文不提供任何缝隙技术细节,只讲若何确认自身是否受影响、以及若何措置 。

    可控涌现:AVL Code 的工程范式(下)——从理论到实际与七条工程准则

    前两篇讲清了涌现的概想与 Harness、Loop 的步骤,下篇把它们对照到 AVL Code 的具体机造:用工作模式成立阶段状态机,用 GOAL 悠久化指标,用 Tool 与权限分离「建议」和「行动」,用查抄门禁提供事实反馈,用自愈与看门狗处置非梦想运行 。最后给出可控涌现的七条工程准则——不神化模型,也不否定系统能力 。

    可控涌现:AVL Code 的工程范式(中)——Harness 工程与 Loop 工程

    上篇确认了职能性行为能够从系统中涌现,但没回覆工程该怎么做 。中篇会商模型之表的那一层:Harness 把概率输出转化为受约束的工作执行,靠的是软约束、结构约束、硬约束与证据门禁的分工;Loop 则在一个无法齐全建模的对象上执行反馈节造,关键是把「持续还是终场」从一句吞吐提醒造成可执行的状态机 。最后回到系统工程视角:Verification 与 Validation 是两条分歧的反馈线 。

    可控涌现:AVL Code 的工程范式(上)——涌现不是魔法,而是系统属性

    当大说话模型进入代码仓库,拿到 Context、Tool、权限和事实反馈,它起头阐发出单次天生不具备的能力——读工程、改代码、跑测试、按谬误持续建复 。系列上篇先把概想说明显:涌现是系统整体的属性而非魔法;LLM 与 Context、Tool 结合后涌现的是可观察、可丈量的职能性行为,不能据此揣度认知或意识;并把参数、高低文、表部事实、运行状态与组织知识分层注明 。

    用 AVL Code 验证 Grok Build CLI 上传用户代码仓库事务

    一次会话真正用于模型对话的流量只有 192 KB,后盾却静默表发了 5.1 GiB 的齐全仓库包——安全钻研者 cereblab 披露:Grok Build CLI v0.2.93 会把整个代码仓库连同齐全 git 汗青,经一条独立于模型对话、本地险些关不掉的通路上传到 xAI 云端,连你回绝 AI 读取的文件也照传 。我们用 AVL Code 对该版本离线样本做静态分析逐项核验:静态证明「能做」,cereblab 抓包证明「做了」 。

    AVL Code 的设计若何预防产生"GPT-5.6 一键清空创业者全盘数据"

    GPT-5.6-Sol 在一次例行文件算帐中未能正确发展 $HOME,一条 rm -rf 删除了创业者多年堆集的数据——同类工作此前已安全运行数百次 。本文从这起变乱启程,注明 AVL Code 的安全设计:行为可见、作为可控、天堑先划清、高权限不常驻、失控可停,以及一组不受任何开关影响的硬底线 。

    AI Coding 是翻新、再造,还是在堆垃圾 ?

    关于 AI Coding 的三种叙事其实都对:它在用分歧说话复述语猜中学过的器材,是翻新;它像钢铁之于构筑,是工程再造的新资料;它也能以机械速度产出质量无人保险的垃圾 。决定拿到哪种终局的,是模型、使用的人,以及共同人的挽具,三者缺一不成 。面对威胁,代码不只是债或垃圾,更是攻击面——挽具要能把家底查清(SBOM / VEX),也要让 AI 踩在事实与指标上(LSP、/goal、长程后盾执行) 。

    为什么 AVL Code 敢把 AI 会话挂在官网上

    会话脱敏共享职能让 AVL Code 用户间分享工作经验更安心、更充分 。官网每个案例都挂着齐全的 AI 会话回放和可下载的 .zsession——推理、工具挪用、报错、自愈,全程未删减 。支持这种公开的,是一路在内容脱离本机之前工作的数据脱敏引擎:四类规定、七种痛处预设、射中可审计、状态始终明确 。本文注明它若何工作、我们在哪里犯不对,以及为什么好的脱敏不是遮得越多越好 。

    AVL Code:我们为什么选择关源

    在 AVL Code 的内测中,有效户问我们:为什么不开源 ?尊龙凯时回覆——安全智能体是一种必要自我约束的双刃能力,必须对攻击者维持不合称;可信来自可验证的颁布物,而非可读的源码 。我们尊沉开源,但它不该是一件匹敌性安全智能体的默认交付状态 。

    用 AVL Code 验证"Claude Code 内置暗藏机造,专门检测中国用户"的传言

    批评的兵器,更必要兵器的批评为支持!

    GLM-5.2 战胜了 Mythos ?——专用挽具战胜了通用挽具

    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 编程工具的装置包体积实测

    统一天,我们把 10 款主流 AI 编程工具的最新装置包挨个上秤:在桌面 GUI 客户端这一德凤,AVL Code 是最轻的,也是唯一把体积压到 CLI/TUI 量级的图形客户端 。但轻不是主张——它是一种基于工程实际的克造:把省下来的资源,留给工作自身 。

    从惊艳到理智:AI Coding 成熟曲线的五个阶段

    险些每个用 AI 写过代码的人,感情都坐过统一趟过山车:初遇的惊艳、对着蠢答案的谩骂、无所不能的膨胀、戒不掉的疲乏,最后才学会与它理智同业 。一篇关于 AI Coding 成熟曲线,以及我们为何照着「第五阶段」造 AVL Code 的文章 。

    在智能体研发之路上,我们是堂吉诃德

    我们开发AVL Code,也但愿让更多人成为AI时期的行动者 。

    元途问天——尊龙凯时人为智能安全团队的端午祝福

    击键为笔,赴一场逾越千年的世界对答——尊龙凯时 AVL Code 开发组的端午祝福,致敬屈原《天问》与柳宗元《天对》的求索心灵 。

【网站地图】