请启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
OpenAI 宣布已利用其内部 AI 模型解决了纳维-斯托克斯存在性与光滑性问题（千禧年大奖难题之一），并提供了 Lean 形式化验证。
然而，这一成就蒙上了巨大的争议阴影。研究人员 Tristan Buckmaster 和 Levent Alpöge 指控称，OpenAI 在察觉到他们的研究进展后，投入了巨大的算力进行“抢发”。他们进一步指控 OpenAI 可能利用了通过 OpenAI 旗下 Codex/ChatGPT 界面提交的专有研究笔记来指导其模型，这可能构成了知识产权盗窃。
OpenAI 承认无法排除在改进模型时使用了去标识化用户数据的可能性，但否认接触过任何私人的研究材料。此事件在学术界和 AI 领域引发了激烈辩论。批评者认为，OpenAI 的行为体现了其缺乏道德诚信，将其比作一个“黑暗森林”，专有模型在其中抢先于人类研究者。相反，也有人认为这些模型目前已是基础性的前沿工具，无论学术礼仪如何“混乱”，竞争都是不可避免的。这一事件重新点燃了人们对数据隐私、 AI 实验室伦理以及开放科学协作未来的担忧。
这篇 Hacker News 讨论探讨了一个前提：美国年轻人从未见过“运作良好”的美国外交政策。
参与者对成功和失败的定义各执一词。一些人认为，9/11 之后（特别是伊拉克战争时期）是地缘政治统治力的巅峰，确保了美国和以色列的利益。批评者则反驳称，这些干预行动是灾难性的，导致了巨额债务、地区不稳定和重大平民伤亡，并最终壮大了伊朗等竞争对手。
讨论延伸到了对国内政治的批评，用户争论外交政策的衰败是否是更广泛的系统性腐败的征兆。许多评论者表示了愤世嫉俗，指出政治话语已从实质性辩论转变为两极分化和“双方各打五十大板”的倾向。一些人认为，自冷战结束以来，美国一直缺乏连贯的战略，而是将短期利益、企业诉求和相互矛盾的叙事置于长期稳定之上。归根结底，这篇讨论反映了普遍的代际幻灭感，许多用户一致认为，美国政府将党派议程和私利置于公民需求和稳定的国际秩序之上。
请启用 JavaScript 和 cookie 以继续。
近期由《Gamers Nexus》、《Level1Techs》及安全研究人员联合展开的一项调查显示，LG 智能电视在用户往往不知情的情况下进行了大规模的数据采集。报告指出，这些设备会扫描本地 Wi-Fi 网络以识别周边硬件、记录位置信息，并利用自动内容识别（ACR）技术追踪用户观看的所有内容，无论输入源为何。 最令人担忧的发现是，LG 电视即便在待机模式下也会录制麦克风音频。如果电视处于离线状态，这些音频文件会先存储在本地，并在恢复连接后立即上传至 LG Ad Solutions。这种数据采集做法反映了行业内的普遍趋势，其他制造商也同样采用 ACR 技术来监控消费者的习惯。 在此之前，LG 显示器曾被曝出自动安装软件以推送弹窗广告并追踪设备数据，引发了相关争议。这些持续不断的隐私问题凸显了智能电视制造商激进的数据收集模式，也促使人们重新审视企业在家居环境中的监控边界。
最近的报告证实，现代智能电视（尤其是LG等品牌）即使在待机或离线状态下，也会收集大量的用户数据，包括音频录音和观看习惯。这些数据通常被用于“自动内容识别”（ACR），以建立用户画像来进行精准广告投放。
科技用户之间的讨论凸显了几个主要痛点：
* **强制联网：** 许多制造商现在要求用户在初始设置时必须登录或连接Wi-Fi，否则电视将无法使用，除非用户同意数据收集条款。
* **隐私风险：** 用户越来越担心缺乏“无智能模式”，许多人呼吁立法，要求消费电子产品在无需追踪的情况下也能正常运行。
* **防御措施：** 常见的策略包括让电视保持离线、使用外部流媒体设备（如Apple TV或电脑），或通过防火墙和DNS过滤器（如Pi-hole）屏蔽遥测数据。一些用户甚至不惜拆除硬件中的Wi-Fi网卡。
舆论一致认为，这些侵犯隐私的行为是由广告定向数据的高盈利能力与硬件销售低利润之间的矛盾所驱动的，因此亟需更强有力的消费者保护措施和监管。
FreeBSD 14.5-RELEASE 现已发布，支持包括 amd64、aarch64、riscv64 以及多种 powerpc 变体在内的多种架构。用户可通过 ISO 镜像、USB 闪存盘或 ARM 系统的 SD 卡安装该操作系统。 可用的安装介质类型包括： * **dvd1：** 包含基础系统、文档以及用于图形工作站的预构建软件包。 * **disc1：** 仅包含基础系统，不含预构建软件包。 * **bootonly/mini-memstick：** 用于网络安装的精简镜像。 * **memstick：** 基于 USB 的安装介质。 所有安装方式均支持“livefs”救援模式。针对 ARM 设备，官方提供了 SD 卡镜像，默认登录凭据为“freebsd”和“root”，首次访问时应立即更改。 除传统安装介质外，FreeBSD 14.5-RELEASE 还提供预装的虚拟机镜像（QCOW2、VHD、VMDK），以及适用于 AWS（通过 EC2 AMI）和 Google Cloud 的云实例。用户可使用提供的 SHA256/SHA512 哈希值及 PGP 签名校验和来验证系统的安全性和完整性。
FreeBSD 14.5 的发布在 Hacker News 上引发了热烈讨论，重点集中在该平台的版本控制理念和维护策略上。
主要内容包括：
* **平台支持：** FreeBSD 14.x 是最后一个支持 i386 架构的分支，其生命周期终止日期定于 2028 年 11 月。
* **版本之争：** 用户针对生产环境中应使用 `-RELEASE`、`-STABLE` 还是 `-CURRENT` 进行了探讨。虽然许多人提倡在通用场景下使用官方发布版以确保稳定性，但也有观点指出，大规模基础设施（如 Netflix 的 CDN 或 pfSense）往往为了特定的性能或功能需求而依赖开发分支。
* **社区反响：** 讨论反映了社区使用 FreeBSD 的多样性——从谨慎的、基于补丁的服务器管理，到追求“前沿”的部署方式。
总而言之，该讨论串突显了 FreeBSD 版本控制的复杂性，参与者对于维护生产系统的“正确”方式提出了相互矛盾的建议。
在这篇反思中，Yves Habchy 讲述了将一个利用生成式 AI 工具快速构建的“氛围导向型”（vibe-coded）教育平台投入生产环境所面临的挑战。尽管代码本身尚可阅读，但却缺乏文档、背景信息以及清晰的决策脉络。 该项目充斥着技术债务：不完整的数据库迁移、缺失的权限设置，以及包括暴露 API 密钥和未授权端点在内的严重安全漏洞。尽管 Habchy 和自动化审计系统识别并解决了这些技术问题，但核心逻辑依然晦涩难懂。该应用程序包含多种相互冲突的学生评分算法，且没有任何记录说明哪一个是权威的，或者它们为何存在差异。诸如考勤处理等功能虽然已经完全构建，但却处于断开状态，此前的设计决策也毫无记录。 Habchy 总结认为，虽然 AI 工具可以快速生成功能完备的应用程序，但它们无法保留代码背后的“动机”。其结果是一个脆弱的产品：虽然具备技术功能，却丢失了底层的逻辑推理。如果没有开发人员来梳理和记录设计意图，未来的维护将如履薄冰，这证明了“可读”的代码并不能替代架构的清晰性。
arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 始终致力于这些价值观，并仅与遵循这些价值观的合作伙伴进行合作。如果您有能为 arXiv 社区增值的项目想法，请了解更多关于 arXivLabs 的信息。
Hacker News 最近的一场讨论聚焦于 **C*** (2025) 的发布。这门编程语言旨在将 C 语言编程与实时形式化验证相结合。通过将符号执行引擎与 LCF 风格的证明内核集成，C* 允许开发人员在编写代码的同时进行增量验证。
社区对此反应不一：
* **关于验证的担忧：** 一些人认为，对于性能要求极高的 C 语言应用而言，形式化验证过于繁重，且手动编写复杂的循环不变量可能会引入规范层面的错误。另一些人则指出，对于航空航天和国防等安全性要求极高的行业，这种严谨性正变得日益必要。
* **关于“C*”这一名称：** 社区对“C*”这个命名存在强烈的抵触情绪，因为它与现有的学术项目和传统语言重名，容易引发混淆。
* **工具与语言偏好：** 用户讨论了 **Ada/SPARK** 和 **F*** 等其他“高保证”语言的优劣。尽管许多人仍倾向于使用经典的 C 或 C++，但也有人认为，现代化的、具备验证意识的编程语言正成为一种增长的需求。
* **遗留系统与现代化：** 讨论还涉及了 COBOL 等“遗留”语言的持久实用性，质疑业界对新型复杂工具的关注是否忽视了维护关键现有系统所需的专业知识。
美国警方担心 Meta 智能眼镜可能被用于秘密拍摄他们。 US police fear Meta smart glasses could be used to secretly record them
2 天前
包括纽约警察局（NYPD）、美国移民及海关执法局（ICE）以及各州情报中心在内的美国执法机构日益担忧，Ray-Ban Meta 智能眼镜构成了重大安全风险。由于这些设备隐蔽且外观与普通眼镜无异，当局担心它们会被被拘留者用于秘密拍摄限制区域，或被不法分子用于针对犯罪和恐怖活动的“行动前侦察”。
《卫报》获取的内部备忘录显示，全美各地的警察部门认为此类眼镜威胁到了设施安全和警员人身安全。为此，一些机构已禁止在联邦工作场所使用该设备，并指示警员在拘留环境中更严格地检查眼镜。
然而，批评人士指出，这些担忧凸显了双重标准。执法机构频繁利用监控技术监视公众，却抵制自己被拍摄，一些观察人士称这种反应是在追求“不受惩罚”。与此同时，围绕智能眼镜及其他人工智能辅助技术日益增长的不安情绪，反映了政府对调查工具的需求与公众对隐私和监控国家日益增长的怀疑之间的广泛紧张关系。
近期 Hacker News 上的一场讨论凸显了美国执法部门对 Meta 智能眼镜日益增长的担忧，因为该设备允许用户进行秘密录像。一些参与者认为，广泛的录像行为有助于促进问责制和透明度，并指出如果警察“行得正，就不怕被拍”；而另一些人则对监狱等安全区域的隐私问题表示担忧，认为录像可能会危及安全或泄露敏感信息。
许多评论者对这一说法持怀疑态度，认为这可能是 Meta 的一种“营销策略”，旨在将这款眼镜从“变态眼镜”重塑为维护公民权利和监督警察的工具。这场辩论还触及了大规模监控这一更广泛的现实；尽管警察经常谈论隐私风险，但观察人士指出，鉴于执法记录仪的普及，以及智能手表和手机等无处不在的录像设备日益常态化，这种担忧显得颇具讽刺意味。归根结底，这一共识反映了通过“下行监控”（sousveillance）实现机构透明的愿望，与在一个人人都能成为匿名观察者的社会中固有的隐私担忧之间，存在着深刻的张力。
此文是《Switched to Linux》播客的宣传摘要，该资源致力于帮助用户迁移至 Linux 平台。本期内容聚焦于对 GrapheneOS 近期与摩托罗拉（Motorola）达成合作的关键讨论，并表达了对此合作的重大疑虑和担忧。 《Switched to Linux》由一名计算机顾问运营，并在包括 YouTube、Odysee、Rumble 和 Bitchute 在内的多个视频平台提供教育性内容。本期节目是与 *Teh AnKorage* 合作制作的。如需了解更多信息或支持该项目，请访问 switchedtolinux.com/support。
对不起。
我们衷心感谢来自各合作机构的研究人员与协作者，包括埃克塞特大学、布罗德研究所、波士顿儿童医院、斯托瓦斯医学研究所、哈佛大学、纪念斯隆·凯特琳癌症中心、麻省总医院以及堪萨斯大学医学中心。 这一成就离不开我们广大研究与技术团队的辛勤付出，你们的集体专业知识、反馈与支持在整个项目中发挥了关键作用。我们还要感谢传播团队，感谢你们在向更广泛的社区分享我们工作方面提供的宝贵协助。我们对每一位参与者所投入的时间、见解和对此次合作的奉献深表感谢。
抱歉。