摘要：
一、起因 昨天看到 Show HN 上 Cajal (YC W26) 发的 Talos:一个用 Lean 4 写的 WebAssembly 解释器,核心卖点是"评估和证明共用一套代码"——同一个定义既能跑 Wasm 程序,也能在 Lean 定理证明器里被推理。一周内 105 分、28 条讨论,讨论密 阅读全文
posted @ 2026-06-22 07:08
Ninghg
阅读(25)
评论(0)
推荐(0)
摘要：
一、起因:Show HN 上一个 96 分的 NixOS CLI 2026-06-15 HN 上有个 Show HN 帖,标题是 Show HN: machine0 – Persistent NixOS VMs You Control from the CLI,96 分 / 36 评论。点进去看了之 阅读全文
posted @ 2026-06-21 19:11
Ninghg
阅读(22)
评论(0)
推荐(0)
摘要：
一、起因:Show HN 上一个有点出格的标题 周末在 HN 首页刷到一条 61 分的 Show HN,标题是 "We post-trained a model that pen tests instead of refusing"。作者是 CosineAI(也是那个做 coding agent 的 阅读全文
posted @ 2026-06-21 07:08
Ninghg
阅读(51)
评论(0)
推荐(0)
摘要：
晚上刷到 HN 124 分的讨论《GPT-5.5 hallucinates 3x more than MIT-licensed GLM-5.2》(arrowtsx.dev),原文链接在 news.ycombinator.com/item?id=48600167。原文作者用 Vellum/Artifi 阅读全文
posted @ 2026-06-20 19:08
Ninghg
阅读(108)
评论(0)
推荐(0)
摘要：
一、起因 2026-04-03 上线、6 月 19 日更新到 2,074 stars / 289 forks 的 brycewang-stanford/Auto-Empirical-Research-Skills(下文简称 AERS)被 HN 顶上 GitHub trending 的时候我先把它当普 阅读全文
posted @ 2026-06-20 07:07
Ninghg
阅读(138)
评论(0)
推荐(0)
摘要：
一、背景:Wired 报道的 Mythos 事件 6 月 14 日,Wired 披露了一则工程圈很容易略过、但对私有 LLM 访问控制设计有直接参考价值的报道:白宫命令 Anthropic 撤销韩国最大无线运营商 SK Telecom 对 Claude Mythos 的访问权限,理由是怀疑 SK T 阅读全文
posted @ 2026-06-19 07:07
Ninghg
阅读(59)
评论(0)
推荐(0)
摘要：
一、背景:一份从 Ed Zitron 手里流出的审计财报 6 月 15 日,独立记者 Ed Zitron 拿到 OpenAI 提交给 SEC 的两份审计财报(2024 / 2025),第二天 Ars Technica 与 Financial Times 同时做了报道(HN 主帖 353 分,103 阅读全文
posted @ 2026-06-18 19:09
Ninghg
阅读(90)
评论(0)
推荐(0)
摘要：
一、背景 OpenRouter 的 DevRel Lead Jacky Liang 在 2026-06-16 上线了一个叫 Royale: Last Agent Standing 的实验:11 个主流 LLM 在一个 400 m² 的 2D 吃鸡战场里各跑 30 局,每局靠 tool call 决策 阅读全文
posted @ 2026-06-18 07:11
Ninghg
阅读(72)
评论(0)
推荐(0)
摘要：
一、背景 Z.ai 在 2026-06-17 放出 GLM-5.2,Artificial Analysis Intelligence Index v4.1 给出 51 分,比上一档开源模型(MiniMax-M3 / DeepSeek V4 Pro max 44 分,Kimi K2.6 43 分)高一 阅读全文
posted @ 2026-06-17 19:09
Ninghg
阅读(547)
评论(0)
推荐(0)
摘要：
本地模型做 agentic coding 到底行不行：从 HN 917 分讨论到 M2 64GB 上的 Pi + LM Studio 全流程记录 最近 HN 上 Vickiboykis 那篇《Running local models is good now》拿下了 917 分、391 条评论，核心观 阅读全文
posted @ 2026-06-17 07:08
Ninghg
阅读(65)
评论(0)
推荐(0)
浙公网安备 33010602011771号