请启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
您好，请提供您需要翻译的具体内容。
“停止扼杀游戏”（Stop Killing Games）运动正通过加州的 AB 1921 法案获得关注，旨在阻止开发商通过关闭服务器使游戏永久失效。然而，本文认为该运动只是在处理症状，而非解决根本原因：即专有软件所赋予的系统性权力。 若仅将游戏保存视为消费者权益问题，支持者们便是在进行一场注定失败的抗争，对抗一个旨在剥夺用户对自己计算机控制权的模式。作者认为，玩家们直觉上所要求的是“软件自由”——即自由软件基金会（Free Software Foundation）几十年来一直倡导的原则。 专有软件利用数字限制管理（DRM）和隐藏源代码作为“数字手铐”，阻止用户修改游戏以绕过停运的服务器或确保其长久运行。真正的保存需要具备“四个基本自由”：运行、研究、重新分发和修改软件的权利。 与其要求监管机构强迫开发商发布“最终补丁”，该运动更应要求对代码拥有实际的所有权和控制权。归根结底，“终止开关”并非专有模式中的缺陷，而是其预期的功能。要永久保护游戏，玩家必须要求软件自由，而非仅仅是暂时的监管。
关于“停止扼杀游戏”（Stop Killing Games）的 Hacker News 讨论探讨了消费者权益、软件保护与现代游戏产业经济现实之间的矛盾。
**核心论点：**
* **支持立法：** 支持者认为电子游戏是应被保护的文化遗产。他们主张，单人游戏对“始终联网”的要求通常是不必要的，开发者应被要求提供（如发布服务器代码或二进制文件等）途径，以确保游戏在官方支持结束后仍能运行。
* **反对立法：** 反对者担心此类强制规定可能会扼杀整个行业，尤其是 3A 多人游戏。他们认为，多人游戏体验与专有后端、第三方服务及反作弊系统深度整合，使其无法被简单地“剥离”。他们强调，软件开发者没有义务为一次性购买的产品提供永久性的维护与基础设施。
**主要争议点：**
* **可行性：** 批评者认为，强制要求公开复杂的服务器逻辑代码在技术上不切实际，且存在泄露专有知识产权的风险。
* **商业模式：** 关于游戏行业在没有“掠夺性”货币化和控制的情况下能否生存，存在重大争议。一些人建议，回归由社区托管的服务器是必要的解决方案。
Elixir v1.20 是该语言迈向稳健、渐进式且基于集合论的类型系统的重要里程碑。新实现无需手动添加类型注解，即可对现有代码库进行类型推断和验证，并能成功识别死代码以及在运行时必然会出错的“已验证错误”。 其核心创新在于 `dynamic()` 类型。与其他语言中 `any()` 往往会禁用类型检查不同，Elixir 的 `dynamic()` 通过“兼容性”和“窄化”机制，在保持极低误报率的同时检测出错误。编译器能够根据守卫（guards）、模式匹配和条件逻辑智能地细化类型，即使在动态类型的代码中也能提供类似静态类型的安全性。 除类型系统外，Elixir v1.20 还显著提升了编译性能，使其成为 BEAM 生态中最快的编译器之一。尽管本次发布主要侧重于对现有代码的推断，但团队仍在持续研究递归和参数化类型，旨在为未来引入显式类型签名铺平道路。此项开发得益于 CNRS 与 Remote 的合作，并持续获得 Fresha 和 Tidewave 的支持。
**Elixir v1.20** 的发布标志着该语言正式迈向**渐进式类型系统**。此次更新引入的类型系统充分利用了模式匹配和守卫（guards）等现有语言特性，在无需增加新语法或引入运行时性能开销的前提下，实现了静态分析。
对于是否有必要引入静态类型，Elixir 社区内部仍存在分歧。支持者认为类型系统能提升代码安全性、自文档化能力并简化重构；而怀疑者则指出，得益于 OTP/BEAM 架构，该语言本已具备强大的容错性，且动态特性有助于保持开发效率。一些资深开发者认为，Elixir 的“任其崩溃”（let it crash）哲学与模式匹配机制在历史上已大幅降低了对编译时类型检查的需求，不过许多人仍将这一新功能视为大型代码库的“锦上添花”。
此次讨论的核心要点包括：
* **无需语法变更：** 类型系统旨在通过现有代码进行推断，从而保持语言层面的简洁。
* **可靠性与性能：** 开发团队应用了“强箭头”（strong arrows）研究成果，确保在不增加运行时开销的同时实现可靠的类型检查。
* **生态成熟度：** 相较于 Gleam 等较新的纯类型语言，Elixir 的长期稳定性及其庞大的库生态系统被视为其核心优势。
克里斯托弗·彭斯（Christopher Pence）是一位微软系统工程师，也是一名虔诚的福音派基督徒。他和妻子米歇尔（Michelle）在犹他州锡达城过着看似田园诗般的生活，并共同抚养着16个孩子（11名亲生，5名领养）。然而，2021年，由于与被领养孩子克里斯蒂娜·科尔德罗（Christina Cordero）和弗朗西斯科·科尔德罗（Francisco Cordero）的亲生父母发生冲突，这个家庭的稳定受到了考验。 出于一种扭曲的、想要保护孩子免受科尔德罗夫妇所谓“负面影响”的心理，克里斯托弗求助于暗网。他使用了一个注重隐私的操作系统，联系了一个声称提供雇凶杀人服务的平台。他转账了价值16,000美元的比特币，企图雇佣杀手谋杀科尔德罗夫妇，并特别要求将作案手段伪装成意外。 克里斯托弗并未意识到该网站实际上是一个骗局。在收到举报人提供的数据后，联邦调查局介入并逮捕了克里斯托弗。最终，他承认了通过互联网教唆谋杀的罪名，被判处七年联邦监禁。尽管他的妻子仍在坚持在家教育孩子们，但这起案件使这个家庭的动态支离破碎，而那些被领养孩子的亲生父母与多年前放弃的孩子之间，依然处于疏远状态。
抱歉。
“这一发现阐明了发育过程如何依赖于基因表达的精细调控与精准协同，”IRCM 总裁兼科学总监让-弗朗索瓦·科泰（Jean-François Côté）表示，“理解这些机制对于更深入地把握某些畸形的成因至关重要。”除了肢体形成外，这些研究发现还揭示了一个基本的发育原则：细胞不仅必须激活正确的基因，还必须记住哪些基因必须保持关闭状态。这种调控系统有助于防止可能导致先天性异常的错误。米塔（Kmita）研究的下一步将是确定引导这些多梳（Polycomb）复合体在正确时间作用于正确基因的信号，这是加深科学家对胚胎发育及其失调机制理解的关键问题。
请启用 JavaScript 和 Cookie 以继续。
这篇 Hacker News 的讨论探讨了“互联网死亡理论”（Dead Internet Theory），背景是近期 Cloudflare 的数据显示机器人流量现已超过人类活动。
该帖子的核心要点包括：
* **可见性：** 用户指出，发布 SSL 证书会立即招致大量自动化爬虫，使新网站成为抓取工具和漏洞扫描器的目标。
* **检测挑战：** 参与者讨论了机器人检测指标的可靠性。许多人认为 Cloudflare 的数据可能将 API 请求与“恶意”机器人混为一谈，并且经常将人类用户误判为机器人，导致过多的验证码（CAPTCHA）阻碍。
* **机器人的演变：** 评论者强调，现代 AI 驱动的机器人越来越难以拦截。传统的基于 IP 的过滤已不再有效，因为复杂的机器人利用住宅和数据中心代理来伪装成人类流量。
* **怀疑态度：** 许多参与者对这些报告的重要性不以为然，认为它们只是“感觉导向”的仪表板，缺乏可操作的见解。他们指出，“良性”爬虫（如搜索引擎）与“恶意”社交机器人之间的界限日益模糊，进一步增加了对网络流量进行分类的难度。
总的来说，对于这种趋势究竟是永久性的转变，还是当前检测技术的失效，社区内部仍存在分歧。
**Gooey** 是一个专为 Zig 语言设计的零依赖、GPU 加速 UI 框架，支持 macOS (Metal)、Linux (Vulkan/Wayland) 和 Web (WASM/WebGPU) 平台。它能够助力开发者构建高性能、声明式且基于组件的应用程序。
### 核心特性
* **架构：** 实现了 **Cx**（状态、处理器、动画）与 **ui**（布局原语）的严格分离。支持纯状态模式，使得业务逻辑在脱离 UI 依赖的情况下易于测试。
* **布局与渲染：** 采用类似 Flexbox 的布局系统，支持自定义着色器 (MSL/GLSL/WGSL)、动画以及针对大规模数据集的虚拟化列表/表格。
* **平台集成：** 提供对文件对话框、剪贴板、IME（国际化文本输入）、无障碍功能（VoiceOver/Orca）以及主题（亮色/暗色）的原生支持。
* **效率：** 具备响应式保留组件模型（如文本输入框、复选框等），并与 Zig 0.16 的 `std.Io` 集成，支持非阻塞异步后台任务。
* **零依赖：** 完全基于系统框架和库构建，无需任何外部 Zig 包。
Gooey 目前处于早期开发阶段并不断演进，内置了丰富的示例，涵盖从基础计数器和动画，到复杂的代码编辑器、数据表格以及拖拽界面等功能。
**Gooey** 是一个为 Zig 语言打造的全新 GPU 加速 UI 框架，它的发布在 Hacker News 上引发了激烈讨论。
尽管一些用户欢迎 Zig 生态系统中出现新工具，但许多评论者很快指出，该项目很大程度上是由大语言模型（LLM）生成的。这引发了关于软件开发现状的广泛争论：参与者担心 AI 生成的项目看似前景广阔，实则缺乏深度，导致难以维护或无法在生产环境中使用的“面条式代码”。
讨论还转向了对 Visual Basic 等旧式 GUI 工具简单性的怀念，这些工具曾让用户能轻松构建功能性界面。批评者认为，现代框架已经变得过于复杂，导致应用程序臃肿且占用大量资源。
技术观察人士指出，虽然 Gooey 旨在填补原生 Zig UI 开发的空白，但它正面临来自 DVUI 等更成熟项目的竞争。归根结底，这篇讨论反映了开发者社区中日益增长的矛盾：既渴望快速创新，又担忧由人类精心打造、稳健软件的“黄金时代”，正在被一波 AI 生成的低质量替代品所取代。
Angular v22 Angular v22
32 天前
请启用 JavaScript 和 Cookie 以继续。
作者最近刚从一场抗NMDA受体脑炎的严峻抗争中幸存下来，这是一种导致大脑炎症的自身免疫性疾病。病情初期表现为流感样症状和严重的心理困扰，包括精神错乱和自杀意念，最初被误诊为精神类疾病。这导致了神经系统护理的严重延误，也凸显了医疗体系存在的缺陷。 在一次幸运的干预后，作者被转至布莱根妇女医院，在正式确诊前便接受了挽救生命的静脉注射免疫球蛋白（IVIG）和类固醇治疗。尽管他目前正参与一项临床试验并逐渐减少药物剂量，但由于早期干预，他的预后非常良好。 这段经历解释了作者近期为何处于停滞状态。他感谢妻子凯特琳（Kaitlyn）的不懈奔走，以及雇主查理·马什（Charlie Marsh）提供的卓越支持。虽然这是他一生中最艰难的考验，但作者目前恢复良好，渴望以焕然一新的活力重返工作岗位。对于那些希望深入了解此病症的人，他推荐阅读苏珊娜·卡哈兰（Susannah Cahalan）所著的《大脑中的火苗》（*Brain on Fire*）。
这位作者是一位知名的开源软件开发者。他最近分享了自己被诊断出患有抗 NMDA 受体脑炎的痛苦经历——这是一种导致严重生理和精神症状的自身免疫性疾病。
他的求医历程凸显了医疗误诊带来的系统性风险。起初，他被草率地认定为患有焦虑症或心理问题。直到一次偶然的契机——他邻居的一位身为神经外科医生的朋友伸出援手——他才得以从精神病院转入正规的神经内科。在那里，通过腰椎穿刺和抗体检测，他最终查明了病因。
讨论区反映了人们对医疗系统普遍存在的不满，特别是关于“医疗性别歧视”、罕见病诊断壁垒，以及医生倾向于将病症贴上精神疾病标签而非探究潜在生物学原因的问题。许多评论者分享了类似的误诊经历，涉及肥大细胞活化综合征（MCAS）、体位性心动过速综合征（POTS）和 1 型糖尿病等自身免疫性疾病。他们强调，患者往往必须成为自己健康的捍卫者。
参与讨论者达成的共识是：虽然医生不可或缺，但在当前的医疗模式下，由于问诊时间短且医疗服务零散，当面对复杂且非特异性的症状时，患者能够主动主张权益并拥有专门的“患者权益倡导者”，对于生存至关重要。