从 Git 3.0 开始，预计在 2026 年底发布，新的仓库将默认使用“main”作为初始分支名称，而不是“master”。这一变化由软件自由保护协会于 2020 年宣布，并已被 GitHub 等平台采用，旨在推广包容性语言。 Git 3.0 还将包含重要的技术更新。这些更新包括通过将默认哈希函数从 SHA-1 切换到 SHA-256 来增强安全性，使用新的默认存储格式来提高在 macOS 和 Windows 上的性能和兼容性，以及进一步将 Rust 编程语言集成到 Git 的构建过程中。这些更新代表了广泛使用的版本控制系统的一次重大发展。
每日HackerNews RSS
需要启用 JavaScript 才能使用本网站以及许多其他网站。
一个 Hacker News 的讨论围绕着 lambda 演算 beta 规约的动画可视化（cruzgodar.com）。虽然它因清晰度而受到赞扬，但评论员指出 lambda 演算 (LC) 规约的局限性，特别是其非局部的“跳跃”性质。
一个替代模型，**交互网 (IN)**，被提出作为一种更具物理直觉且可能可并行化的解决方案。然而，将 LC 转换为 IN 并不总是语义保持的，需要更复杂的方法，如“牛角包和括号”来保持准确性。
讨论还强调了 Victor Taelin 及其项目 Higher Order Co. 的工作，启发了 lambda 演算计算的可视化——甚至演示了如何在系统中计算 Col' 等函数。Justine 的 lambda 演算示例（包括 brainf#*k 解释器）以及“2swap”等进一步的可视化也被分享，展示了对理解这些计算模型的持续兴趣。
## Wails：使用 Go 和 Web 技术构建桌面应用
Wails 通过结合 Go 的强大后端能力和熟悉的 Web 技术（HTML、JS、CSS）前端，简化桌面应用程序的构建，并将所有内容打包成一个轻量级的二进制文件。
与依赖 Web 服务器的传统方法不同，Wails 处理项目创建、编译和打包，让开发者专注于 UI 设计和功能实现。它支持原生对话框和菜单、深色/浅色模式以及现代视觉效果，利用原生渲染引擎，*无需*嵌入浏览器。
主要特性包括 Go 代码的自动 TypeScript 定义、统一的事件系统和强大的 CLI。Wails 非常适合希望为现有应用程序轻松添加前端，或无需 Electron 的开销即可创建新的桌面应用程序的 Go 程序员。
您可以在官方网站上找到项目路线图和安装说明。
## Wails 与桌面应用开发：总结
一则 Hacker News 讨论围绕使用 Go 构建桌面应用程序展开，起因是 [Wails 应用项目](https://github.com/wailsapp)。虽然 Go 具有性能优势，但开发者在使用 Go 绑定原生 UI 框架时，遇到了内存管理和垃圾回收的问题，导致一些人选择资源密集型的 Electron。
多位评论者分享了经验：一位开发者将其占用大量内存的 Go 菜单栏应用切换到 Electron，以提高性能和开发体验。另一些人成功地将 Go 后端逻辑与原生 UI 元素（Win32、GTK）结合，或探索了 Fyne 和 Tauri 等替代方案。
这场争论突出了原生性能、跨平台兼容性和开发者便利性之间的权衡。虽然存在真正的“原生”解决方案（Qt、Win32、Cocoa），但它们通常涉及更陡峭的学习曲线和更慢的开发周期。像 Electron 和 Wails 这样的框架优先考虑使用 Web 技术进行开发的便利性，但代价是增加了资源消耗。最终，最佳方法取决于项目需求和开发者专业知识。Fyne、AvaloniaUI 和 IUP 等其他替代方案也被提及。
## Hyperoptic & RouterPi 的 IPv6 连接问题
本文详细介绍了使用 RouterPi 和 Hyperoptic 网络服务时 IPv6 连接的故障排除过程。最初设置工作正常，但在重启后，由于 ISP 的上游路由器未响应路由器请求 (RS) 数据包（IPv6 网络发现的标准部分），IPv6 连接变得间歇性。虽然上游路由器每 15-30 分钟会发送未经请求的路由器通告 (RA)，但这种延迟导致网络在重启或 WAN 电缆重新连接后长达半小时没有默认路由。
一种解决方法是更改 RouterPi 的 WAN 接口 MAC 地址，这会立即触发 RA。这是因为 Hyperoptic 似乎只对每个电缆连接响应一次 MAC 地址更改。或者，可以通过 `ip -6 route` 手动添加 IPv6 网关地址，或使用 `dhcpcd` 钩子脚本自动执行此操作来解决问题。此外，从 `dhcpcd.conf` 中删除 `ia_na` 可以清理日志垃圾信息。
另一个数据包乱序的问题被追溯到 RouterPi 的 WAN MAC 地址以 ‘4’ 开头，导致对以太网标头的错误解释。将 MAC 地址更改为以 ‘a0’ 开头的地址解决了此问题。
## Hyperoptic IPv6 问题 - Hacker News 总结
Hacker News 上的一场讨论围绕一篇博客文章展开，该文章详细描述了一位 Hyperoptic 用户在使用 IPv6 时遇到的连接问题，具体表现为数据包乱序和连接不稳定。虽然一些用户报告称 Hyperoptic 的 IPv6 性能流畅，但也有其他用户反映了类似的问题，尤其是在最近的基础设施“升级”之后。
一个关键点是，用户体验似乎取决于其连接的 Hyperoptic 基础设施类型——较旧的 RJ45 连接更容易出现问题，而较新的 (X)GPON 设置则不然。一位用户指出，许多房产共享一个 IPv6 前缀，可能导致地址冲突。
对话还涉及了关于 IPv6 采用的更广泛的争论。一些人认为 IPv6 对于未来的互联网功能和直接连接至关重要，而另一些人则持怀疑态度，认为 IPv6 复杂且仍然依赖 IPv4。人们还表达了对地址成本、NAT 要求和安全的担忧，并建议禁用 IPv6 作为解决连接问题的步骤。最终，体验各不相同，同时维护 IPv4 和 IPv6 网络仍然很常见。
保险公司因巨额索赔风险增加而撤退人工智能承保。
Insurers retreat from AI cover as risk of multibillion-dollar claims mounts
2 天前
个人用户：了解您所在国家/地区当前可用的所有方案。 机构用户：为组织提供数字访问权限，包含独家功能和内容。
## 保险公司对人工智能覆盖退却
近期《金融时报》的一篇文章（以及Hacker News上的讨论）强调了一个重要发展：**保险公司正在日益减少对人工智能相关风险的承保。** 几家大型保险公司正在考虑或实施针对人工智能相关索赔的除外条款，这可能是由于面临数十亿美元赔付的风险。
这种退却被视为对人工智能快速、不受监管增长的有力制约。 专家认为，这种趋势不太可能被政治压力或营销所扭转，并将可能促使人工智能开发和部署方面更加透明和负责。
具体而言，这可能导致强制性人工智能披露、保险公司定义的最佳实践（要求对人工智能输出进行人工监督），并可能制造进入壁垒，从而有利于能够满足严格要求的大型人工智能公司。 其影响延伸到基础设施，人们对人工智能数据中心和相关硬件的可保险性表示担忧。 一项拟议的合规框架AIUC-1正在讨论中，作为一种潜在的解决方案，但其有效性还有待观察。
## 创作者的“终止转让权”的力量
作者加里·K·沃尔夫最近在迪士尼于1988年授权《罗杰兔》后，重新获得了该作品的权利，凸显了创作者面临的一个关键问题：将成功的作品控制权拱手让给大型公司，而这些公司可能并未积极利用这些作品。1976年《版权法》中的“终止转让权”条款解决了这一问题，允许创作者仅通过提交文件，在35年后重新获得版权许可。
这项政策在版权法中是独一无二的，仅惠及创作者而非公司。虽然版权通常是一张可以轻易放弃的筹码，但终止转让权提供了一个真正的权力转移。然而，由少数强大的买家主导的媒体行业（“垄断买方市场”）常常试图通过修改合同来重新获得权利，从而规避这一权利。
专家丽贝卡·吉布林强调了终止转让权的重要性，并展示了它在斯蒂芬·金和乔治·克林顿等案例中的成功。它提供了一个“回顾”的机会，可以根据作品的成功与否重新协商交易，并防止权利被那些未能充分发挥其潜力的大公司无限期持有。最终，终止转让权是创作者重新获得控制权和对其作品获得公平补偿的重要工具。
## 北海道的芯片革命：日本的大胆工业复兴 北海道，传统上以农业和旅游业闻名，正在经历一场剧变，因为日本正在大力投资以成为主要的半导体中心。由政府支持的公司Rapidus牵头，并与IBM合作，该岛屿旨在重启日本的芯片制造能力，并参与到价值6000亿美元的全球市场。 Rapidus最近取得了一项突破——成功生产出2纳米原型晶体管，这一成就仅与台积电和三星相媲美。一座大型工厂正在千岁市建设中，利用该地区的 инфраструктура 和较低的地震风险。然而，挑战依然存在，包括确保足够的资金（估计需要318亿美元）和克服缺乏制造经验的问题。 这一推动是政府自2020年以来对芯片产业进行270亿美元投资的一部分，其动力是希望夺回失去的地位——日本曾经生产全球超过一半的半导体，现在仅为10%以上。除了Rapidus，台积电、铠侠和美光等公司也在日本各地扩张设施，培育一个不断增长的生态系统。 Rapidus旨在通过提供更快的定制芯片生产来差异化竞争。成功不仅对经济复苏至关重要，而且对国家安全也至关重要，因为日本寻求在国际紧张局势加剧的情况下减少对外国芯片供应商的依赖。
## Gibberifier：用不可见文本阻止人工智能
Gibberifier 是一种旨在通过在文本的每个字母之间插入不可见的零宽度 Unicode 字符来干扰人工智能文本处理的工具。虽然对人类来说看起来正常，但这种“gibberification”（乱码化）会显著改变文本对人工智能模型的结构。
该技术旨在防止抄袭，混淆人工智能爬虫的文本，甚至耗尽人工智能的 token 限制。测试结果各不相同：ChatGPT 和 Gemini 会感到困惑或忽略文本，Meta AI 崩溃，而 Grok 和 Perplexity AI 会产生乱码响应。
最好在提示的关键部分使用（最多 500 个字符），Gibberifier 可以有效地阻止人工智能分析——即使是一个被乱码化的单词也能扰乱像 Flint AI 这样的工具。该工具在 GitHub 上可用，并提供了一种简单的方法来增加一层防止不受欢迎的人工智能交互的保护。
陆秋江博士的《和复数一起玩》旨在让高年级小学生（8-12岁）更容易理解并*享受*高等数学概念。本书认为，将数字理解为表面上的点——比如触摸屏——比传统的数轴更直观，并将复数介绍为这些“表面数字”。
本书基于作者的原创研究，以宏观思维、现实生活例子和引人入胜的插图重新构想了复数理论。它摒弃了死记硬背，而是通过“帆船”冒险鼓励探索和建立自信。
学生们将掌握加法和乘法等基础数学技能，同时自然地发现新的概念。最终，本书旨在重燃好奇心，并证明数学可以是一场激动人心的冒险，而不是一项苦差事。
这个Hacker News讨论围绕一本新书展开，该书旨在通过一种新颖的方法，甚至向小学生教授复数。作者陆秋江博士“从头开始”重新构建了复数理论，不依赖于虚数单位的传统定义（i = sqrt(-1））。
评论者们争论这本书的原创性，一些人指出已经存在类似的几何方法——将'i'定义为π/2旋转。然而，另一些人强调作者独特的视角，将实数视为“伸展”，将虚数视为“旋转”，可能提供一种全新的直观理解。
几位用户推荐了相关资源：之前的Hacker News讨论、作者的视频，特别是Welch Labs的“虚数是真实的”系列，作为一种极佳的学习工具。还有人提到了Tristan Needham的“视觉复数”作为相关且备受推崇的资源。虽然一些人质疑作者关于一个500年未解难题的说法，但普遍的看法倾向于这本书如果能有效地通过视觉方式传达复杂概念，将是一种有价值的教育工具。
## 开发者应具备的谦逊、同理心和自我意识 本文认为，对于开发者和技术领导者来说，减少自我中心，培养同理心和谦逊，不仅仅是美德——而是对职业成功和高质量工作*实用的*要求。虽然自我意识是自然存在的，但它很容易变得有害，以行话、设置门槛和不断为自己辩解（“一直以来都是这么做的”、“这不复杂”）等微妙的方式表现出来。 核心问题在于，不受控制的自我中心会抵制新信息，阻碍问题解决。相反，作者建议将同理心视为*收集*信息的工具，将谦逊视为*允许*这些信息改变你行为的工具。这并非关于自我牺牲，而是认识到任何情况都超出个人范围。 优先理解而非“正确”可以培养信任和协作。作者强调保持好奇心而非评判心，并强调积极听取所有团队成员的意见——甚至包括非技术岗位的人员。最终，拥抱同理心和谦逊能够建立更强的合作关系和更有效的解决方案，让你成为人们*愿意*合作的对象。
## 黑客新闻讨论摘要：自我、同理心与职场动态
最近黑客新闻上的一场讨论，源于一篇关于职场中的自我、同理心和谦逊的文章，深入探讨了这些特质微妙的表现方式，以及它们可能产生的负面影响。核心争论集中在识别以自我为中心的行为，例如使用术语（“技术术语”）来维持优越感，或否定他人的意见。
许多评论者认为，看似无害的行为，例如建议工具或坚持既定做法，可能源于自我或仅仅是懒惰。另一些人指出，诊断动机的难度，强调了同理心的重要性，并认识到意图并非总是负面的。
一个反复出现的主题是权力动态的影响，一些人认为管理者常常被忽视同理心，从而导致职场问题。 几位用户指出，虽然开发者经常被 singled out，但自我并不局限于该领域，可以在各个行业中找到。
最终，这场讨论强调了自我意识的挑战和谦逊的必要性，承认即使是善意的行为也可能被视为以自我为中心。 谈话还涉及清晰沟通的重要性，以及避免对他人知识或动机的假设。