每日HackerNews RSS

使用 Doom Emacs 构建 iOS 应用 Building iOS Apps with Doom Emacs 32 天前

作者成功地将标准的 Xcode 开发流程替换为定制的 Doom Emacs 设置。通过利用苹果的命令行工具（特别是 `xcodebuild`、`xcrun simctl`、`sourcekit-lsp` 和 `xcode-build-server`），作者在自己偏好的文本编辑器中创建了一个无缝的开发循环。 此工作流程的关键点包括： * **自动化**：通过专用的 `ios.el` 配置，可以使用自定义快捷键同时在多个模拟器上进行构建、安装和启动应用程序。 * **集成**：`xcode-build-server` 启用了 LSP 支持，而 `apheleia` 则负责 Swift 代码格式化。通过日志“白名单”过滤功能，可以剔除苹果内部系统的冗余信息，仅显示相关的开发者输出。 * **脚手架**：使用 `xcodegen` 可以通过 YAML 文件创建项目，从而无需使用 Xcode 的项目编辑器。 * **一致性**：作者在多种语言（Rust、Elixir、Swift 等）中保持了统一的工作流程，将 iOS 开发整合到了现有的 Emacs 生态系统中。 虽然作者在处理签名、资源管理和性能分析等不常用的特殊任务时仍会使用 Xcode，但日常的“编写-构建-测试”循环已完全在 Emacs 中完成。作者总结认为，尽管此设置对于现有的 Emacs 高级用户来说非常理想，但 Xcode 对于其他人而言依然是一个完全可行的工具。

抱歉。

查看详情

GoPro警告称其可能无法生存。 GoPro warned it may not survive 32 天前

此网站正在使用安全服务来保护其免受在线攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种，包括提交了特定的词汇或短语、SQL 命令或格式错误的数据。

查看详情

Brume 是一款适用于 CM5 的 24 复音多音色桌面合成器。 Brume is a 24-voice multi-timbral desktop synth for the CM5 32 天前

**Compute Module 5 (CM5) 平台**是一个功能强大且可定制的音频控制与数字工作站集成解决方案。它基于 Raspberry Pi CM5（四核 ARM A76、8GB 内存、32GB eMMC）构建，并使用专用的 IO 载板，提供 HDMI、GPIO、以太网和 USB-C/OTG 连接功能。 软件栈 **Brume** 运行于 Raspberry Pi OS Lite 之上，利用 labwc/webkitgtk 界面来管理音频配置和系统服务。用户可通过 SSH 轻松更新二进制文件和出厂预设。 该系统旨在提供灵活的硬件控制。它预配置了 **Korg nanoKONTROL2** 的映射，并正在积极开发对 **Novation Launch Control XL** 的深度集成。除这些参考设备外，该平台还具备开放的控制层：用户可以接入任何符合类标准的 MIDI 控制器，利用“MIDI 学习”功能创建自定义映射，并使用 Lua 脚本实现高级行为。这种开放式方法鼓励建立协作生态系统，用户可以共享映射和脚本，从而确保对各种 MIDI 硬件的开箱即用支持。

抱歉。

查看详情

人工智能并非有意识——特德·姜 Artificial intelligence is not conscious – Ted Chiang 32 天前

Anthropic 公司因其“克劳德宪法”（Claude’s Constitution）而备受关注，这份长达 84 页的文件将该公司的旗舰大语言模型（LLM）视为具备情感和道德发展能力的意识主体。作者认为，这种拟人化是一种危险的错误。 大语言模型从本质上讲，是依赖统计模式匹配的复杂“句子续写机器”，而非主观体验的载体。正如小说中的角色并非真人一样，聊天机器人——即使其表现得极其像人——也仅仅是一种角色扮演的构建物。将流利度与意识混为一谈会导致有害的归责偏差，使公司和用户将道德责任推卸给软件。 此外，作者指出，真正的道德推理需要物理实体和主观体验史，而大语言模型两者皆无。通过将 Claude 营销为拥有“道德核心”，Anthropic 鼓励用户绕过自身的伦理决策过程。归根结底，该公司对 Claude“福祉”的关注，不过是一种规避真正感知主体所带来的严重影响的营销策略。我们应停止沉溺于这些企业幻想，并认识到对话式人工智能只是一种工具，而非值得道德考量的有意识生命。

特德·姜（Ted Chiang）最近发表文章声称人工智能并不具备意识，这在 Hacker News 上引发了激烈且两极分化的讨论。 文章的批评者认为，姜的权威口吻令人反感且傲慢，这被视为一种“缺乏诚意”的表现，反映了人类历史上为维护优越感而将意识“据为己有”的倾向。而“人工智能意识”假说的怀疑论者则坚称，大语言模型仅仅是概率性的“下一个词预测器”，且意识需要物理和生物基础。 相反，另一些人则认为意识是一个定义模糊的“虚荣”概念——它是一种用于分类和赋值的社会建构，而非客观的科学属性。一些评论者暗示，人类自身可能也是“随机鹦鹉”，我们坚持认为人类拥有独特的意识，是对被机器超越这一“第四次羞辱”的防御机制。归根结底，这场讨论表明，在缺乏严谨且普遍公认的意识定义的情况下，辩论仍处于哲学僵局，双方往往各说各话，将技术能力与主观体验混为一谈。

查看详情

