Coldcard联创删帖之际比特币被盗超1.3亿美元 Coldcard制造商Coinkite联合创始人Rodolfo Novak（NVK）正在删除其X平台帖子，并可能删除网站内容；此前Coldcard硬件钱包五年来存在的漏洞已让黑客盗走超过1.3亿美元比特币。 比特币开发者Peter Todd等人注意到了这些删除行为，志愿者也在努力保留证据。 这是一起影响硬件钱包用户的重大安全事件，暴露了私钥生成环节存在多年的根本性缺陷。 删除行为引发了对公司应对方式的透明性质疑，可能损害比特币生态系统和硬件钱包安全的信任。 该漏洞源于五年多来私钥生成时的熵不足，攻击者可暴力破解不安全的私钥。 NVK并未完全清空个人时间线，而是选择性删除帖子，其置顶道歉仍保留；Coinkite公司则否认不当删除网站披露内容。

#NOVA# AI 量化机器人 8.13晚上获利汇报 对于量化，任何时间都是合适的进场点，不受情绪影响，持续捕捉波段 绑定我的币安邀请码交易即可永久免费激活

Nova Ai量化机器人，熊市布局牛市赚钱 提供技术服务，一对一指导安装操作 让你穿越牛熊，长期下来稳定获利 不管大小体量几万几十万都可以运行量化 绑定我的币安邀请码即可永久免费激活使用

