Go 1.27 使 encoding/json/v2 和 encoding/json/jsontext 稳定。它们解决了长期存在的 encoding/json 问题：严格 UTF-8 和重复名称处理、nil 切片/映射编组、大小写敏感性，以及 API/性能限制。jsontext 通过编码和解码值与令牌来处理流式 JSON 语法，而 json/v2 增加了语义编组/解组、选项以及流式 MarshalerTo/UnmarshalerFrom 接口。v2 提供 Marshal/Unmarshal 以及 Writer、Reader、Encoder 和 Decoder 变体，支持调用方和类型层级自定义，并带来 omitempty 和大小写敏感匹配等行为变化，可通过选项选择 v1 或 v2 语义。Unmarshal 快很多，而 Marshal 与 v1 接近。v1 构建于 v2 之上以保持兼容，支持渐进迁移和版本间互操作。这些包开发了约六年，并有社区协作。
每日HackerNews RSS
Hacker News 关于 Go 新 JSON API 的讨论。一个帖子链接到 go.dev，有 67 分和 10 条评论。一位评论者喜欢 `encoding/json/v2`，但怀念 `MarshalIndent`；回复建议使用 `jsontext.Value.Indent` 或 `jsontext.WithIndent`。另一个讨论串争论为什么 `Marshal` 返回错误：有人认为不可序列化数据是运行时/数据来源问题，且 `Marshal` 接受 `any`；也有人认为更强的类型系统可以捕获它。总体来说，评论聚焦于迁移体验和 Go 在 JSON 序列化中的错误处理。
10月，Ladybird将样式与布局移出主线程，使CSS动画和`:hover`在长时间的JavaScript任务期间仍可继续；为Linux/macOS添加了JavaScript JIT；用更快的基于Rust的解释器/JIT替换了其WebAssembly引擎；并重新设计了浏览器UI，改进了标签页、滚动、表单控件和主题。它在Web平台测试中超过了Safari Technology Preview，达到2,184,722个子测试。网站兼容性有所改善，包括Google Slides、GitHub、ChatGPT、Instagram、Gmail等。新功能包括VoiceOver/Orca支持、画中画、文本链接、权限和开发者工具。安全工作加强了沙箱和进程隔离。更多C++代码迁移至Rust，包括LibJS运行时、Wasm、WebGL、canvas、IndexedDB、Streams、URL和样式。媒体支持得到改善，包括Windows视频/YouTube和Vulkan Linux解码。Alpha就绪新增包括发布构建、崩溃报告、欢迎页面和故障网站报告。Ladybird继续由赞助商资助。
Hacker News 的帖子链接到 Ladybird 的 2026 年 10 月更新。评论者称赞 Ladybird 的快速进展：一位用户每天构建并将其用于低风险浏览，表示其预 alpha 状态已接近被遗忘的地步，并将其与早期的 Mozilla/Gecko 相比。另一位用户期待一旦进入 alpha 阶段就用于日常使用；有回复指出从源码构建很容易。另一位评论者询问 C++ 开发者，大型 Rust 构建产物是否正常，以及 Rust 转写是否能在新功能之外带来明显的项目改进。
彭博 需要帮助？联系我们 我们检测到您的计算机网络有异常活动 要继续，请点击下方的框以向我们确认您不是机器人。 为什么会发生这种情况？ 请确保您的浏览器支持 JavaScript 和 Cookie，并且没有阻止它们加载。 如需更多信息，您可以查阅我们的服务条款和 Cookie 政策。 需要帮助？ 关于此消息的疑问，请联系我们的支持团队并提供下方的参考 ID。 屏蔽参考 ID:0825c526-d87e-11f1-a842-083005d6f9b3 通过 Bloomberg.com 订阅，全球最重要的市场新闻触手可及。 立即订阅
比亚迪在巴西建厂一年内将市场份额翻倍至9.7%，显示消费者对低成本替代品的强劲需求。Hacker News评论者就原因展开讨论：有人指出比亚迪的价格、续航和充电优势，也有人提到美国、德国、日本和韩国等市场的品牌忠诚度和本土汽车产业。巴西用户报告说许多朋友在购买比亚迪。讨论还涉及电动汽车相对于汽油车的优势，以及大众ID.4等高端车型的可负担性差距。总体而言，比亚迪在消费者重视性价比和实用电动车性能的市场中获得越来越多的关注。
腾讯 Hy4 Tencent Hy4
3 小时前
五百六十七 一零二九二七五七七三五三三六零五八八九九
Hacker News
新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Tencent Hy4（tencent.ai）
37 分，由 Philpax 3小时前 | 隐藏 | 过去 | 收藏 | 1 条评论
帮助 minimaxir 13分钟前 [–]
比 Kimi 3.1M Pro（今天刚发布开放权重）略差，但即使不计当前五折促销也便宜得多；腾讯承诺开放权重后会更便宜。价格经济很有趣。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
新的档案研究显示，罗莎琳德·富兰克林是有意拍摄“照片51”，作为“照片49”的改进后续，而非偶然成像，表明她认识到其重要结构数据。富兰克林在“照片49”中记录了可能的螺旋特征，并制作了更清晰的“照片51”作为展示图像。她的笔记反驳了她未能解读自己结果的说法。她当时正致力于区分DNA的A型和B型结构，并优先研究信息更丰富的A型。在她发表之前，莫里斯·威尔金斯把她的B型结构照片给詹姆斯·沃森看；随后沃森、弗朗西斯·克里克和威尔金斯建立了双螺旋模型，并获得1962年诺贝尔奖。富兰克林于1958年去世，早于该奖，她的贡献后来才更加清晰。文章还指出，她可能认识到的是螺旋结构，而非一定是双螺旋结构。
Hacker News
新
|
过去
|
评论
|
提问
|
展示
|
工作
|
提交
登录
Rosalind Franklin 在 Watson 和 Crick 之前发现了 DNA 的螺旋结构
(
livescience.com
)
28 分
由
gmays
2小时前
|
隐藏
|
过去
|
收藏
|
2条评论
帮助
ortusdux
29分钟前
|
下一个
[–]
https://news.ycombinator.com/item?id=49969073
回复
mrkn1
24分钟前
|
上一个
[–]
想象一下，你工作能力如此之强，以至于别人最伟大的智力成就只是看了你的演示。
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
FlashProve 是一个使用 zkSNARKs 的可证明 AI 推理开源原型。它允许提供方承诺模型权重，并证明每个响应来自该模型，而不泄露权重。这解决了诸如调控 AI 发展节奏、篡改检测、文本溯源和确保提供经批准模型等信任问题。对于 Llama 4 Maverick（400B MoE，4-bit），它在单个 H100 上以约 110 tokens/秒生成证明，1,024-token 请求的证明大小约 19 MB，约为 vLLM GPU 时间的 70–95 倍。证明在 CPU 上几秒内完成验证。系统采用事后批处理并隐藏了运行的专家。它包含代码、技术报告、协议规范、C++ 和 Lean 验证器，以及用于完备性、健全性和零知识的 Lean 证明。局限包括快速代码无形式化保证、仅支持整数/贪心解码、不隐藏架构、侧信道和 1,024-token 上下文。基于 Apache 2.0 协议发布。
Hacker News 链接了 Anthropic 在大语言模型可证明推理方面的进展。该帖有 19 点和两条评论。一位评论者询问权重证明是否能检测提供商路由到其他模型或运行量化版本；引用的方法证明了已发布权重的精确整数版本，并证明每个被检查的 token 是模型的贪婪选择，但浮点实现或采样解码仍可能不同，因此可能无法完全解决该问题。另一位评论者称其为公关噱头，引用《财富》杂志报道，Anthropic 曾在未通知用户的情况下将部分请求秘密路由到功能较弱的模型，这与可见限制不同。总体而言，该帖混合了关于可证明推理的技术问题和对 Anthropic 透明度的怀疑。
Replay 的使命是实现可靠、自动地检测和修复所有 Web 缺陷。这需要编码代理、用于查看和根因分析缺陷的可观测性，以及将它们连接起来的运行框架。Replay 的核心技术是一个面向 Chromium 和 Node.js 的时间旅行调试器，它记录非确定性输入并支持确定性重放，将执行过程拆解为可查询的语句、状态和依赖数据库——为代理提供“完美可观测性”，使其无需猜测。
基于此调试器，Replay QA 是一个可直接接入的工具，用于探索和测试应用、从部分数据复现用户会话，并发现多种缺陷（功能损坏、故障、性能、安全）。对于每个缺陷，它会结合录制中的支持证据识别根因。其自有后端也被录制，因此检测到的失败会被调试、修复，并由软件工厂转化为持久测试用例。
在一个对主要应用构建商推广的 40 个应用进行的实验中，Replay QA 发现了 900+ 个缺陷。与仅提供复现步骤（迫使代理猜测根因）的工具不同，Replay QA 提供由证据支持的确切原因——例如缺失的 onClick 处理器或多因素布局偏移——使代理能够直接修复缺陷。Replay QA 已正式可用，可免费试用，并提供集成、定时运行和 API。
Hacker News 的一个帖子链接到 replay.io 的“An end to buggy web apps.” 评论者认为减少 bug 需要小心、在编码前理解改动、删除代码以及简化功能。其他人说软件，尤其是 Web 应用，变得更 buggy 了。OP 认为 AI 可以生成 buggy 的 Web 应用，但也能帮助修复它们，而另一位评论者说 AI 代码通常冗长且更难维护。有人开玩笑说“vibe coder”听起来比“bug breeder”更好。最后一条评论预测，用户会越来越多地把任务委托给能导航甚至糟糕 UI 的代理，从而使 UX 对人类没那么重要。
Kimi K3.1 Pro 是 Moonshot 的开源权重、原生多模态智能体模型，也是其迄今最强大的 3T 级模型，基于 Kimi K3 通过大规模联合强化学习进行后训练。它采用 2.8T 参数的 MoE 架构，激活参数 104B，共 93 层，并具备 100 万 token 上下文窗口，以及 KDA/Gated DSA 注意力和 MXFP4/MXFP8 量化。它提升了编程、3D 创作、金融研究、事实准确性以及智能体能力。基准测试显示，它在编程、智能体、多模态、推理和网络安全任务中表现具有竞争力或领先。它支持 reasoning_effort low/high/max（默认 max），在 platform.kimi.ai 提供 OpenAI/Anthropic 兼容 API，并要求在多轮使用中保留完整的助手消息，包括 reasoning_content 和 tool_calls。采用 Kimi K3.1 Pro License 发布；请联系 [email protected]。
Hacker News 讨论 Kimi K3.1 Pro 模型权重发布。评论者争论本地运行是否实际：有人认为可能需要 8x B300 节点，另一些人提出在约 192GB RAM 上 SSD 流式加载，或单个 MI300x 配合系统内存卸载。有人推测数据中心 GPU 限制和未使用库存可能让高端硬件日后更易获得，不过也有人怀疑。用户还比较上下文长度需求，提到一种配置几乎可容纳 450k tokens，而其他人更希望保持在 200k 以下。总体而言，该帖围绕运行开放模型的成本、硬件和实用性展开。
Y Combinator CEO Garry Tan 说他每年花费约10万到20万美元用于AI token，使用智能体进行编程、研究和日常任务。他的智能体已读取他的邮件、Dropbox、Apple Notes和治疗记录，并共享了23个 Claude Code 技能，称为“gstack”。他把智能体比作有帮助的“吉米尼蟋蟀”，会自主行动并预判需求。YC还使用内部智能体 Stray Light，具有个性和公司上下文。Tan认为如果成本下降，个人AI智能体可能成为主流，同时警告不要使用大型科技公司控制的智能体；他偏好用户控制、可编程的个人AI。
一篇 Hacker News 帖子讨论 YC 的 Garry Tan 据报每年最多花费 20 万美元购买 AI 令牌。评论者争论这种支出是否表明真实价值或炫耀性消费，指出令牌成本可能迅速上升，而补贴套餐可能使标题数字具有误导性。一些人质疑 Tan 建了什么，开玩笑讨论助手或精神失常，并指出他的智能体读取大量个人数据，包括治疗记录。YC 还使用名为“Stray Light”的内部智能体，掌握关于创始人和申请的广泛上下文。其他人质疑效率提升，以及昂贵的 AI 使用是否会取代人类助手，而一些人认为如果它能产生价值，就可以为之辩护。总体而言，该讨论串反映出围绕高成本 AI 智能体使用的好奇与怀疑。
客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。此网站的必要组件无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的网络连接，禁用广告拦截器，或尝试使用其他浏览器。
一段 Hacker News 帖子链接到《卫报》一篇文章，询问是否有任何办法拯救英国高街——据报道那里被电子烟店、美甲/足疗店和慈善商店所占据。评论者将这一趋势与加拿大作比较，询问美甲/水疗店为何能生存，并将慈善商店解释为由慈善机构经营的二手/旧货店。其他人愤世嫉俗地暗示此类商店可能用于洗钱或反映灰色市场活动，而一位评论者提到了罗瑟勒姆。总体而言，该帖子混合了地方观察、对慈善零售的解释，以及对高街生存能力的怀疑。