请启用 JavaScript 和 cookie 以继续。
每日HackerNews RSS
近期由《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
44 天前
包括纽约警察局（NYPD）、美国移民及海关执法局（ICE）以及各州情报中心在内的美国执法机构日益担忧，Ray-Ban Meta 智能眼镜构成了重大安全风险。由于这些设备隐蔽且外观与普通眼镜无异，当局担心它们会被被拘留者用于秘密拍摄限制区域，或被不法分子用于针对犯罪和恐怖活动的“行动前侦察”。
《卫报》获取的内部备忘录显示，全美各地的警察部门认为此类眼镜威胁到了设施安全和警员人身安全。为此，一些机构已禁止在联邦工作场所使用该设备，并指示警员在拘留环境中更严格地检查眼镜。
然而，批评人士指出，这些担忧凸显了双重标准。执法机构频繁利用监控技术监视公众，却抵制自己被拍摄，一些观察人士称这种反应是在追求“不受惩罚”。与此同时，围绕智能眼镜及其他人工智能辅助技术日益增长的不安情绪，反映了政府对调查工具的需求与公众对隐私和监控国家日益增长的怀疑之间的广泛紧张关系。
近期 Hacker News 上的一场讨论凸显了美国执法部门对 Meta 智能眼镜日益增长的担忧，因为该设备允许用户进行秘密录像。一些参与者认为，广泛的录像行为有助于促进问责制和透明度，并指出如果警察“行得正，就不怕被拍”；而另一些人则对监狱等安全区域的隐私问题表示担忧，认为录像可能会危及安全或泄露敏感信息。
许多评论者对这一说法持怀疑态度，认为这可能是 Meta 的一种“营销策略”，旨在将这款眼镜从“变态眼镜”重塑为维护公民权利和监督警察的工具。这场辩论还触及了大规模监控这一更广泛的现实；尽管警察经常谈论隐私风险，但观察人士指出，鉴于执法记录仪的普及，以及智能手表和手机等无处不在的录像设备日益常态化，这种担忧显得颇具讽刺意味。归根结底，这一共识反映了通过“下行监控”（sousveillance）实现机构透明的愿望，与在一个人人都能成为匿名观察者的社会中固有的隐私担忧之间，存在着深刻的张力。
为什么我不看好 GrapheneOS 与摩托罗拉的合作 Why I'm Not Excited About the Graphene OS and Motorola Partnership
44 天前
此文是《Switched to Linux》播客的宣传摘要，该资源致力于帮助用户迁移至 Linux 平台。本期内容聚焦于对 GrapheneOS 近期与摩托罗拉（Motorola）达成合作的关键讨论，并表达了对此合作的重大疑虑和担忧。 《Switched to Linux》由一名计算机顾问运营，并在包括 YouTube、Odysee、Rumble 和 Bitchute 在内的多个视频平台提供教育性内容。本期节目是与 *Teh AnKorage* 合作制作的。如需了解更多信息或支持该项目，请访问 switchedtolinux.com/support。
对不起。
我们衷心感谢来自各合作机构的研究人员与协作者，包括埃克塞特大学、布罗德研究所、波士顿儿童医院、斯托瓦斯医学研究所、哈佛大学、纪念斯隆·凯特琳癌症中心、麻省总医院以及堪萨斯大学医学中心。 这一成就离不开我们广大研究与技术团队的辛勤付出，你们的集体专业知识、反馈与支持在整个项目中发挥了关键作用。我们还要感谢传播团队，感谢你们在向更广泛的社区分享我们工作方面提供的宝贵协助。我们对每一位参与者所投入的时间、见解和对此次合作的奉献深表感谢。
抱歉。
请启用 JavaScript 并关闭所有广告拦截器
《纽约时报》最近一篇题为《92岁数学家与他的少年学徒》（The 92-Year-Old Mathematician and the Teenage Apprentice）的文章在 Hacker News 社区引起了强烈共鸣。这篇报道讲述了一段感人至深的跨代师徒情谊，许多读者将其与拉马努金的传奇故事相提并论。
评论者称这段叙述“优美”、“暖心”，甚至具有治愈感，不少人表示读后热泪盈眶。这篇充满人文关怀的报道，让人得以从当前对人工智能及纳维-斯托克斯方程等高难度技术问题的沉迷中抽离出来，令人耳目一新。尽管有读者指出文中缺乏深度的数学细节，但也有人提到，文章为那些对底层科学感兴趣的读者提供了相关研究论文的链接。
总的来说，此次讨论表达了对人类执着探索中“迷人低效”的赞赏，以及对师徒传承深远价值的认可，激励着读者以焕然一新的活力去追求自己的热情。
CH-53“海上种马”直升机于1966年投入使用，作为一种重型运输直升机，它曾面临一项严峻的工程挑战：如何在巨大的旋翼叶片发生灾难性故障前探测到微小裂纹。尽管地面维护人员可以通过氮气压力指示器来发现泄漏，但军方仍需要一套能向飞行员即时发出预警的飞行中监测系统。
20世纪60年代，当时的电子设备在旋翼头的高振动环境下过于脆弱，复杂的线路布设也不切实际。于是，一种巧妙的低技术解决方案应运而生，即飞行中叶片监测系统（IBIS）。该系统在受压叶片的指示器内放置了少量锶-90，这是一种会释放β射线的放射性同位素。
如果叶片因裂纹导致压力损失，放射源的位置就会发生偏移。安装在直升机内部的盖革计数器会检测到辐射水平的变化并提醒飞行员。由于该系统无需电池或精密电子元件，因此极其可靠。几十年后，尽管较新的直升机已改用光纤传感器，但这种“核方案”依然是一种优雅且有效的解决方案，保障了较老型号CH-53直升机至今仍能安全飞行。
用于CH-53等直升机的飞行中旋翼叶片检测系统（IBIS）是一种用于检测旋翼叶片裂纹的可靠机械方法。每片旋翼叶片内都充有气体；如果发生裂纹，压力下降会触发一个弹簧柱塞。该柱塞会移动一个含有500微居里锶-90的小型屏蔽胶囊。一旦屏蔽层打开，机身上的传感器便会探测到放射源，从而提醒飞行员发生结构故障。
虽然在航空领域使用放射性材料听起来复杂或令人担忧，但支持者认为这是一种精妙且“万无一失”的解决方案，避免了在严苛、高振动环境下使用无线电子设备或复杂机械联动装置所带来的可靠性问题。该放射源剂量极小，主要发射短程贝塔粒子，且仅在发生结构紧急情况时才会暴露，对人员造成的风险微乎其微。尽管较新的直升机正逐渐转向使用光纤传感器，但IBIS作为一种自冷战时期起就一直有效发挥作用的传统技术，目前仍在使用中。