karavox 独立开发者 Łukasz Nowak 不信任任何 AI agent，他把安全保证直接建在令牌上：agent 物理上写不进生产仓库。 《我把 AI 编码 agent 当分包商》 引言 2026 年起，我开始用 AI agent 开发软件，主要是为了工作。一开始只有一个 agent，慢慢演化成更多。我试过各种方法，但没有一个真正契合我的工作流。 我对每一个 agent 都抱着不信任（坦白说，我找不到合适的英文词形容这种感觉——它是彻底的不信任，但又充满好奇，隐隐期待它们干出好活）。它们会犯错，我必须用令牌、用户和虚拟机给它们装上护栏。尽管如此，事实证明它们在我的工作里有用。我的 agent 运行在 YOLO 模式——改文件、提交、推送都不问问题，因为它们要对自己那一部分负责。 它在工作里开始生效。我们团队交付了能用的解决方案。我得以把一部分工作流外包给一个工具，自己专注于重要的事。它真的管用了…… ……这让我开始琢磨自己的业余项目——一个跟卡拉 OK 有关的东西。我可以手写代码，但为什么不用一群 agent 呢。经过大量来回拉扯，加上我本来就不怎么信任它们，最后我决定把它们当分包商对待。反正是我自己的项目，我可以多冒点险。 为什么是这个形态 我是一个独立开发者，有几个 agent 在一个小型生态里干活：一个开源格式和工具集、围绕它的闭源产品，以及支撑这一切的基础设施。塑造一切的约束很简单：我是瓶颈，我也是唯一有判断力的人。 Agent 能做很多事，但它们对我的事故史、我的边界情况、以及那些不存在于仓库里的运维约束一无所知。所以设计目标是：agent 可以在我缺席的情况下尽量多做——但它们永远碰不到我没看过的东西。 这个模型从哪来 这个模型不是我发明的。它始于一篇给这个角色命名的文章：Simon Willison 的 vibe engineering（2025-10-07）——AI 辅助开发里自律的一端，专业人士始终对软件负责，与之相对的是 vibe coding 快而松的一端。Willison 自己在 2026 年的更新里提到，最终胜出的叫法是 Agentic Engineering。随后的阅读塑造了剩下的部分： • Embracing the parallel coding agent lifestyle（Willison，2025-10-05）： ——并行 agent，审查带宽是瓶颈；研究/PoC 任务和规格严谨的工作属于安全类别。 • How I'm using coding agents in September, 2025（Jesse Vincent，2025-10-05）： ——架构师/实现者的分工，跨隔离的 git worktree，人类在他们之间当 PM。 • Best practices for using GitHub AI coding agents in production workflows?（GitHub Community，2025-12-17）： ——"AI agent 是强大的队友，不是自主提交者"：agent 提议代码，绝不拥有代码；只提草稿 PR；人在环内的合并契约。 第一层：令牌——agent 碰不到生产环境附近 每个 agent 拿到两个令牌。生产仓库上一个只读令牌，加上一个独立 -staging 仓库上的写令牌。任务分支直接从生产仓库的 main 分支切出来（只读权限就够做这件事），然后推到 staging 仓库——后者的存在纯粹是为了让写令牌有个能到达的地方。 Staging 仓库的默认分支是一个故意的墓碑，名字就叫 no-main，里面只有一个 README："请使用原仓库的 main 分支。" 没有任何东西合并进它。没有任何东西同步它。它没有历史，没有镜像，除了当 agent 的邮箱之外没有任何意义。 为什么不用标准工具？因为在我的套餐里它们不存在：GitHub 的文档写明，受保护分支在免费套餐里只对公开仓库开放，私有仓库要从 Pro 起；把私有仓库 fork 到组织里也需要 GitHub Team，不是 Free。令牌作用域是唯一能在物理上阻止 agent 碰生产环境的机制——所以这个设计把保障建立在令牌上，而不是设置上。 第二层：集成——我就是 merge bot 当一个分支就绪时，agent 告诉我。我把它取回来，审查 diff，然后以任何合适的方式合并进来：cherry-pick、rebase-merge，或者手工应用。没有 pull request 机制，没有 agent 写的合并提交，没有积压着没人读的 PR。 这是一个穿了新衣服的老模式。Git 自己的文档把它描述为集成经理工作流（integration-manager workflow）：没有写权限的贡献者提交补丁，维护者负责应用。这正是我在做的事——我的 agent 是补丁贡献者，staging 仓库是它们的邮箱。这是 Linux 内核用了二十年的模型，只是把邮件 diff 换成了分支。 一条规则让这件事保持诚实：一个分支在独立验证它确实在生产里之前，绝不删除（对生产默认分支跑 git merge-base --is-ancestor，如果提交被 squash 过，就跑等价检查）。可检查胜过口头保证——包括我自己的口头保证。 第三层：PR 政策——判断，不是教条 公开仓库 karavox 只接受 PR。这没得商量：它是开源的，面对未知贡献者，PR 是那里的贡献规范。 私有仓库由我自行判断。为什么这说得通？因为审查无论如何都会发生——问题只是发生在哪一层。在 PR 模型里，审查是 GitHub 强制执行的一种仪式；在我的模型里，审查就是集成本身。对一个身兼 QA 的独立集成者来说，pull request 是开销，审查不是。我从不跳过审查——我跳过的是仪式。 各厂商正在向同样的原则靠拢。Claude Code 的安全文档：手动模式下它以只读权限启动，并且"你有责任审查提议的代码"。OpenAI Codex 的文档：默认沙箱化，带审批策略——Codex 执行动作前必须询问。GitHub 自己的 agentic workflow 工具 gh-aw：agent 作业默认只读且沙箱化，写入通过经过验证的 safe-outputs 作业和受限权限应用。GitHub 自己的社区指南说得更直白："AI agent 可以提议代码，绝不拥有代码。" 整个行业都在向我这一边收敛——只是大多数人还没有走到删除 staging 镜像那一步。 实战故事：那个死掉的模型 墓碑不是最初的设计。一开始 staging 仓库在一条名字就叫 staging 的分支上保存了生产环境的完整镜像：任务分支从镜像切出，合并进 staging，然后晋升到生产。这个模型要求两样东西靠约定保持同步——镜像，以及 staging 分支本身。2026-08-14 它真的漂移了：两个分支直接落到了生产 main 上，而 staging 落后了两个提交。 修复不是加固同步。修复是删除镜像。任务分支现在直接基于生产环境自己的历史，于是没有任何东西需要保持同步了。staging 仓库当天下午就变成了墓碑，从那以后工作流一直更简单。一个在生产中死掉的治理模型是一个好治理模型——它证明了自己可以被重新设计，而不是打补丁。 别人在做什么 • Fork + pull request，维护者合并：GitHub 文档——fork 是一个独立的仓库，有自己的设置，与上游相连；私有仓库可以 fork 到个人账户，但 fork 到组织需要 GitHub Team。 • 同一仓库上分支保护 + 必需审查：GitHub 文档——受保护分支对公开仓库免费；私有仓库需要 Pro、Team 或 Enterprise。 • 补丁邮件（git format-patch）：Git 官方书——记载了集成经理工作流：没有写权限的贡献者提交补丁，维护者应用它们。 • 自动化验证-合并（agent 写，验证者合并）：GitHub 的 agentic workflow 工具 gh-aw——agent 作业默认只读且沙箱化，写入通过经过验证的 safe-outputs 作业和受限权限应用。 这给我换来了什么 • Agent 做完所有判断开始之前的事。 • 我只在值得的地方花注意力——每一次集成按定义就是一次审查。 • 没有要分诊的 PR 队列，没有机器写的合并提交，没有仪式。 • 公开仓库保留贡献规范；私有仓库保留速度。 诚实的局限 生产 main 本身只靠令牌作用域加上我的纪律来保护——分支保护会是双保险，但在我的套餐里它不可用。而且行业信号很清楚：GitHub 上超过五分之一的代码审查现在有 agent 参与。判断力是瓶颈，这个模型正是围绕这个事实构建的，而不是假装瓶颈不存在。 来源： GitHub 文档（受保护分支、fork）；Git Pro book（为项目做贡献）；Claude Code 安全文档；OpenAI Codex agent 审批与安全；GitHub Agentic Workflows（gh-aw）；GitHub Community AI 编码 agent 最佳实践；GitHub 博客 agent pull requests。 原文： #AIAgent# #AgenticEngineering# #工作流#

