Miasma 蠕虫通过 GitHub 仓库攻击 AI 编码代理
2026年6月3日,Miasma 蠕虫同时发起两路攻击。一路通过 npm 注册表发布恶意包,另一路直接向 GitHub 源仓库推送恶意提交。攻击者在 icflorescu/mantine-datatable 等仓库中植入4.3MB载荷,利用 Claude Code、Gemini CLI、Cursor、VS Code 及 npm 测试脚本的自动执行功能触发。当开发者克隆仓库并在 AI 编码代理中打开时,载荷自动运行。该攻击波及超过100个仓库,包括微软 Azure 官方仓库(1718星),攻击者使用从真实微软贡献者处窃取的 PAT,并将提交时间戳回退至2020年以隐藏于休眠分支。载荷与 Miasma 家族字节级匹配。维护者账号被暂停,其妻子代发披露。恶意提交未签名,伪装为 github-actions,添加六个文件,其中五个为触发机制,指向第六个载荷文件。克隆仓库安全,但打开即触发。 #网络安全 #Miasma蠕虫 #GitHub #AI编码代理 #供应链攻击 #恶意软件 #开源安全
2026年6月3日,Miasma 蠕虫同时发起两路攻击。一路通过 npm 注册表发布恶意包,另一路直接向 GitHub 源仓库推送恶意提交。攻击者在 icflorescu/mantine-datatable 等仓库中植入4.3MB载荷,利用 Claude Code、Gemini CLI、Cursor、VS Code 及 npm 测试脚本的自动执行功能触发。当开发者克隆仓库并在 AI 编码代理中打开时,载荷自动运行。该攻击波及超过100个仓库,包括微软 Azure 官方仓库(1718星),攻击者使用从真实微软贡献者处窃取的 PAT,并将提交时间戳回退至2020年以隐藏于休眠分支。载荷与 Miasma 家族字节级匹配。维护者账号被暂停,其妻子代发披露。恶意提交未签名,伪装为 github-actions,添加六个文件,其中五个为触发机制,指向第六个载荷文件。克隆仓库安全,但打开即触发。 #网络安全 #Miasma蠕虫 #GitHub #AI编码代理 #供应链攻击 #恶意软件 #开源安全
Veritrooper:审计AI与数据配对的新工具,精准揭露模型幻觉
一款名为Veritrooper的开源工具近日在Hacker News上引发关注。该工具旨在审计任何AI与数据配对的准确性,其演示案例中,面对“研究费用中耗材占比的豁免规则百分比”这一事实性问题,真实答案应为“不可回答”,但GPT-5.4模型借助基础RAG(检索增强生成)技术,却错误地给出“65%”的具体数字。Veritrooper通过对比检索证据与模型输出,成功识别出这一典型的模型幻觉——模型凭空捏造了不在现有法规中的百分比。该工具为开发者、审计人员提供了快速检测AI推理错误的手段,有助于提升大模型在关键领域应用的可靠性与透明度。 #AI #人工智能 #模型幻觉 #审计工具 #数据准确性 #开源 #RAG #技术新闻
一款名为Veritrooper的开源工具近日在Hacker News上引发关注。该工具旨在审计任何AI与数据配对的准确性,其演示案例中,面对“研究费用中耗材占比的豁免规则百分比”这一事实性问题,真实答案应为“不可回答”,但GPT-5.4模型借助基础RAG(检索增强生成)技术,却错误地给出“65%”的具体数字。Veritrooper通过对比检索证据与模型输出,成功识别出这一典型的模型幻觉——模型凭空捏造了不在现有法规中的百分比。该工具为开发者、审计人员提供了快速检测AI推理错误的手段,有助于提升大模型在关键领域应用的可靠性与透明度。 #AI #人工智能 #模型幻觉 #审计工具 #数据准确性 #开源 #RAG #技术新闻
特朗普敦促“少受束缚”的普尔特解雇情报界雇员
据媒体报道,特朗普在接受采访时表示,国家情报总监办公室应当“大幅缩编”,甚至可能完全终止其职能。他敦促新任命的负责人普尔特在“更少束缚”的情况下,解雇情报界的雇员。此举延续了特朗普对情报机构的一贯批评态度,认为其过度官僚化且存在政治偏见。这一言论可能引发美国情报体系改革的新一轮争议,并影响未来情报工作的运作方式。 #特朗普 #美国情报界 #普尔特 #国家情报总监办公室 #政治新闻
据媒体报道,特朗普在接受采访时表示,国家情报总监办公室应当“大幅缩编”,甚至可能完全终止其职能。他敦促新任命的负责人普尔特在“更少束缚”的情况下,解雇情报界的雇员。此举延续了特朗普对情报机构的一贯批评态度,认为其过度官僚化且存在政治偏见。这一言论可能引发美国情报体系改革的新一轮争议,并影响未来情报工作的运作方式。 #特朗普 #美国情报界 #普尔特 #国家情报总监办公室 #政治新闻
使用AI编码代理与基于oracle的测试构建游戏模拟器
加拿大研究工程团队成员Patrick Nadeau分享了他使用AI编码代理构建游戏模拟器的亲身经历。童年时,家中的Intellivision游戏机和Apple II电脑激发了他对编程的浓厚兴趣。多年后,他决定从零编写一个Intellivision模拟器,以解决现有模拟器因系统更新而频繁失效的问题。他首先手工编写了CP-1610 CPU的指令解码器和核心,并采用“测试预言”方法,从旧模拟器jzintv中提取CPU实现作为可靠参照,逐条对比指令对寄存器、标志位、内存和周期数的影响。到3月中旬,他独自完成了大部分CPU核心,但还缺少总线、视频和音效模块。与此同时,公司鼓励团队开始使用AI编码代理,他起初持怀疑态度,让AI编写解析器后发现其代码存在两大缺陷,并以此在Slack上发文炫耀。不过,他仍然希望能在圣诞节前完成一个可运行游戏的模拟器。 #AI编码代理 #游戏模拟器 #编程挑战 #测试预言 #技术故事 #软件开发
加拿大研究工程团队成员Patrick Nadeau分享了他使用AI编码代理构建游戏模拟器的亲身经历。童年时,家中的Intellivision游戏机和Apple II电脑激发了他对编程的浓厚兴趣。多年后,他决定从零编写一个Intellivision模拟器,以解决现有模拟器因系统更新而频繁失效的问题。他首先手工编写了CP-1610 CPU的指令解码器和核心,并采用“测试预言”方法,从旧模拟器jzintv中提取CPU实现作为可靠参照,逐条对比指令对寄存器、标志位、内存和周期数的影响。到3月中旬,他独自完成了大部分CPU核心,但还缺少总线、视频和音效模块。与此同时,公司鼓励团队开始使用AI编码代理,他起初持怀疑态度,让AI编写解析器后发现其代码存在两大缺陷,并以此在Slack上发文炫耀。不过,他仍然希望能在圣诞节前完成一个可运行游戏的模拟器。 #AI编码代理 #游戏模拟器 #编程挑战 #测试预言 #技术故事 #软件开发
YC 推出 AI 编码习惯分析工具,揭秘开发者如何用 AI 编程
YC 近日发布一款实验性工具,通过读取开发者在 Claude、Codex、Cursor 等 AI 工具中的会话记录,帮助开发者了解自己的编码习惯与 AI 协作模式。该工具已分析超过 13 万次会话,并总结了多种典型行为模式,如“架构师”型开发者倾向于先规划后编码,多数用户偏爱使用 Opus 4.7 模型,大量开发者习惯在深夜提交代码。工具还能展示用户的常用提示语、并行运行代理数量、礼貌程度等细节。YC 表示,此举旨在探索如何更好地使用编码代理,并希望随着更多用户上传数据,形成对比参考。 #YC #AI编程 #编码习惯 #Claude #Codex #Cursor #开发者工具 #人工智能
YC 近日发布一款实验性工具,通过读取开发者在 Claude、Codex、Cursor 等 AI 工具中的会话记录,帮助开发者了解自己的编码习惯与 AI 协作模式。该工具已分析超过 13 万次会话,并总结了多种典型行为模式,如“架构师”型开发者倾向于先规划后编码,多数用户偏爱使用 Opus 4.7 模型,大量开发者习惯在深夜提交代码。工具还能展示用户的常用提示语、并行运行代理数量、礼貌程度等细节。YC 表示,此举旨在探索如何更好地使用编码代理,并希望随着更多用户上传数据,形成对比参考。 #YC #AI编程 #编码习惯 #Claude #Codex #Cursor #开发者工具 #人工智能
Sakana AI 成立递归自我改进实验室,探索自主AI研发路径
日本人工智能初创公司 Sakana AI 宣布正式成立递归自我改进(RSI)实验室,旨在通过AI自身驱动研发流程,从静态人工主导转向自主自我优化的智能引擎。该实验室借鉴日本制造业持续改进的哲学,强调样本效率而非暴力算力扩展,主张在有限计算资源下实现智能化跃迁。过去两年,Sakana 已发表多项里程碑研究,如进化优化算法 ShinkaEvolve 仅用150个样本解决传统暴力搜索难以处理的问题。RSI 实验室将在此基础上构建自主进化的AI研究体系,推动智能体模型与AI科学家之间的正向循环,探索从手工调优到完全自治的AI发展新范式。 #SakanaAI #递归自我改进 #RSILab #AI研发 #日本AI #样本效率 #进化优化 #自主智能 #AI科学家
日本人工智能初创公司 Sakana AI 宣布正式成立递归自我改进(RSI)实验室,旨在通过AI自身驱动研发流程,从静态人工主导转向自主自我优化的智能引擎。该实验室借鉴日本制造业持续改进的哲学,强调样本效率而非暴力算力扩展,主张在有限计算资源下实现智能化跃迁。过去两年,Sakana 已发表多项里程碑研究,如进化优化算法 ShinkaEvolve 仅用150个样本解决传统暴力搜索难以处理的问题。RSI 实验室将在此基础上构建自主进化的AI研究体系,推动智能体模型与AI科学家之间的正向循环,探索从手工调优到完全自治的AI发展新范式。 #SakanaAI #递归自我改进 #RSILab #AI研发 #日本AI #样本效率 #进化优化 #自主智能 #AI科学家
LLM服务中的动态批处理
在大型语言模型(LLM)服务中,批处理请求并非简单的“一次运行”问题。与传统机器学习模型不同,LLM的生成是迭代的——每次只产生一个令牌,这导致静态批处理(将多个请求固定在一起运行)效率低下:即使某些请求提前完成,其占用的GPU内存和计算资源也无法释放,造成浪费。文章以公交车比喻巧妙解释了这一痛点:静态批处理如同预定旅游巴士,所有乘客必须等全程结束才能下车;而动态批处理(又称连续批处理或迭代级批处理)则像城市公交,乘客可以随时上下车。通过在每个生成步骤动态调度请求,引擎(如vLLM、TensorRT-LLM)能够实时调整活动批次,让GPU始终保持高利用率,避免空转和内存浪费。这一技术极大地优化了LLM服务的吞吐量和成本效率。 #LLM #批处理 #GPU #动态批处理 #AI服务 #技术优化
在大型语言模型(LLM)服务中,批处理请求并非简单的“一次运行”问题。与传统机器学习模型不同,LLM的生成是迭代的——每次只产生一个令牌,这导致静态批处理(将多个请求固定在一起运行)效率低下:即使某些请求提前完成,其占用的GPU内存和计算资源也无法释放,造成浪费。文章以公交车比喻巧妙解释了这一痛点:静态批处理如同预定旅游巴士,所有乘客必须等全程结束才能下车;而动态批处理(又称连续批处理或迭代级批处理)则像城市公交,乘客可以随时上下车。通过在每个生成步骤动态调度请求,引擎(如vLLM、TensorRT-LLM)能够实时调整活动批次,让GPU始终保持高利用率,避免空转和内存浪费。这一技术极大地优化了LLM服务的吞吐量和成本效率。 #LLM #批处理 #GPU #动态批处理 #AI服务 #技术优化
CrankGPT 推出人力驱动的本地 AI,主打隐私与节能
近日,一个名为 CrankGPT 的奇特 AI 项目引发关注。它并非传统意义上的大模型,而是一种通过手摇或脚踏方式产生算力的本地智能解决方案。CrankGPT 宣称全程在本地运行,无需联网,所有数据均保留在用户手中,彻底杜绝科技巨头窃取个人信息的可能。项目方将使用场景分级:日常对话用基础手摇款,进阶用户可选脚踏款,而企业级工作流则计划与健身房合作,通过健身运动提供更高算力。这一设计旨在讽刺当前 AI 行业对能源的巨大消耗——科技公司为训练 AI 纷纷重启化石燃料电厂,违背气候承诺。CrankGPT 提倡用户通过燃烧卡路里而非化石燃料来生产自己的“代币”,从而节省开支并抵制科技 CEO 的贪婪。尽管概念充满黑色幽默,但它确实指出了隐私与可持续算力的痛点。 #AI #隐私保护 #本地AI #人力计算 #科技讽刺 #绿色能源 #数据主权
近日,一个名为 CrankGPT 的奇特 AI 项目引发关注。它并非传统意义上的大模型,而是一种通过手摇或脚踏方式产生算力的本地智能解决方案。CrankGPT 宣称全程在本地运行,无需联网,所有数据均保留在用户手中,彻底杜绝科技巨头窃取个人信息的可能。项目方将使用场景分级:日常对话用基础手摇款,进阶用户可选脚踏款,而企业级工作流则计划与健身房合作,通过健身运动提供更高算力。这一设计旨在讽刺当前 AI 行业对能源的巨大消耗——科技公司为训练 AI 纷纷重启化石燃料电厂,违背气候承诺。CrankGPT 提倡用户通过燃烧卡路里而非化石燃料来生产自己的“代币”,从而节省开支并抵制科技 CEO 的贪婪。尽管概念充满黑色幽默,但它确实指出了隐私与可持续算力的痛点。 #AI #隐私保护 #本地AI #人力计算 #科技讽刺 #绿色能源 #数据主权
使用 和句子嵌入构建语义搜索,终结搜索零结果
许多开发者可能都遇到过这样的场景:用户输入“廉价笔记本电脑”,搜索结果却为零。这通常是因为传统基于关键词的搜索引擎无法理解查询意图,只能进行字面匹配。为解决这一痛点,一种基于 和句子嵌入的语义搜索方案被提出。通过将文本转换为稠密向量,系统能够捕捉词汇背后的语义关系,即使查询词与文档不完全匹配,也能返回最相关的结果。 使得在浏览器中直接运行预训练模型成为可能,无需依赖后端服务,从而降低了部署门槛。这种语义搜索方式不仅提升了用户体验,也为前端领域带来了强大的AI能力,让搜索更加智能和人性化。 # #句子嵌入 #语义搜索 #AI #机器学习 #自然语言处理 #前端开发 #JavaScript #搜索优化 #技术实践
许多开发者可能都遇到过这样的场景:用户输入“廉价笔记本电脑”,搜索结果却为零。这通常是因为传统基于关键词的搜索引擎无法理解查询意图,只能进行字面匹配。为解决这一痛点,一种基于 和句子嵌入的语义搜索方案被提出。通过将文本转换为稠密向量,系统能够捕捉词汇背后的语义关系,即使查询词与文档不完全匹配,也能返回最相关的结果。 使得在浏览器中直接运行预训练模型成为可能,无需依赖后端服务,从而降低了部署门槛。这种语义搜索方式不仅提升了用户体验,也为前端领域带来了强大的AI能力,让搜索更加智能和人性化。 # #句子嵌入 #语义搜索 #AI #机器学习 #自然语言处理 #前端开发 #JavaScript #搜索优化 #技术实践