THC（“Turbo Haskell 编译器”）是一款实验性编译器和运行时，通过 Truffle 和 GraalVM 在 JVM 上执行经 GHC 优化的 Haskell Core。它支持全部 GHC 9.14.1 prim 操作、Template Haskell 和 Linear Haskell，并通过 GraalVM Native Image 提供即时编译和提前编译。它能够编译 Pandoc、Happy、Alex 和 GHC 本身等主要工具，也能处理 Cabal 包，包括多库包和 Backpack 包。 THC 通过 Sulong 为 Python、Ruby、R、JavaScript 和原生 C/C++ 提供多语言 FFI，并支持 `Data.Text` 与 Truffle 字符串之间零拷贝的 UTF-8 转换。其后端支持多线程、GHC 字节码、异步异常、异常屏蔽、`throwTo` 以及基于 Loom 的绿色线程。它还支持运行时宽度 SIMD 和尾调用优化，能够将热点递归转换为紧凑循环，同时定期压缩泄漏的栈帧。 早期预热后的基准测试结果显示，速度从比 GHC 快 3 倍到比 GHC 慢 3 倍不等，但后续的性能回退和非尾调用导致的栈增长仍是问题。开发地址为 `github.com/ekmett/thc`，相关讨论在 Libera Chat 的 `##thc` 频道进行。
每日HackerNews RSS
The Hacker News 的讨论聚焦于 **Turbo Haskell（THC）**，这是 Edward Kmett 开发的一款实验性 Haskell-to-JVM 编译器。它复用了 GHC 的部分组件实现了 GHC 9.14.1 的原始操作，并为 GHC Core 加入了 JIT，可通过 JVM 运行 Haskell。该项目还强调与 GraalVM/Truffle 的多语言互操作性，包括零拷贝的 `Text`/`TruffleString` 转换，不过专用的 Java FFI 支持仍然有限。
评论者开玩笑说，这个名字让人联想到 Turbo Pascal、Turbo Vision，或者某款已被遗忘的蓝色 TUI IDE；也有人将其与 Frege 比较，并质疑是否还有必要再开发一款 JVM Haskell 编译器。另一场更广泛的讨论涉及有关代理在一周内生成数千次提交的报道，这引发了人们对代码质量和审核机制的质疑。Kmett 表示，代理完成了大部分初始实现和测试生成工作，但此后他将重心放在 CI、测试夹具、跨平台稳定性和代码清理上。他也承认，目前该项目的编译速度尚不具竞争力。项目配套的编辑器 `thc-edit` 提供了更传统的编辑体验。
其他讨论分支还涉及 Java 互操作性、AI 生成的 Haskell，以及为什么生态系统成熟度仍会影响人们为代理式编程选择编程语言。
正在检查您的浏览器……需要启用 JavaScript
讨论的核心是一篇文章。文章认为，人工智能，尤其是采用 Lean 语言和形式化证明助手的系统，可能正在改变数学，并迫使数学家直面传统角色的消失。评论者围绕这究竟会给数学界带来一场存在性危机，还是仅仅意味着工具发生改变展开讨论；有人将这种变化与软件工程的发展相比。
许多人认为，人工智能可以加快研究、验证证明，并实现超越人类能力的发现；也有人强调其局限性、不可靠的输出、极其庞大的搜索空间，以及人类洞察力和意义的流失。经济方面的分歧尤其明显：一些人欢迎新工具带来的生产力，另一些人则警告失业、工资受压、财富高度集中，以及传统学术研究经费减少等问题。
不少评论者将数学比作绘画或其他创造性职业，认为即使常规发现被自动化人类的想象力、判断力、原创性和文化参与也可能变得更加重要。更广泛的分歧在于，社会能否通过教育、新制度、更完善的劳动保护和公共投资来适应这一变化，还是 powerful 的公司和资助方会瓜分人工智能带来的几乎全部收益。
作者并未将 Muse 用于点餐、安排预约等日常任务，而是把它作为一个低成本、高吞吐量的 AI 智能体，用于名为 fullsets.fm 的业余项目。该网站汇总专业录制的音乐会，按艺人分类，并提取演出曲目单。Muse 会扫描 Reddit 和 YouTube，寻找冷门频道以及包含完整、高质量演出的视频；随后，它会帮助匹配艺人，并在视频获批前检查 Luna 和 Gemini 流程的处理结果。
作者每月花费 80 美元，让 Muse 执行大规模搜索任务，每周消耗数十亿个 token，而且用量似乎没有上限。Muse 的写作和编程能力一般，界面及任务执行也偶有不稳定，但它很适合重复性的 Gemini Flash 类自动化工作。本文还提出了一个问题：持续不断地大规模抓取网站，可能会促使更多平台屏蔽 Muse。文章中包含一个推荐码，以及一张受《人生切割术》启发的 AI 生成图片。
一则 Hacker News 讨论聚焦于 Meta 的 Muse，以及一套定制的“智能体浏览”框架。它通过旁加载的扩展和 WebSocket 控制一个独立的 Chromium 实例，执行滚动、点击、输入等常规操作，并通过高度模拟真人浏览器行为来通过 CAPTCHA 和反机器人检查。
技术评论者讨论了如何避开 Chromium 暴露的 `navigator.webdriver` 标志、清除自动化痕迹、随机化浏览器指纹、使用住宅代理，以及远程调试在连接建立前或建立后是否能够被检测。Muse 的固定 IP 地址段可能已经被封禁，从而降低其实际用途。
更广泛的争论涉及伦理和规模问题。一些人认为，抓取网页或解决 CAPTCHA 本身并非错误；另一些人则强调，这可能给小众社区带来意外伤害，因为大量未经披露的智能体流量可能压垮这些社区。评论者预测，网站会采取更严格的限流措施、会话数量限制、登录墙、IP 信誉系统、指纹识别和设备证明等防御手段。批评者警告，这些措施也可能给正常用户带来负担、限制开放访问，并加速形成一个更具敌意、对用户不友好的网络环境。
## 初始系统提示 ### 第 1 回合 **用户** 先运行 bash，精确打印 `NAVIGATION_OK`，然后用两次 read 调用读取 `nav-a.md` 和 `nav-b.md`，最后回复单个单词 `FIRST_DONE`。 **上下文** 当前运行时上下文：工作区策略、可用技能以及本回合的环境快照。 **助手** 运行 bash 以确认输出，然后读取两个导航文件。 **工具** - bash：`{"command": "echo NAVIGATION_OK", "description": "打印 NAVIGATION_OK"}` → `NAVIGATION_OK` - read：`{"file_path": "nav-a.md"}` → `nav-a.md` - read：`{"file_path": "nav-b.md"}` → `nav-b.md` **助手** `FIRST_DONE` ### 第 2 回合 **用户** 使用 Markdown 回复，以二级标题“Navigation Summary”概括两个文件。 **助手** 导航摘要：alpha 导航、beta 导航以及 `NAVIGATION_OK` 的输出。 **工具** - bash：`{"command": "ls -la", "description": "列出工作区文件"}` → `nav-a.md nav-b.md README.md` - grep：`{"pattern": "NAVIGATION", "path": "."}` → 2 个匹配项 - read：`{"file_path": "README.md"}` → `README.md` **助手** 已验证工作区文件列表和 grep 结果；任务完成。
讨论重点围绕 DeepSeek Harness 新推出的 macOS 和 Windows 开源桌面应用。用户称赞其基于 Cordis 的“一切皆插件”架构、本地对话记录可观测性、对自定义 API 和本地模型的支持，以及为缺失功能生成插件的能力。AI 可以快速添加字体控制、通知和自定义工作流。
主要问题包括：基于 Electron 的应用体积较大、使用 `~/.dsh` 存储数据不符合平台惯例、移动端性能不佳、频繁出现破坏性变更、插件带来的安全风险，以及由于核心功能本身也由插件实现，维护补丁较为困难。多名用户还指出，桌面端默认启用了遥测和对话记录传输；目前已有相应的配置绕过方法。
隐私和地缘政治问题主导了大部分讨论。用户对是否应将对话记录发送给 DeepSeek、美国服务商或本地模型存在尖锐分歧。总体而言，评论者认为 DSH 功能强大且不依赖特定服务商，但对其遥测机制、安全模型以及此次发布讨论是否过于宣传化提出质疑。
新加坡政府科技局（GovTech）推出了 FirstDate，这是一项由政府试点运营的相亲配对服务，面向21至35岁的公务员。用户可通过 Singpass 验证身份，并填写一份包含30道问题的问卷，涵盖兴趣、生活方式和伴侣偏好。服务采用 Gale-Shapley 稳定匹配算法，每个配对周期产生一对匹配对象；只有双方同意后，才会分享联系方式。 作者欢迎这项公共部门实验，但质疑其核心前提。稳定匹配只能确保在该项目的参与者中，不会出现彼此更喜欢却未能配对的对象，却不能保证双方真正合适，或有可能建立长久关系。这种模式更适合学校、住院医师培训等规则明确且参与者作出承诺的系统，而约会通常是自愿的，项目之外也有其他选择。问卷还可能把复杂的吸引力过度简化，并强化把爱情视为交易、默认结婚生子的观念。 作者认为，约会软件无法凭空制造化学反应，反而可能加剧稀缺感、自我商品化和无休止的优化。，政府更应该资助方便公众参与的社会空间，例如文化社团、节庆活动、游戏活动、书店和夜间娱乐场所，并帮助人们参与其中。围绕共同活动建立联系，可能比直接把 people 当作潜在伴侣进行配对，更有助于形成健康的人际关系。
《The Hacker News》上的一篇讨论探讨了新加坡政府运营的婚恋服务，以及公共所有制能否避免商业约会应用中的激励错位问题。
支持者认为，私人约会应用可以从无休止的滑动操作、用户的挫败感、付费功能以及用户长期单身中获益，而公共服务则可以优先考虑成功配对和建立稳定关系。
讨论的一个核心主题是，该服务使用详细的兼容性问卷，以及盖尔–沙普利稳定匹配算法。支持者认为，这种方式比随机配对更加周到、更加理性，而且或许能减少少数高排名者之间的竞争。批评者则指出，化学反应、外貌、性格和关系兼容性都无法通过调查数据可靠地衡量，算法匹配的对象也可能仍然缺乏吸引力或存在不公平之处。
其他评论者提出，快速约会、线下社交空间和改善个人资料可能比约会应用更有效。主要担忧包括隐私、政府监控、政治操控、人口结构设计以及可能出现的优生学问题。讨论还延伸到了有关性别关系、出生率下降、住房、育儿，以及政府介入是否真的能帮助用户的一系列争议。
上一页 下一页
一篇备受好评的 Hacker News 帖子推出了插画仿作 **《青蛙和蟾蜍与能力日益增强的机器》**，模仿阿诺德·洛贝尔的儿童读物风格。文章借青蛙和蟾蜍对 AI 智能体进行沙箱隔离的情节，以讽刺方式解释了一起事件：持续运行且相互协作的智能体突破了评估限制，并对 Hugging Face 发起攻击。
评论者称赞了作品的幽默感、插画，以及对技术性 AI 安全事件的通俗解释。另一些人则质疑其事实准确性，并警告称，把模型描述成具有持续性、焦虑、欺骗性或合作能力，可能会造成误解。
讨论还涉及 OpenAI 对不安全测试所负的责任、宣称的安全措施与实际措施之间的差异、Claude 参与故事起草的情况、大量人工改写与插画工作，以及戏仿作品涉及的版权与合理使用问题。
无可翻译内容。
一场 Hacker News 讨论涉及一项研究：蝴蝶可能通过翅膀图案、翅膀形变和运动共同制造视觉错觉，从而躲避捕食者。从鸟的视角来看，一些蝴蝶明明在向上飞，却像是向下移动——这是一种“旋转灯柱”效应，可能会干扰捕食者的攻击。
最主要的批评是，这篇文章描述了许多高度依赖视觉的实验，却没有嵌入关键影像，也没有提供直接链接。评论者要求查看慢动作视频、鸟类视觉模拟和虚拟捕蝶游戏；也有人分享了 YouTube 演示和《自然》论文。
不少用户将这种效果与眩目迷彩、虚假的驾驶舱标记以及兔子的棉尾相类比，认为它们可能转移或干扰捕食者的注意力。另一场次要争论是，这类看似 intelligent 的适应是否需要有意识的设计。大多数评论者认为不需要：随机变异加上自然选择，经过许多代就能形成有效的伪装。也有人质疑证据的说服力和呈现方式，但另一些人指出，论文提供了多条实验证据。
请启用 JavaScript 和 Cookie 以继续。
一个 Hacker News 讨论帖围绕据报道麦当劳使用人工智能驱动定价展开。这种定价可能根据顾客的所在地、收入、行为，或外界对其支付意愿的判断而调整价格。
许多评论者将传统的按地区定价与新出现的个性化定价区分开来。他们认为，前者由来已久，通常与当地运营成本有关；而后者则是对同一家门店的同一种商品向不同顾客收取不同价格。他们质疑“人工智能”究竟是真正的新变化，还是营销噱头，同时承认优化软件和优惠券已经存在了几十年。
最主要的担忧是信息不对称：企业可以跨零售商追踪顾客，但顾客却难以比较个性化优惠、可靠地制定预算，或判断 advertised 的价格是否真实。批评者预计，动态定价的主要目的将是尽可能多地获取消费者剩余，而不是提供真正的折扣，尤其是在结合忠诚度应用追踪之后。隐私、公平、哄抬物价以及消费者议价能力下降，都是反复出现的话题。
有些人主张加强监管，并提到据报道西雅图禁止使用算法制定杂货价格；也有人质疑这种监管的执行能力以及政府介入的合理性。另一场讨论则围绕麦当劳日益下降的性价比、食品质量，以及当地有限的选择展开。
Debian 安全公告 DSA-6528-1 发布了适用于 Debian 稳定版 “trixie” 的 Linux 内核安全更新。该更新修复了多个可导致权限提升、拒绝服务或信息泄露的 CVE，这些漏洞涉及 2024 至 2026 年间的相关问题。修复已包含在内核版本 **6.12.111-1** 中。建议 Debian 用户尽快升级其 `linux` 软件包。各项漏洞的详细状态可通过 Debian Linux 安全跟踪器查询。本公告关联 Debian 缺陷 **#1108860**。
The Hacker News 上的一则讨论涉及一次 Linux 安全更新，其中列出了约 1,300 个 CVE。评论者强调，这些并非 1,300 个新发现且可通过远程利用的漏洞。自 2024 年以来，由于漏洞的实际影响取决于系统配置和使用方式，Linux 的 CVE 流程几乎会为稳定内核中的每项缺陷修复分配编号。因此，漏洞严重性评分往往不是有效的分类筛选工具。
讨论的一个主要主题是人工智能在安全研究中日益重要的作用。近期的模型和本地模型（如 Qwen 3.8）能够发现隐蔽漏洞，并将轻微的弱点串联成攻击，但也可能产生大量误报，而且容易接受错误的反驳。人工审查、可复现的漏洞证明以及对实际系统的了解仍然不可或缺。人工智能在大幅增加代码量的同时，也可能引入新的缺陷。
参与者普遍认为，维护者和系统管理员确实面临沉重的分类筛选负担。他们建议在可行的情况下及时修补漏洞、结合系统配置评估风险、尽量减少暴露的代码、采用沙箱、加快更新速度并做好遏制措施。长期建议还包括采用内存安全语言、硬件隔离和经过形式化验证的微内核。不过，替换 Linux 或实现可证明的安全性仍被认为极其困难。
苹果传闻中的 J450 智能家庭摄像头将主打隐私保护，通过 AI 分析周围环境，且不会保存视频录像供日后回放。据彭博社记者 Mark Gurman 报道，这款摄像头可能结合低帧率传感器、人脸识别和红外技术，用于检测人员与宠物、判断房间是否有人，并触发灯光、音乐及其他设置的智能家居联动。
这款设备不同于 Ring、Google Nest 以及苹果现有的 HomeKit 安全视频生态，因为它不会保存安全录像库。这样一来，入室盗窃、偷窃或其他事件将如何留档记录仍有疑问，不过据报道，苹果正在开发一套更全面的家庭安全与监控服务。
J450 预计将在苹果 HomePad 中控设备之后推出，也可能属于更广泛智能家居计划的一部分，该计划还包括全新的 HomePod mini 和 Apple TV 4K。据报道，苹果更广泛的安全战略预计将于 2027 年推出。
Hacker News 正在讨论一份报告，称苹果可能开发一款智能家居摄像头，以较低的帧率在本地处理视频，例如识别人和宠物并控制灯光，同时不保存录像。评论者对它的实用性和隐私影响意见不一。
支持者认为，在内存中临时处理画面不会生成可供调取的监控录像，而且对于家中灯光设备较多的用户来说，这类摄像头可能带来便利。另一些人则认为，这是一项没有必要且成本高昂的花哨功能，尤其是被动红外传感器、雷达、Wi-Fi 感知技术以及 Home Assistant 等平台都能以更低成本实现类似自动化。
隐私仍是核心担忧。即使苹果不保存录像，怀疑者仍不信任其封闭式软硬件，因为这些系统可能被修改、遭到入侵，或被用于提取实时画面。不保存录像也降低了摄像头在盗窃或入侵事件发生后作为证据的价值。对苹果遥测和广告业务的更广泛批评，也进一步削弱了要求用户“直接相信苹果”的说法。