Zig 核心团队已成功实现增量编译，该功能仅重新编译更改后的代码并将其直接修补到二进制文件中，从而显著加快了开发速度。这一转变将构建时间从秒级缩短至毫秒级。
编译器通过多阶段流水线实现这种速度：
* **源码处理**：源文件被解析为 ZIR（Zig 中间表示）并进行缓存，从而实现简单且并行的更新。
* **语义分析**：Zig 利用依赖图跟踪“分析单元”（函数、类型和值）之间的关系。当源代码更改时，仅有失效的单元会被重新分析。
* **代码生成**：AIR 被转换为针对每个函数的机器指令，允许在无需大量缓存的情况下进行并行处理。
* **链接器集成**：Zig 的自定义链接器使用 `MappedFile` 抽象来更新二进制文件中的特定内存区域，而无需重写整个文件。
虽然该功能目前专注于 x86_64-Linux 平台，并可通过 `zig build --watch -fincremental` 使用（目标是在 0.17.0+ 版本中获得全面支持），但核心团队已在日常开发中使用它。尽管仍处于开发阶段，但它展示了编译器性能的重大飞跃，预计不久后将对引用跟踪图进行进一步优化。
每日HackerNews RSS
这段 Hacker News 的讨论围绕着文章《Zig 增量编译的内部原理》展开，重点介绍了 Zig 在实现快速增量构建周期上投入的巨大工程努力。
讨论中，Steve Klabnik 与其他用户就内存安全和编译器设计进行了激烈的辩论。Klabnik 在称赞 Zig 的工具链和编译速度的同时，坚持认为内存安全对他个人而言是“入场门票”（table stakes），因此他更倾向于使用 Rust 等语言。这引发了一场关于“入场门票”定义的长期争论，以及在工程目标和权衡各异的情况下，比较 Rust、Zig、C 和 Java 是否有意义。
讨论的很大一部分集中在编译的技术挑战上。专家们探讨了传统“先生成库，再生成二进制文件”的编译模型的局限性，这种模式往往会导致冗余工作。他们研究了按需编译，以及增量性能与优化级别之间的权衡。
该讨论帖最后指出，虽然对于什么才是“完美”语言尚无普遍共识——每个社区所侧重的内存安全、性能或编译速度等方向各不相同——但大家共同认可 Zig 在实现快速增量构建这一创新方法上的成就。
由于对平庸的“DS”姓名首字母缩写感到不满，身为开发者兼前相机技师的斯皮纳（Spina）寻求一种根植于乌尔姆设计学院（Ulm School of Design）原则的新标志：即优先考虑客观系统、测量和工业实用性，而非艺术修饰。
受机械结构分解图及其姓氏（意为“弹簧销”，一种通过张力将部件固定在一起的组件）的启发，斯皮纳利用代码开发了他的标志。他没有手绘图案，而是编写了一个基于特定数学输入生成螺旋的函数。
他通过一系列“机械”测试来打磨设计：消除次要联想（“鸭子”问题）、测试像素阈值下的易读性，并计算物理制造的最小尺寸。最终的设计是一个响应式、可编程的几何符号，能根据尺寸调整结构，从而模拟了它所代表的物理组件的功能特性。
通过以技术约束取代主观偏好，斯皮纳得到了一种通用且“静默”的符号。它既能有效作为数字网站图标，也能作为实物印章，正如现实中通过保持开放状态而精准固位的机械组件一样。
这篇 Hacker News 讨论聚焦于 Danny Spina 的文章《深度 Logo 研究》（A Deep Logo Study），该文记录了他的设计过程。
社区对此反应不一，但整体持积极态度。评论者特别称赞了 Spina 在使用人工智能方面的透明度，并指出他通过“徽章”来量化 AI 在写作和设计过程中的辅助程度，这一创意决策值得肯定。有用户认为这种披露方式令人耳目一新，并将其视为未来博客文章的典范。
然而，讨论也涉及了文章的文笔质量。一些用户批评其写作风格“生硬”，认为它带有大语言模型生成文本中常见的重复或脱节感。另一位评论者则表示，虽然文章并非关于 Logo 编程语言，这让人略感失望，但他们仍然觉得该作品很有吸引力。总而言之，该讨论串突显了人们对内容创作中 AI 透明度日益增长的关注，同时也展现了对由此产生的叙事质量的审视。
请启用 JavaScript 和 Cookie 以继续。
这份由网络干扰开放观测站（OONI）及其合作组织发布的报告，记录了意大利对两个主要生殖健康网站——**Women on Web** 和 **Women Help Women**——进行的系统性屏蔽。 对 2025 年 11 月至 2026 年 6 月期间收集的 OONI Probe 数据分析显示，至少有六家意大利主要互联网服务提供商（ISP）——包括 Fastweb、Vodafone Italia、EOLO、Sky Italia、Iliad/Scaleway 和 WIND TRE——自 2026 年 2 月中旬起开始限制对这些域名的访问。 这些互联网服务提供商采用了多种基于 DNS 的审查技术，包括： * **DNS 篡改：** 返回“Bogon”IP 地址（127.0.0.1）或“NXDOMAIN”错误，使网站看起来不存在或无法访问。 * **屏蔽页面重定向：** Sky Italia 将流量重定向至特定服务器，导致 TLS 证书验证失败，从而证实了这是人为的屏蔽行为。 尽管在意大利堕胎是合法的，但由于医疗专业人员中普遍存在“出于良心拒绝”的情况以及其他障碍，获取相关服务仍然困难。OONI 得出结论：这种数字审查限制了人们获取基本健康信息的渠道，增加了个人做出知情生殖健康决策的难度。该报告主张提高此类屏蔽措施的透明度，这些措施往往将政府下令的审查伪装成技术故障。
抱歉。
随着欧盟筹备 2028–2034 年预算，目前严重依赖各国国民总收入（GNI）分摊的筹资模式已愈发捉襟见肘。这些分摊款项主要源于劳动税和消费税，将财务负担转嫁给了普通收入者，并加剧了关于国家“净贡献”地位的争议，而非专注于欧洲共同投资。 为满足气候、数字化和安全领域日益增长的需求，欧盟必须转向“自有财源”——即不消耗国家预算的独立收入来源。分析表明，针对流动性强且税收不足的资产最为有效： * **超高净值税：** 对超过 1 亿欧元的净财富征收最低税，具有最高的收入潜力（每年高达 410 亿欧元），并能解决极端不平等问题。 * **跨境征费：** 对加密货币交易、航空和金融市场征税更适合在欧盟层面实施，因为这能抑制投机性的不稳定性，并防止因跨境流动而导致的避税行为。 通过采用这些新的收入来源，欧盟可以摆脱“净贡献”的陷阱，实现可持续融资，并将政治重心从国家成本转向欧洲公共产品的共同利益。
一篇近期发表的文章提出，对欧洲超级富豪征税可为欧盟预算提供资金，这一观点在黑客新闻（Hacker News）上引发了激烈的争议。支持者认为，财富过度集中威胁社会稳定，必须采取非常规手段来应对日益加剧的不平等。他们主张，对资产或金融交易征税是实现欧盟财政结构现代化的可行且必要的方案。
然而，批评者提出了重大担忧。许多人认为财富税效率低下，容易导致资本外逃，且最终很可能会“蔓延”至中产阶级。另一些人则对欧盟预算的扩张持怀疑态度，认为此举会导致行政机构更加臃肿，而非提升治理水平。讨论还涉及了欧洲更广泛的税收负担问题；许多参与者对高额所得税和增值税感到不满，他们认为欧洲的经济困境源于创新能力不足和政府过度支出，而非税收收入匮乏。
总而言之，这场讨论反映了两种观点的深刻分歧：一方将定向财富税视为实现公平的工具，而另一方则认为此类政策会挤走资本、抑制增长，并进一步壮大本已臃肿的行政机构。
和声解析：迈向音乐科学理论的进程（2012年） Harmony Explained: Progress Towards a Scientific Theory of Music (2012)
2 天前
在《和声解析》（*Harmony Explained*）一书中，丹尼尔·肖克罗斯·威尔克森（Daniel Shawcross Wilkerson）指出，传统乐理缺乏严谨的科学基础，并将其对“无根据迷信”的依赖比作中世纪医学。为了寻求更实证的方法，威尔克森将物理现象与人类大脑处理声音的计算模型相结合。 作者对19世纪物理学家赫尔曼·冯·亥姆霍兹（Hermann Helmholtz）的既定理论提出了挑战，指出亥姆霍兹的“谐和”理论无法解释为何复杂和声会存在。相反，威尔克森为大调音阶、标准和弦词典，以及大三和弦与小三和弦之间明显的感性差异推导出了科学依据。他声称，自己对后两种现象的推导代表了该领域的原创性贡献。 本文以通俗易懂、对话式的风格撰写，旨在架起科学探究与音乐实践之间的桥梁。通过超越传统的术语，威尔克森提供了一个逻辑框架，解释了调性音乐为何以这种方式运作，从而为传统乐理中往往晦涩难懂的解释提供了一种令人满意的替代方案。
所链接的2012年论文《和声的解释》（Harmony Explained）提出了一种基于计算机科学的音乐理论，旨在通过大脑的听觉识别算法来解释和声。作者认为，听觉处理——特别是大脑重构缺失基频的能力——是一种普遍的生物学特性，而非纯粹的文化构建，这一点在猫头鹰身上也得到了印证。
Hacker News 上的讨论反映了科学/数学方法与音乐实践中微妙现实之间的分歧。支持者赞赏作者试图从客观的“第一性原理”算法中推导和声的尝试；批评者则认为该理论过于还原论，指出它忽略了耳蜗的机械作用，无视非西方音乐传统，并未能解释节奏、音色和文化习俗的重要作用。
许多参与者强调，音乐是一个复杂的适应系统，其中的“愉悦感”源于预期与意外之间的张力。尽管该论文试图为音乐感知提供客观基础，但评论者们的共识是：音乐与社会学、语境及美学因素联系过于紧密，无法被纯粹的数学模型完全概括。
### 问题描述
在使用搭载全新 Apple M5 Pro 芯片的设备上，将网络模式设置为“桥接（Bridged）”时，虚拟机无法启动。
我测试了最新的 `ubuntu-24.04.4-live-server-arm64.iso` 镜像。
当网络模式设置为“仅主机（Host Only）”或“共享（Extended）”时，虚拟机可以正常启动。
### 配置信息
* **UTM 版本：** 4.7.5 (118)
* **macOS 版本：** 26.3.1 (a)
* **Mac 芯片：** M5 Pro
### 崩溃日志
应用没有崩溃，只是在按下启动按钮后立即卡在加载界面。
### 调试日志
很遗憾，系统还没运行到可以导出调试日志的阶段。
### 上传附件
`VMconfig.plist.zip`
最近 Hacker News 上的一篇讨论关注到了一个故障：在使用 Apple M5 Pro 硬件时，使用 UTM 应用程序的虚拟机（VM）无法在“桥接”网络模式下启动。
该讨论串凸显了软件故障排除中一种反复出现的模式：一些人最初声称该功能“本就不该正常工作”，但随着苹果 macOS 26/27 测试版更新解决了该问题，这种论调被社区证明是错误的。这引发了对技术支持帖中傲慢态度的更广泛批评，即用户有时会无视证据，坚称这是一个功能或用户错误。
评论者还谈到了 M5 新网络堆栈的复杂性以及现代消费软件的脆弱性，这引出了一段冗长且包罗万象的题外话，将软件质量的下降与现代鞋类的“一次性”属性进行了比较，并最终援引了关于经济不平等的“山姆·维姆斯靴子理论”。最终，大家的共识是，虽然 M5 的网络问题是真实的硬件/操作系统障碍，但这次讨论提醒了人们，公开交流和点对点的技术验证远比这种“守门人”心态更有价值。
极客蚂蚁
抱歉。
俄罗斯数学的兴起并非源于自然的演进，而是彼得大帝发起的一项刻意的国家工程。为了实现帝国现代化，彼得大帝于1724年建立了圣彼得堡科学院，并将数学置于其核心地位。
科学院早期的成功得益于欧洲精英的迁入，特别是伯努利家族及其门生莱昂哈德·欧拉。欧拉于1727年来到俄罗斯，在此度过了三十多年的时光。期间，他创作了大量著作，扶持了该国第一个本土数学学派，并在官僚主义的敌意中力挺米哈伊尔·罗蒙诺索夫等本土人才。
欧拉留下的遗产为俄罗斯本土科学文化的蓬勃发展奠定了基石。到了19世纪，这一基础使俄罗斯学者得以从欧洲大师的学生转变为独立的创新者。以米哈伊尔·奥斯特罗格拉德斯基为代表的第一代本土数学家脱颖而出，他们在分析学和力学领域的原创性贡献足以与欧洲顶尖水平媲美，从而使俄罗斯稳固地跻身为全球数学卓越中心。
抱歉。
Shopify 首席执行官托比亚斯·吕特克（Tobias Lütke）近日因支持“分级纳税”投票制度而引发争议。在一场社交媒体讨论中，吕特克支持了一项提议：不缴纳所得税的个人（包括退休人员、学生和低薪劳动者）将失去投票权，而高收入者则根据其纳税额最多可获得五张选票。 该提议反映了历史上已被否决的“财产选举制”，即将政治权力与财富或财产所有权挂钩。批评者认为，这一制度将巩固财阀政治，剥夺数百万弱势美国人的公民权利，同时成倍增加富人的影响力。 这场辩论凸显了人们对“老年寡头政治”的广泛焦虑，即在住房短缺等经济危机背景下，富有的房主和老一辈人拥有不成比例的政治影响力。具有讽刺意味的是，这位首席执行官在 Shopify 持有“创始人股份”，无论其持股比例如何，该结构都赋予了他超额的投票控制权。尽管一些人将这些观点视为追求财政责任的尝试，但反对者认为，这是一种对普选权的危险倒退，威胁到了“一人一票”的民主原则。
所提供的文字记录了一场关于一项争议性提议的激烈讨论。该提议被归因于 Shopify 首席执行官托比亚斯·吕特克（Tobias Lütke），建议将投票权与个人所得税贡献挂钩。
这场辩论凸显了几个核心矛盾：
* **民主原则与财政贡献：** 该观点的支持者认为，为政府服务买单的人应拥有如何支配税款的主要话语权，并将民主描述为一种“工程实践”，认为如果政府援助的接收者在投票人数上超过贡献者，民主将面临不稳定风险。
* **剥夺选举权的风险：** 批评者认为，限制投票权是通往威权主义的危险一步。他们主张民主的合法性依赖于普遍选举权，并认为创造一个没有发言权的下层阶级必然会导致剥削、社会崩溃或暴力革命。
* **结构性顾虑：** 参与者指出，这样的制度很容易被操纵。富人往往缴纳的直接所得税很少，这意味着“纳税人投票制”讽刺性地可能导致富人失去选举权，或者因税收定义的变动而受到操纵。
* **对精英阶层的不信任：** 讨论的很大一部分集中在科技亿万富翁“脱离现实”的特质上，许多评论者认为，极端的财富导致他们与普通公民的生活脱节，从而加剧了人们对“阶级斗争”日益激化的认知。