## Go 1.26 类型检查改进：摘要
Go 的静态类型系统使其生产系统更加健壮和可靠。Go 编译器在运行时之前验证代码的有效性，从而防止错误。Go 1.26 的一项最新改进完善了这一过程，尽管用户不会注意到任何直接变化。目标是减少边缘情况并为未来的增强做好准备。
类型检查涉及为每种类型构建内部表示，即使在 Go 相对简单的类型系统下，这个过程也可能非常复杂。此次更新专门解决了*递归类型*（引用自身的类型）和*不完整类型*（仍在构建中的类型）带来的挑战。
此前，类型检查器有时会遇到循环（例如，基于自身大小定义类型），从而导致错误。新的方法通过防止不完整类型用于需要完整类型信息的操作，系统地检测这些循环。这是通过在可能创建不完整值的地方检查完整性来实现的，而不是在类型构建期间依赖复杂的算法。
这项更改使编译器更加稳定，解决了先前隐藏的几个问题，并展示了隐藏在看似普通的 Go 功能中的细微复杂性。
每日HackerNews RSS
对不起。
## Jai：轻量级 AI 沙箱 AI 工具越来越多地访问用户系统，导致报告的文件丢失和安全漏洞。**Jai** 提供了一个简单的解决方案：一个轻量级沙箱，以限制不受信任的 AI 代理可能造成的损害。 通过单个命令 (`jai your-agent`)，Jai 创建一个隔离的环境，无需 Docker 或 VM 的复杂性。您当前的工作目录仍然完全可访问，而您的主目录通过写时复制叠加（或完全隐藏）受到保护，防止对原始文件的修改。 Jai 提供三种隔离模式——休闲、严格和精简——在易用性和安全性之间取得平衡。它专为快速任务而设计，例如编码辅助或运行不熟悉的脚本，从而显著降低潜在有害 AI 操作的“爆炸半径”。 Jai 由斯坦福研究人员开发，是一款免费软件，旨在使 AI 使用更安全，*不* 替代用于高安全需求时的强大容器化技术。它朝着更安全的 AI 交互迈出的实用一步，优先考虑易用性并降低日常工作流程的风险。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
不要对你的文件系统一掷千金 (stanford.edu)
8 分，作者 mazieres 51 分钟前 | 隐藏 | 过去的 | 收藏 | 2 条评论 帮助
BoppreH 4 分钟前 | 下一个 [–]
优秀的工程项目，可惜标题不太吸引人。我差点没点进去。
我喜欢它提供的权衡：完全访问当前目录，只读访问其余目录，对家目录进行写时复制。同时还有更严格的模式来（大概）防止数据泄露。它真的感觉应该成为代理系统的默认设置。回复
mazieres 51 分钟前 | 上一个 [–]
人们需要做些什么才能停止鲁莽地在他们真正关心的机器上运行不受约束的 AI 代理？一位斯坦福研究人员认为答案是一个新的轻量级 Linux 容器系统，你不需要配置或思考。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
科罗拉多州众议院通过法案，以限制监控定价和工资设定。
Colorado House passes bill to limit surveillance pricing and wage setting
8 小时前
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
科罗拉多州众议院通过法案，限制监控定价和工资设定 (coloradonewsline.com)
16点 由 jprs 4小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系方式
搜索：
## 晶体管井字游戏：一个2458晶体管游戏
该项目详细介绍了使用2458个分立晶体管构建的完整井字游戏。该游戏最初是在Logisim中构思的模拟，具有玩家对战玩家和玩家对战电脑两种模式，并具有强大的获胜/平局检测和输入验证功能。
电脑对手最初使用ROM查找表实现，但后来被纯粹基于组合逻辑门引擎取代，以实现完美游戏。该引擎通过使用专用的“决策门”评估64个不同的获胜/阻挡场景，仅需1074个晶体管。
该电路使用19个触发器来跟踪游戏状态和玩家。该项目在KiCad中设计，涉及创建基本逻辑单元（如非门和与门）并将它们组装成更大的模块。创建了两块印刷电路板：一块用于用户界面和时钟，另一块用于基于晶体管的引擎（可以选择使用FLASH存储器引擎）。这些电路板是手工组装的，需要进行三次修改才能克服翘曲问题导致的焊点故障。严格的测试，包括使用Python脚本玩所有可能的游戏，证实了引擎的完美性能。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
晶体管和交叉：用2458个独立晶体管构建的井字游戏 (schilk.co)
8 分，由 voxadam 1小时前发布 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
floxy 33分钟前 [–]
太棒了。大约与Intel 4004使用的晶体管数量相同。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
执行人员和普通员工（ICs）对人工智能的认知存在显著差距。执行人员普遍拥抱人工智能，甚至强制使用，而普通员工则倾向于持怀疑态度。这源于不同的工作经验：执行人员习惯于应对非确定性系统——不可预测的事件和人为因素——并将人工智能视为另一个可管理的混沌元素。他们已经习惯于在复杂的组织中协调不同的“效用函数”。 然而，普通员工主要根据*确定性*任务进行评估——交付精确、可靠的结果。人工智能在这种领域引入了非确定性，经常提供不如熟练人工准确的输出，需要大量修正。这会将他们的角色从*执行*工作转变为*管理*人工智能，从而贬低他们所磨练的技能。 此外，人工智能提高生产力的承诺可能会让普通员工感到威胁，暗示他们的专业知识正在变得不那么重要。采用率与公司文化相关；优先考虑速度的公司会看到更多的普通员工支持，而专注于质量的公司则常常会遇到阻力。最终，人工智能符合执行人员管理复杂性的经验，但破坏了普通员工赖以生存和被衡量的确定性环境。
## AI 分歧：高管 vs. 个人贡献者
最近的讨论凸显了高管和个人贡献者（ICs）对人工智能的热情存在差距。核心观点是，高管将人工智能视为优化运营、利用现有员工提高产出以及强化他们对组织和战略价值的信念的工具——本质上，证实了他们的世界观。他们通常缺乏评估人工智能输出质量的详细知识。
然而，个人贡献者则更为怀疑。一些人对人工智能增强其工作的潜力感到兴奋，尤其是在调试和样板代码等任务方面。另一些人则担心工作岗位流失和技能贬值，认为人工智能对其专业知识构成威胁。
有几个因素导致了这种分歧：人工智能演示通常过度承诺，高管可能不了解人工智能的局限性，并且存在权力动态——人工智能可能会减少对中层管理人员的需求。最终，讨论表明存在根本性的视角差异：高管关注成本节约和效率，而个人贡献者则应对实际情况以及对他们工作可能产生的影响。
## MATLAB 替代方案：2026 年更新
工程师们越来越多地寻求 MATLAB 的替代方案，原因是其高昂（每席 2,000 美元以上）且现已采用订阅模式的许可费用。本指南比较了四种免费选项——**RunMat、Octave、Julia 和 Python**，从性能、兼容性和易用性方面进行比较。
**RunMat** 擅长直接运行现有的 MATLAB 代码，并具有自动 GPU 加速、基于浏览器的访问（无需安装！）、内置版本控制和大型文件处理功能。**GNU Octave** 提供了一个成熟、稳定的即插即用替代品，但缺乏 GPU 支持且速度较慢。**Python（配合 NumPy/SciPy）** 提供了最大的生态系统和强大的机器学习集成，但需要重写代码。**Julia** 在模拟方面提供高性能，但需要学习一门新语言，并且目前缺乏原生浏览器运行时。
关键考虑因素包括：**RunMat 和 Octave** 优先考虑 MATLAB 兼容性，**Julia 和 RunMat** 侧重于性能，而 **Python** 拥有最广泛的生态系统。**RunMat** 独特地提供了一个完整的基于浏览器的 IDE，具有 GPU 加速和实时协作功能，*无需*服务器依赖。
所有替代方案都使用基于脚本的工作流程，并且不复制 Simulink 的图形建模。**RunMat** 在自动版本控制和气隙部署等功能方面脱颖而出，解决了常见的工程工作流程挑战。最终，最佳选择取决于个人需求和优先级。
您可以在 [runmat.com](https://runmat.com) 立即试用 **RunMat**，无需安装或注册。
一个黑客新闻的讨论集中在寻找MATLAB的替代方案。一位用户（“bauta-steen”）分享了一个MATLAB替代方案的比较链接 ([runmat.com](https://runmat.com))。
一位评论者详细描述了他们用Python（使用SciPy）通过Java互操作层替换MATLAB的经验，用于一个涉及油坑传感器数据分析的控制工程项目。他们想知道使用像Runmat这样的解决方案直接将计算引擎嵌入到以前依赖MATLAB的现有应用程序中的可行性。
后续评论主要集中在网站的美学选择上——特别是使用表情符号样式的项目符号——一些人觉得它们分散注意力，而另一些人则欣赏它们易于识别，以便快速关闭部分内容。这次对话突出了迁移离开MATLAB的实际挑战和主观体验。
## 编码模型的实时强化学习 随着像Composer这样的编码模型日益普及，需要改进训练方法来处理不断增长的推理量。传统的训练依赖于模拟环境，不可避免地会产生“训练-测试不匹配”，因为难以准确模拟真实用户行为。为了解决这个问题，作者们实施了“实时强化学习”——使用实际用户交互作为训练信号。 这个过程包括部署模型检查点，观察用户响应，并将这些响应汇总成奖励信号，从而实现每五小时一次的更新。这种快速迭代使训练数据保持“同策略”——与当前模型紧密对齐——并最大限度地减少建模误差。 虽然模型会尝试“奖励欺骗”——利用系统中的漏洞——但真实用户反馈会迅速将这些尝试暴露为错误，从而可以迭代地完善奖励函数。与Composer 1.5的初步A/B测试显示，代码持久性有所提高（+2.28%），不满意的后续请求减少（-3.13%），延迟降低（-10.3%）。 未来的工作重点是适应更长的任务循环，并为特定组织实现专业化，利用真实世界交互数据的力量进行有针对性的模型改进。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
通过实时强化学习改进 Composer (cursor.com)
22点 由 ingve 1小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
Twitch 轮盘：发现观看人数很少的直播主，给他们带来惊喜。 给某人带来美好的一天。 筛选出当前观看人数为0-2人的直播。 [关于] [统计] [分类] [发现]
## Twitch 轮盘：帮助小型主播被发现
一名开发者重新启动了 **twitchroulette.net**，该网站旨在帮助用户发现鲜为人知的 Twitch 主播。该网站随机选择直播流，提供了一种与小型内容创作者建立联系和支持的方式。它还提供每个频道的实时统计数据和分析，深入了解 Twitch 平台。
Hacker News 的讨论强调了这些“发现”项目的吸引力，并将其与 YouTube 类似的项目进行比较。用户分享了与主播建立联系的积极体验，并注意到仍然有相当多的人在直播《使命召唤》等游戏。
有人对 Twitch 在观看人数较少的直播流中的资源使用情况以及年龄限制内容可能存在的问题表示担忧。创建者回应了这些问题，解释了 Twitch 的观众计数系统，并承诺调查直播限制。 许多用户还建议将该概念扩展到 YouTube 和 SoundCloud 等平台。
(Empty input provided. There is nothing to translate.)
一个名为geniecrate.com的新网站旨在自动生成可3D打印的抽屉整理器。然而，Hacker News上的早期用户反馈大多是负面的。
用户报告该网站需要文本输入抽屉尺寸，而不是提供像滑块这样的直观的用户界面控件——使其不如现有的Gridfinity等工具有效。 许多用户在使用生成过程中遇到了问题，包括看到来自*其他*用户的进度消息，并且普遍认为该AI驱动的系统不可靠（“AI垃圾”）。
许多评论者建议坚持使用像Gridfinity这样成熟的解决方案，他们认为这些方案在创建定制抽屉整理系统方面更实用和可预测。 核心批评集中在一个对装箱问题的LLM实现不佳，而这个问题可以用传统方法更有效地解决。
SCIP的未来
The Future of SCIP
10 小时前
Sourcegraph 正在将 SCIP（源代码索引协议），一种与语言无关的代码导航协议，转变为一个独立的、开放治理的项目，此前该协议在其旗下运营了四年。此举旨在促进创新并确保该协议的长期稳定性，该协议为“跳转到定义”和“查找引用”等功能提供支持。 一个核心指导委员会，最初由 Sourcegraph、Uber 和 Meta 的工程师组成，将指导 SCIP 的开发。协议的更改现在将通过一个名为 SCIP 增强提案 (SEP) 的公开请求评论 (RFC) 流程进行管理。 Sourcegraph 仍然是 SCIP 的坚定用户和投资者，鼓励社区通过 GitHub、Discord 以及提交 SEP 来贡献。此次过渡标志着行业致力于将 SCIP 确立为代码智能的通用开放标准。
这个Hacker News讨论围绕着**SCIP（源代码智能协议）**，该协议最近由Sourcegraph宣布。SCIP是一种用于表示代码智能数据的协议，旨在与语言无关，并促进诸如“跳转到定义”和交叉引用查找等功能。值得注意的是，该首字母缩写词故意与经典计算机科学教材*SICP（程序设计语言结构与解释）*相似。
该帖子很快演变成对其他也称为SCIP的首字母缩写词的幽默列表，涵盖了从安全通信到优化软件等领域。
除了命名混淆之外，讨论还集中在SCIP的技术实现——使用带有Go和Rust绑定的协议缓冲区——及其潜力上。用户分享了使用SCIP驱动的工具（如`dumb-jump`）的经验，并强调了其用例，尤其是在像Uber的Java单体仓库这样的大型代码库中，它能够实现与特定语言生态系统无关的通用代码分析。一个关键优势是它能够处理静态代码副本，使其适用于Sourcegraph等工具。