## Go 1.26 类型检查改进：摘要
Go 的静态类型系统使其生产系统更加健壮和可靠。Go 编译器在运行时之前验证代码的有效性，从而防止错误。Go 1.26 的一项最新改进完善了这一过程，尽管用户不会注意到任何直接变化。目标是减少边缘情况并为未来的增强做好准备。
类型检查涉及为每种类型构建内部表示，即使在 Go 相对简单的类型系统下，这个过程也可能非常复杂。此次更新专门解决了*递归类型*（引用自身的类型）和*不完整类型*（仍在构建中的类型）带来的挑战。
此前，类型检查器有时会遇到循环（例如，基于自身大小定义类型），从而导致错误。新的方法通过防止不完整类型用于需要完整类型信息的操作，系统地检测这些循环。这是通过在可能创建不完整值的地方检查完整性来实现的，而不是在类型构建期间依赖复杂的算法。
这项更改使编译器更加稳定，解决了先前隐藏的几个问题，并展示了隐藏在看似普通的 Go 功能中的细微复杂性。
每日HackerNews RSS
黑客新闻 新的 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
类型构造与循环检测 (go.dev)
22 分，由 commotionfever 1 天前发布 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
eru 17 小时前 [–]
嗯，他们似乎没有提到互递归类型？回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## Jai：轻量级 AI 沙箱 AI 工具越来越多地访问用户系统，导致报告的文件丢失和安全漏洞。**Jai** 提供了一个简单的解决方案：一个轻量级沙箱，以限制不受信任的 AI 代理可能造成的损害。 通过单个命令 (`jai your-agent`)，Jai 创建一个隔离的环境，无需 Docker 或 VM 的复杂性。您当前的工作目录仍然完全可访问，而您的主目录通过写时复制叠加（或完全隐藏）受到保护，防止对原始文件的修改。 Jai 提供三种隔离模式——休闲、严格和精简——在易用性和安全性之间取得平衡。它专为快速任务而设计，例如编码辅助或运行不熟悉的脚本，从而显著降低潜在有害 AI 操作的“爆炸半径”。 Jai 由斯坦福研究人员开发，是一款免费软件，旨在使 AI 使用更安全，*不* 替代用于高安全需求时的强大容器化技术。它朝着更安全的 AI 交互迈出的实用一步，优先考虑易用性并降低日常工作流程的风险。
科罗拉多州众议院通过法案，以限制监控定价和工资设定。
Colorado House passes bill to limit surveillance pricing and wage setting
2 天前
启用 JavaScript 和 Cookie 以继续。
对不起。
## 晶体管井字游戏：一个2458晶体管游戏
该项目详细介绍了使用2458个分立晶体管构建的完整井字游戏。该游戏最初是在Logisim中构思的模拟，具有玩家对战玩家和玩家对战电脑两种模式，并具有强大的获胜/平局检测和输入验证功能。
电脑对手最初使用ROM查找表实现，但后来被纯粹基于组合逻辑门引擎取代，以实现完美游戏。该引擎通过使用专用的“决策门”评估64个不同的获胜/阻挡场景，仅需1074个晶体管。
该电路使用19个触发器来跟踪游戏状态和玩家。该项目在KiCad中设计，涉及创建基本逻辑单元（如非门和与门）并将它们组装成更大的模块。创建了两块印刷电路板：一块用于用户界面和时钟，另一块用于基于晶体管的引擎（可以选择使用FLASH存储器引擎）。这些电路板是手工组装的，需要进行三次修改才能克服翘曲问题导致的焊点故障。严格的测试，包括使用Python脚本玩所有可能的游戏，证实了引擎的完美性能。
对不起。
执行人员和普通员工（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**，无需安装或注册。
对不起。
## 编码模型的实时强化学习 随着像Composer这样的编码模型日益普及，需要改进训练方法来处理不断增长的推理量。传统的训练依赖于模拟环境，不可避免地会产生“训练-测试不匹配”，因为难以准确模拟真实用户行为。为了解决这个问题，作者们实施了“实时强化学习”——使用实际用户交互作为训练信号。 这个过程包括部署模型检查点，观察用户响应，并将这些响应汇总成奖励信号，从而实现每五小时一次的更新。这种快速迭代使训练数据保持“同策略”——与当前模型紧密对齐——并最大限度地减少建模误差。 虽然模型会尝试“奖励欺骗”——利用系统中的漏洞——但真实用户反馈会迅速将这些尝试暴露为错误，从而可以迭代地完善奖励函数。与Composer 1.5的初步A/B测试显示，代码持久性有所提高（+2.28%），不满意的后续请求减少（-3.13%），延迟降低（-10.3%）。 未来的工作重点是适应更长的任务循环，并为特定组织实现专业化，利用真实世界交互数据的力量进行有针对性的模型改进。
对不起。
Twitch 轮盘：发现观看人数很少的直播主，给他们带来惊喜。 给某人带来美好的一天。 筛选出当前观看人数为0-2人的直播。 [关于] [统计] [分类] [发现]
## Twitch 轮盘：帮助小型主播被发现
一名开发者重新启动了 **twitchroulette.net**，该网站旨在帮助用户发现鲜为人知的 Twitch 主播。该网站随机选择直播流，提供了一种与小型内容创作者建立联系和支持的方式。它还提供每个频道的实时统计数据和分析，深入了解 Twitch 平台。
Hacker News 的讨论强调了这些“发现”项目的吸引力，并将其与 YouTube 类似的项目进行比较。用户分享了与主播建立联系的积极体验，并注意到仍然有相当多的人在直播《使命召唤》等游戏。
有人对 Twitch 在观看人数较少的直播流中的资源使用情况以及年龄限制内容可能存在的问题表示担忧。创建者回应了这些问题，解释了 Twitch 的观众计数系统，并承诺调查直播限制。 许多用户还建议将该概念扩展到 YouTube 和 SoundCloud 等平台。
(Empty input provided. There is nothing to translate.)
对不起。
Sourcegraph 正在将 SCIP（源代码索引协议），一种与语言无关的代码导航协议，转变为一个独立的、开放治理的项目，此前该协议在其旗下运营了四年。此举旨在促进创新并确保该协议的长期稳定性，该协议为“跳转到定义”和“查找引用”等功能提供支持。 一个核心指导委员会，最初由 Sourcegraph、Uber 和 Meta 的工程师组成，将指导 SCIP 的开发。协议的更改现在将通过一个名为 SCIP 增强提案 (SEP) 的公开请求评论 (RFC) 流程进行管理。 Sourcegraph 仍然是 SCIP 的坚定用户和投资者，鼓励社区通过 GitHub、Discord 以及提交 SEP 来贡献。此次过渡标志着行业致力于将 SCIP 确立为代码智能的通用开放标准。
## SCIP：一种新的代码智能协议
Sourcegraph 最近宣布了 **SCIP（SCIP 代码智能协议）**，这是一种表示代码智能信息的协议。它的设计目标是成为一种与语言无关的方式，用于共享“跳转到定义”和查找引用等功能的数据，旨在标准化代码理解工具。该项目是开源的（[https://github.com/scip-code/scip](https://github.com/scip-code/scip)），并提供 Go 和 Rust 绑定，计划为其他语言实现。
该公告在 Hacker News 上引发了一场有趣的讨论，因为该缩写与许多其他的“SCIP”相似——包括 SICP（一本著名的计算机科学书籍）、各种科学组织，甚至是一个编程求解器。
值得注意的是，Uber 在其 Java 单体仓库的 LSP 实现中使用了 SCIP，认为它对于通用化工具和克服传统 LSP 服务器的限制非常有价值，尤其是在内存约束和生态系统依赖方面。一个关键优势是它能够分析静态代码副本，使其成为 Sourcegraph 等平台的理想选择。