ax@ax-radar:~/all $ grep -v 'tier=excluded' stream.log
33 srcsignal 72%cycle 04:32

全部 · 2026-08-03

10 items · updated 3m ago
RSS live
2026-08-03 · 星期一2026年8月3日
03:06
50d ago
Hacker News 首页· rssEN03:06 · 08·03
用 AI 把 COBOL 老代码迁成 Java,连 bug 也一起搬过去了
这篇论文提出了一个叫“Locksmith Loop”的验证方法,专门解决 AI 迁移 COBOL 到 Java 后怎么确认功能没变的问题。做法是先把原版 COBOL 和生成的 Java 代码都插上桩,脱离大型机在普通服务器上跑起来,然后让一个智能体循环去找能覆盖更多分支的输入,遇到卡住的地方就自动对代码做等价变形再继续探。他们在三个程序上试了,两个开源...
#Agent#Code#Andras Ferenczi#Jordan Docherty
一句话点评
AI 把 COBOL 老代码转成 Java 后,怎么保证没改出 bug?这篇论文搞了个叫 Locksmith Loop 的验证方法:把原版和生成版都脱离大型机,在普通服务器上插桩跑,再让智能体循环找能覆盖更多分支的输入,卡住就自动对代码做等价变形继续探。在三个程序上试了(两个开源、一个内部生产级,代码量 430 到 4114 行),开源项目分支覆盖率几乎拉满,内部那个也到了 91.90%,所...
HKR 分解
hook knowledge resonance
打开信源
68
SCORE
H1·K1·R0
02:46
50d ago
Product Hunt · AI· rssEN02:46 · 08·03
Murmell:一个让团队和多个 AI 编程助手在同一张云画布上并行干活的协作工具
Murmell 做了一件事:把人和多个 AI 编程助手(比如 Claude Code、Codex、Kimi、OpenCode)放进同一个云端仓库里,并行写代码。它的核心机制是“文件认领”——AI 助手在动手改文件前先声明自己要改哪个,这样人和助手之间就不会互相覆盖。你合上笔记本后,助手还会继续跑,所有改动最终都会落回 git。目前支持的助手有 4 个,...
#Code#Murmell#Claude Code#Codex
一句话点评
Murmell 把多个 AI 编程助手塞进同一个云端仓库并行干活,靠“文件认领”避免互相踩脚。你合上电脑后助手还会继续跑,改动最终落回 git。目前支持 Claude Code、Codex、Kimi、OpenCode 四个助手,正文没披露具体定价,只提了“免费选项”和“2 周免费”。这点先别太激动——没看到付费档位、并发限制和资源配额,实际能用多久、跑多快都是未知数。另外,多助手并行听起来省...
HKR 分解
hook knowledge resonance
打开信源
72
SCORE
H1·K1·R0
02:39
50d ago
Product Hunt · AI· rssEN02:39 · 08·03
npm i -g hotcell:在本地给 AI 智能体搭个沙箱
Hotcell 是一个自托管沙箱工具,灵感来自 Cloudflare 的沙箱 SDK,能在 Mac、Linux 或裸金属上跑。它给 AI 智能体一个隔离环境,默认禁止外发流量,但允许访问大模型服务商。API 密钥不会直接进沙箱——每个沙箱会生成临时令牌,沙箱一停令牌就失效。你可以控制每个沙箱的容量和令牌消耗。安装就一行命令:npm i -g hotce...
#Cloudflare#Sina Meraji#Open source
一句话点评
一行命令装一个自托管沙箱,给AI智能体跑隔离环境。默认禁外发流量但放行大模型API,密钥不进沙箱,用临时令牌控制权限和消耗。适合不想把agent塞进Docker或云沙箱的场景。但正文没提性能基准,也没和Docker对比,轻量与否存疑。
HKR 分解
hook knowledge resonance
打开信源
62
SCORE
H1·K1·R0
02:30
50d ago
● P1Hacker News 首页· rssEN02:30 · 08·03
OpenAI 的超级政治行动委员会被指资助了一个全 AI 写稿的新闻网站,专门攻击行业批评者
一个叫 Acutus 的新闻网站,没有真人记者。它 94 篇文章里有 69% 被 AI 检测器判定为完全由 AI 生成。网站公开的代码里直接暴露了后台:有“AI 背景上下文”和“提问提示词”的输入框,点一下“生成文章草稿”就能出稿。AI 自己审稿时,有 42 篇被系统标为“需要修改”,但全都照发不误,整个审稿流程中位数只花 44 秒。发邮件给维权组织 ...
#OpenAI#Targeted Victory#Acutus
精选理由
精选 · 重要度 88 · 吸引力 + 知识量 + 共鸣
一句话点评
OpenAI 的政治行动委员会被曝资助了一个全 AI 写稿的假新闻网站,用来攻击行业批评者。网站后台代码直接暴露了“生成文章草稿”按钮,审稿只花 44 秒。
锐评
这事最离谱的不是 AI 写稿,而是整个“新闻网站”从记者到审稿全是假的。调查发现 Acutus 网站 94 篇文章里 69% 被检测为完全 AI 生成,发给维权组织的采访邮件也是 AI 编的,连署名记者“Michael Chen”都查无此人。更实锤的是,网站公开的前端代码里直接嵌着后台操作界面,有“AI 背景上下文”输入框和“生成文章草稿”按钮,AI 审稿系统把 42 篇标为“需要修改”,但中位数审稿时间只有 44 秒,等于没审就全发了。 网站背后运营方指向 Targeted Victory,这家公司正负责 OpenAI 那笔 1.25 亿美元的政治运作。文章内容专门攻击 AI 行业批评者,等于用自动生成的稿子去影响政策舆论。不过正文没披露 OpenAI 或 Targeted Victory 是否承认了这层关系,也没说清楚那 3 篇被判定为人类写的文章到底是谁写的。如果这真是 OpenAI 政治机器的一部分,那比单纯雇水军要省钱省事得多,但也把“AI 生成虚假信息”这个他们自己天天警告的风险,直接做成了产品。
HKR 分解
hook knowledge resonance
打开信源
88
SCORE
H1·K1·R1
02:16
50d ago
● P1Hacker News 首页· rssEN02:16 · 08·03
阿里发布通义千问3.8-Max,2.4万亿参数模型下周开源
Qwen 3.8-Max 是 Qwen 家族目前最强的模型,总参数 2.4 万亿,每次推理激活 950 亿参数,权重下周开源。团队没只跑分,而是让它真干活:独立维护一个叫 oh-my-cli 的项目 16 天,自动接了 151 个需求、合并 127 个 PR,代码库自己进化;又花 5 天从零复现一篇论文的实验,还自己琢磨出改进方法,在 AIME24 数...
#Code#Agent#Reasoning#Qwen
精选理由
精选 · 重要度 100 · 吸引力 + 知识量 + 共鸣
一句话点评
阿里发了2.4万亿参数的通义千问3.8-Max,下周开源权重。它在无人干预下跑了16天自主编程,还复现并改进了顶会论文,但所有测试都来自阿里自家环境。
锐评
这条消息最值得看的是“自主干活”的能力,而不是参数大。模型被要求从空文件夹开始写一个能自我进化的命令行工具,连续跑了16天,产出了265次代码提交。另一个测试是给它一篇论文和几张GPU,让它从零复现实验,结果它不仅复现了,还自己提了18个改进方案,最终比原论文方法高出2.7个百分点。这些数字说明模型在长周期、多步骤任务上的稳定性有提升,不再是只会写函数片段的助手。 但先别太激动。所有测试都在阿里自家的天池平台和代码仓库里完成,没有第三方独立验证。正文没披露2.4万亿参数模型的推理成本和延迟,这对实际落地比跑分更重要。另外,开源的是权重,不是训练代码或数据,你能用但很难自己复现或深度改造。下周开源后,社区跑起来的真实反馈会比官方报告更有参考价值。
HKR 分解
hook knowledge resonance
打开信源
100
SCORE
H1·K1·R1
00:46
51d ago
Hacker News 首页· rssEN00:46 · 08·03
Isopolis:一张等距像素旧金山地图,把城市变成可玩的游戏世界
作者 nuwandavek 用阿里 Qwen Image Edit 2511 模型,微调了 3D 谷歌地图渲染图,生成了旧金山的等距像素地图。地图标注了 583 个地点,包括 Anthropic、OpenAI、Google 等 AI 公司办公室、YC 创业公司、地标和餐厅,还提供了四条导览路线(比如给创始人的“Ship It, SF”)。用户可以搜索、...
#nuwandavek#Qwen#OpenStreetMap
一句话点评
一个用阿里Qwen模型把谷歌3D地图渲染成像素风旧金山地图的玩具项目,标注了583个地点(Anthropic、OpenAI、YC办公室等),还做了四条导览路线。好玩,但正文没披露生成耗时、用户量或地图更新频率,目前更像一个展示demo而非实用工具。
HKR 分解
hook knowledge resonance
打开信源
55
SCORE
H1·K1·R0
00:23
51d ago
Hacker News 首页· rssEN00:23 · 08·03
ssh.place:用 SSH 在共享画布上画画,无需注册
一个 200×60 像素的共享画布,你通过 SSH 连接就能在上面画彩色方块,不需要注册账号,SSH 密钥就是你的身份。用方向键移动光标,数字键 0-9 选颜色,空格键放一个像素块,每 15 秒才能放一次。画布不接受文字,只能画色块。目前 28 人在线,12000 个格子中画了 1807 个。开源项目,作者 jeninh。
#jeninh#Open source
一句话点评
一个 200×60 像素的共享画布,通过 SSH 连接就能画彩色方块,无需注册,SSH 密钥就是身份。方向键移动,数字键选色,空格放置,每 15 秒一次。目前 28 人在线,12000 格中画了 1807 个。开源项目,作者 jeninh。 短评:极简版 r/place,SSH 就能玩,门槛低但限制多。15 秒冷却、不能写字,适合无聊时涂两笔。28 人在线说明还没火,但作为玩具挺有意思。
HKR 分解
hook knowledge resonance
打开信源
55
SCORE
H1·K0·R0
00:00
51d ago
Computing Life · Share · 鸭哥调研· rssZH00:00 · 08·03
中美欧 AI 监管不是谁更严,是三种完全不同的治理哲学
2026 年 8 月 2 日,欧盟 AI 法案的透明度规则正式强制执行,要求系统明确告知用户正在与 AI 对话,并对生成内容打上机器可读标记。但把中、美、欧三地放在一起看,会发现它们走的是三条路。欧盟用一部大法横向按风险分级,高风险系统上市前要做合格评定,罚金最高能到全球年营收的 7%,好处是规则统一、可预测,代价是前置合规成本高。中国按应用场景垂直立...
#欧盟#中国网信办#美国联邦贸易委员会
一句话点评
这条把中、美、欧的 AI 监管差异讲清楚了,不是比谁更严,而是三种完全不同的治理逻辑。欧盟用一部大法横向按风险分级,好处是规则统一可预测,代价是前置合规成本高,罚金最高能到全球年营收的 7%。中国按应用场景垂直立法,网信办已经搭了五层规章体系,748 款服务完成备案,反应快但容易打地鼠——2026 年 7 月陪伴型 AI 集中下线就是例子,新规直接干预了产品交互设计,豆包、通义千问、腾讯元宝...
HKR 分解
hook knowledge resonance
打开信源
72
SCORE
H1·K1·R0

更多

频道

后台