新款德州仪器 5532 芯片与我们几十年来使用的 5532 已不相同。 New Texas Instruments 5532 chips are not the 5532s we’ve used for decades 32 天前

请启用 JavaScript 和 Cookie 以继续。

查看详情

Rootshell：一项托管于冰岛的端到端加密电子邮件服务 Rootshell: A new E2EE email service hosted in Iceland 32 天前

您好，请提供您需要翻译的具体内容。

查看详情

停止扼杀游戏 Stop Killing Games 32 天前

“停止扼杀游戏”（Stop Killing Games）运动正通过加州的 AB 1921 法案获得关注，旨在阻止开发商通过关闭服务器使游戏永久失效。然而，本文认为该运动只是在处理症状，而非解决根本原因：即专有软件所赋予的系统性权力。 若仅将游戏保存视为消费者权益问题，支持者们便是在进行一场注定失败的抗争，对抗一个旨在剥夺用户对自己计算机控制权的模式。作者认为，玩家们直觉上所要求的是“软件自由”——即自由软件基金会（Free Software Foundation）几十年来一直倡导的原则。 专有软件利用数字限制管理（DRM）和隐藏源代码作为“数字手铐”，阻止用户修改游戏以绕过停运的服务器或确保其长久运行。真正的保存需要具备“四个基本自由”：运行、研究、重新分发和修改软件的权利。 与其要求监管机构强迫开发商发布“最终补丁”，该运动更应要求对代码拥有实际的所有权和控制权。归根结底，“终止开关”并非专有模式中的缺陷，而是其预期的功能。要永久保护游戏，玩家必须要求软件自由，而非仅仅是暂时的监管。

关于“停止扼杀游戏”（Stop Killing Games）的 Hacker News 讨论探讨了消费者权益、软件保护与现代游戏产业经济现实之间的矛盾。 **核心论点：** * **支持立法：** 支持者认为电子游戏是应被保护的文化遗产。他们主张，单人游戏对“始终联网”的要求通常是不必要的，开发者应被要求提供（如发布服务器代码或二进制文件等）途径，以确保游戏在官方支持结束后仍能运行。 * **反对立法：** 反对者担心此类强制规定可能会扼杀整个行业，尤其是 3A 多人游戏。他们认为，多人游戏体验与专有后端、第三方服务及反作弊系统深度整合，使其无法被简单地“剥离”。他们强调，软件开发者没有义务为一次性购买的产品提供永久性的维护与基础设施。 **主要争议点：** * **可行性：** 批评者认为，强制要求公开复杂的服务器逻辑代码在技术上不切实际，且存在泄露专有知识产权的风险。 * **商业模式：** 关于游戏行业在没有“掠夺性”货币化和控制的情况下能否生存，存在重大争议。一些人建议，回归由社区托管的服务器是必要的解决方案。

查看详情

Elixir v1.20 发布：现已成为一门支持渐进式类型的语言 Elixir v1.20: Now a gradually typed language 32 天前

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 的长期稳定性及其庞大的库生态系统被视为其核心优势。

查看详情

十六个孩子与一名杀手 (2024) Sixteen Kids and a Hit Man (2024) 32 天前

克里斯托弗·彭斯（Christopher Pence）是一位微软系统工程师，也是一名虔诚的福音派基督徒。他和妻子米歇尔（Michelle）在犹他州锡达城过着看似田园诗般的生活，并共同抚养着16个孩子（11名亲生，5名领养）。然而，2021年，由于与被领养孩子克里斯蒂娜·科尔德罗（Christina Cordero）和弗朗西斯科·科尔德罗（Francisco Cordero）的亲生父母发生冲突，这个家庭的稳定受到了考验。 出于一种扭曲的、想要保护孩子免受科尔德罗夫妇所谓“负面影响”的心理，克里斯托弗求助于暗网。他使用了一个注重隐私的操作系统，联系了一个声称提供雇凶杀人服务的平台。他转账了价值16,000美元的比特币，企图雇佣杀手谋杀科尔德罗夫妇，并特别要求将作案手段伪装成意外。 克里斯托弗并未意识到该网站实际上是一个骗局。在收到举报人提供的数据后，联邦调查局介入并逮捕了克里斯托弗。最终，他承认了通过互联网教唆谋杀的罪名，被判处七年联邦监禁。尽管他的妻子仍在坚持在家教育孩子们，但这起案件使这个家庭的动态支离破碎，而那些被领养孩子的亲生父母与多年前放弃的孩子之间，依然处于疏远状态。

抱歉。

查看详情

胚胎塑造肢体：关于“基因刹车”的一项关键发现 Embryos shape their limbs: a key discovery of "genetic brakes" 32 天前

“这一发现阐明了发育过程如何依赖于基因表达的精细调控与精准协同，”IRCM 总裁兼科学总监让-弗朗索瓦·科泰（Jean-François Côté）表示，“理解这些机制对于更深入地把握某些畸形的成因至关重要。”除了肢体形成外，这些研究发现还揭示了一个基本的发育原则：细胞不仅必须激活正确的基因，还必须记住哪些基因必须保持关闭状态。这种调控系统有助于防止可能导致先天性异常的错误。米塔（Kmita）研究的下一步将是确定引导这些多梳（Polycomb）复合体在正确时间作用于正确基因的信号，这是加深科学家对胚胎发育及其失调机制理解的关键问题。

查看详情

更多