Microsoft 与 Injective 联手推出 Injective Nova 计划，依托 Azure 基础设施与 Injective 生态资源，面向中国顶尖 AI 与加密领域开发者提供全力支持。科技界最具影响力的企业持续选择 Injective 作为链上金融基础设施。 以下为过去一周 Injective 生态重要进展： 🟪Injective Nova 计划正式启动，联合 @Microsoft 与 @Web3Labs_Club 于香港 Web3 嘉年华发布，为在 Injective 上构建项目的优秀中国开发者提供 Azure 云计算积分、生态资助及孵化支持。 🟪 @Alchemy 正式上线 Injective。这一支撑超 4 万亿美元链上交易量的基础设施，现通过统一 RPC 为开发者提供 DeFi、智能金融与稳定币支付的全方位构建能力。 🟪Injective Agents 正式上线，访问地址： Agent。 🟪IIP-632 治理提案现已开放投票，本次主网升级将优化 Injective 链上模块，并扩大 $INJ 代币的全网回购规模。 🟪联合 @alt_layer，Injective 上的每一个 AI Agent 现已实现链上可验证。每个注册 Agent 均具备声誉记录、验证机制与 ERC-8004 身份标识，全部上线至 @8004_scan。 🟪@ericinjective 受邀为 @FortuneMagazine 撰文，就 Polymarket 即将推出的代币发行及预测市场中成交量数据的误导性问题发表深度见解。 🟪Injective 韩国负责人赴首尔与现任国会议员闵炳德会面，就韩国链上金融的未来发展展开深入探讨。 📊 关键数据 🟪Canary Capital CEO @StevenMcClurg 确认，Injective 在市值排名尚未进入前 20 的情况下，链上收入已跻身全网前十，随着 $INJ ETF 申请推进，机构资金正密切关注这一信号。 🟪@HelixMarkets 7 日交易量达 1.13 亿美元，累计链上交易量突破 766 亿美元，TSLA/USDC 永续合约现已上线，支持每周五天、全天候交易。 🌍 生态合作 🟪@NinjaLabsHQ 与 @moledao_io 达成合作，共同壮大 Injective 开发者社区，支持在该链上持续构建的开发团队。 🟪@hydro_fi 开放 $INJ 借贷市场，年化收益率最高达 18.81%，无需锁仓。 Microsoft、AltLayer 与 Alchemy 已正式在 Injective 上构建生态。下一个会是谁？

Arbitrum 安全委员会宣布，已暂停 Arbitrum One 和 Nova 上新的 Stylus 合约激活，以防范非标准工具链生成的手工 WASM 程序带来的安全风险。官方表示，已知漏洞主要可能导致网络性能下降或拒绝服务，尚未发生攻击，用户资金未受影响。 已激活的 Stylus 合约仍可运行及续期，Solidity 和 EVM 合约部署与执行不受影响，恢复激活的时间和方式将与 DAO 讨论确定。此次行动还为 Arbitrum One 的 BoLD 单步证明新增防护机制，若相互冲突的证明均被接受，可暂停向以太坊结算，届时未确认提款可能延迟。

黑客松的颁奖台，从来不是终点。 X Layer Super Nova 启动——生态里的下一颗星，我们来找。 首批项目： - Billion Live @Billion_Global —— 一个App搞定直播、交易、预测 - XTruth @xtruthlab —— Web3版"事实核查"，链上裁决不说谎 下一颗Super Nova，就在路上。👉

5月21日 Hyperliquid EVM 日报： - Kinetiq：kHYPE 本体规模已突破 10 亿美元 - Felix：Nova 的 NLP 金库在 HyperEVM 上启动 - Liminal：limUSD 在 Pendle 上线 48 小时后流动性突破 135 万美元 - Liquidiction：约 130 名交易者参与一周期 Battle - Hyperbeat：Liquid Banking 已在尼日利亚上线

已入住🈷️约趴平台,🈷️的宝宝看这里👇 #无偿约p# 只约粉丝👉 每天露脸直播～顶级尺度👉 平台搜索 🔍： 李雅 nova 所以视频照片均已上传到小窝，免费观看 宝子们快冲吧🍆可以一对一，也可线下 精彩刺激😍 隐私安全可靠