请启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
对不起。
Herdr 发布了 0.9 版本，引入了备受期待的多机支持功能。此前，用户仅限于一对一连接，不得不通过切换多个终端标签页来监控不同服务器上运行的代理。通过将 UI 与服务器解耦，Herdr 现在允许用户将多台远程机器（如 VPS 或本地 Mac mini）汇聚到一个统一的 TUI 中。 用户可通过 `herdr machine add` 命令使用 SSH 轻松添加远程机器，从而实现跨环境的工作空间和代理的无缝管理。尽管此版本侧重于连接性，但开发者计划在未来的更新中优化 CLI，以支持跨机器的代理协作。 Herdr 1.0 的长期愿景是通过“Herdr Cloud”简化这一流程。这项即将推出的服务将作为一个端到端加密连接层，使用户无需手动配置 SSH 即可轻松连接机器。该项目的最终目标是实现流畅的工作流，例如在机器间移动活跃的代理会话，从而将笔记本电脑从主要计算源转变为分布式架构的轻量级便携式客户端。
Hacker News 上的讨论围绕一篇题为《连接机器》（Connecting the Machines，herdr.dev）的文章展开，用户的反响褒贬不一：
* **正面反馈：** 一位已使用“herdr”数月的用户称赞该平台能有效集中管理跨多台设备的 SSH 会话。
* **质疑与批评：** 其他评论者质疑是否有必要为机器发现功能使用托管服务，认为用户完全可以自行构建类似方案（类似于自建 Syncthing 发现服务器）。
* **商业化担忧：** 一位参与者对当前将简单基础设施工具转化为服务并进行商业化的趋势表示不满。另一位用户则质疑此类网络工具的根本用途，讽刺称它们可能只对“垃圾内容生产”（slop farming）有用。
总的来说，虽然该工具为管理分布式 SSH 连接提供了一种便捷方案，但社区对于它所提供的价值是否足以支撑“托管服务模式”而非“自托管替代方案”存在分歧。
请启用 JavaScript 和 Cookie 以继续。
OpenAI 近日宣布，其内部人工智能系统证明了纳维-斯托克斯存在性与光滑性问题，这是千禧年大奖难题之一。该消息在 Hacker News 上引发了关于技术成就与公司伦理的广泛争议。
尽管 OpenAI 强调该模型通过处理海量数据（五天内消耗了 3000 亿个标记）实现了这一突破，但社区对此反应两极分化。批评者指出，有指控称 OpenAI 可能利用人类数学家尚未发表或私人的研究成果来训练模型，特别是提到了 Tristan Buckmaster 和 Levent Alpöge 的工作。多位评论者提供了相关声明和社交媒体帖文的链接，暗示该“解决方案”在很大程度上参考了这些研究人员的现有成果，从而引发了对 OpenAI 挪用知识产权并将其包装为机器自主发现的指控。
除伦理问题外，讨论还集中在巨大的计算成本上——估计超过 1500 万美元——以及这对未来科学研究的影响。怀疑论者认为这一争议损害了 OpenAI 的信誉，而支持者则将其视为人工智能辅助发现的一个里程碑，无论其背后存在怎样的机构摩擦。
这篇 Hacker News 帖子讨论了一个前提：年轻一代的美国人从未见过“运作良好”的美国外交政策。
评论者们对于何谓“成功的政策”持不同观点。一些人认为，乔治·W·布什时期“9·11”后的政策通过优先考虑安全和区域主导权，即便导致了长期的不稳定，也依然是有效的。另一些人则认为，美国外交政策一直处于功能失调状态，受恐惧、腐败和无休止的冲突循环所驱动。
讨论还探讨了年轻一代的幻灭感。许多千禧一代和 Z 世代感到他们是在国家衰落时期成年，并提到了诸如难以实现的住房梦等经济挑战。关于当前的政治气候（其特点是极端的党派之争以及部分年轻人的“叛逆”心态）究竟是系统性崩溃的征兆，还是仅仅是政治摩擦的历史周期，讨论中存在重大分歧。
最终，参与者对于“运作良好”的国家这一概念定义不一：一些人将其视为对全球霸权和能源主导权的维护，而另一些人则将其解读为在服务公共利益或维持稳固盟友关系方面的彻底失败。
请启用 JavaScript 和 cookie 以继续。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Onionspector – 现在让我们看看洋葱路由（The Onion）了解你多少 (0ut3r.space)
5 分，由 h0ek 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助
gibbitz 21 分钟前 [–]
有人需要问一下“我该如何使用 Let's Encrypt？”…… 回复
h0ek 14 分钟前 | 父评论 [–]
我确实问过。Let's Encrypt 目前还不签发 .onion 证书 :) 无论如何，洋葱服务已经提供了端到端加密和服务身份验证。Tor 目前列出了 DigiCert 和 HARICA 作为受公众信任的洋葱证书颁发机构。我实际上就在我这个博客的洋葱镜像站上使用了 HARICA 证书，所以我保证我之前确实考虑过洋葱网络上的 HTTPS。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
近期由《Gamers Nexus》、《Level1Techs》及安全研究人员联合展开的一项调查显示，LG 智能电视在用户往往不知情的情况下进行了大规模的数据采集。报告指出，这些设备会扫描本地 Wi-Fi 网络以识别周边硬件、记录位置信息，并利用自动内容识别（ACR）技术追踪用户观看的所有内容，无论输入源为何。 最令人担忧的发现是，LG 电视即便在待机模式下也会录制麦克风音频。如果电视处于离线状态，这些音频文件会先存储在本地，并在恢复连接后立即上传至 LG Ad Solutions。这种数据采集做法反映了行业内的普遍趋势，其他制造商也同样采用 ACR 技术来监控消费者的习惯。 在此之前，LG 显示器曾被曝出自动安装软件以推送弹窗广告并追踪设备数据，引发了相关争议。这些持续不断的隐私问题凸显了智能电视制造商激进的数据收集模式，也促使人们重新审视企业在家居环境中的监控边界。
最近的一场 Hacker News 讨论凸显了用户对于 LG 智能电视即使在离线或待机状态下也涉嫌收集数据的日益担忧。
评论者对“智能”电视的隐私保护表示深度怀疑，认为仅断开 Wi-Fi 可能并不足够。用户担心电视可能会通过网状网络（如 Amazon Sidewalk）或蜂窝调制解调器建立连接；另一些人则警告说，保留在局域网内的设备仍然可以扫描并盘点其他联网硬件，并在连接可用时向服务器“回传”数据。
提出的解决方案各不相同：有人建议使用 Apple TV 等专用流媒体盒子，而另一些人则建议进行严格的防火墙级阻断，而不是使用 Pi-hole 等工具进行简单的 DNS 过滤。多位参与者主张购买商用显示器以彻底规避消费级智能功能，其中一位用户提议为值得信赖、注重隐私的硬件设立“DUMB”（不上传我的位数据）认证。目前的共识是，制造商在公开地通过货币化观看数据来获取利益，消费者只能通过寻找技术手段来夺回隐私控制权。
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 签名校验和来验证系统的安全性和完整性。
Hacker News | 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录
FreeBSD 14.5-Release (freebsd.org)
19 分，由 joshcsimmons 于 4 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
在这篇反思中，Yves Habchy 讲述了将一个利用生成式 AI 工具快速构建的“氛围导向型”（vibe-coded）教育平台投入生产环境所面临的挑战。尽管代码本身尚可阅读，但却缺乏文档、背景信息以及清晰的决策脉络。 该项目充斥着技术债务：不完整的数据库迁移、缺失的权限设置，以及包括暴露 API 密钥和未授权端点在内的严重安全漏洞。尽管 Habchy 和自动化审计系统识别并解决了这些技术问题，但核心逻辑依然晦涩难懂。该应用程序包含多种相互冲突的学生评分算法，且没有任何记录说明哪一个是权威的，或者它们为何存在差异。诸如考勤处理等功能虽然已经完全构建，但却处于断开状态，此前的设计决策也毫无记录。 Habchy 总结认为，虽然 AI 工具可以快速生成功能完备的应用程序，但它们无法保留代码背后的“动机”。其结果是一个脆弱的产品：虽然具备技术功能，却丢失了底层的逻辑推理。如果没有开发人员来梳理和记录设计意图，未来的维护将如履薄冰，这证明了“可读”的代码并不能替代架构的清晰性。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
重构一个“氛围感”编码的应用：代码虽易读，思路却已丢失 (habchy.dev)
6 分，yveshabchy 发布于 50 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 始终致力于这些价值观，并仅与遵循这些价值观的合作伙伴进行合作。如果您有能为 arXiv 社区增值的项目想法，请了解更多关于 arXivLabs 的信息。
Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
C*：C 语言中编程与验证的统一 (arxiv.org)
9 分 | rramadass 37 分钟前 | 隐藏 | 往期 | 收藏 | 3 条评论 | 帮助
rramadass 32 分钟前 | 下一条 [–]
“C*”语言网站 - https://cstarlang.org/en/intro.html
请特别留意其与大模型（LLM）结合的使用收益（https://cstarlang.org/en/intro.html 最后一段），以及如何与大模型配合使用（https://cstarlang.org/en/tutorial/cstar-mcp.html）。
回复
glitchc 14 分钟前 | 上一条 [–]
想法很棒，语法糟糕。
回复
rramadass 2 分钟前 | 父评论 [–]
语法哪里糟糕了？使用 “[[require/ensure/invariant ...]]” 实际上相当精妙。
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索：
美国警方担心 Meta 智能眼镜可能被用于秘密拍摄他们。 US police fear Meta smart glasses could be used to secretly record them
4 小时前
包括纽约警察局（NYPD）、美国移民及海关执法局（ICE）以及各州情报中心在内的美国执法机构日益担忧，Ray-Ban Meta 智能眼镜构成了重大安全风险。由于这些设备隐蔽且外观与普通眼镜无异，当局担心它们会被被拘留者用于秘密拍摄限制区域，或被不法分子用于针对犯罪和恐怖活动的“行动前侦察”。
《卫报》获取的内部备忘录显示，全美各地的警察部门认为此类眼镜威胁到了设施安全和警员人身安全。为此，一些机构已禁止在联邦工作场所使用该设备，并指示警员在拘留环境中更严格地检查眼镜。
然而，批评人士指出，这些担忧凸显了双重标准。执法机构频繁利用监控技术监视公众，却抵制自己被拍摄，一些观察人士称这种反应是在追求“不受惩罚”。与此同时，围绕智能眼镜及其他人工智能辅助技术日益增长的不安情绪，反映了政府对调查工具的需求与公众对隐私和监控国家日益增长的怀疑之间的广泛紧张关系。
最近《卫报》的一篇报道指出，美国警方对 Meta 智能眼镜（特别是其潜在的秘密录像功能）感到担忧，这在 Hacker News 上引发了激烈的讨论。
评论者们普遍嘲讽警方的这种不安，经常引用执法部门自己的话术：“如果你没做什么见不得人的事，就没什么好怕的。”许多用户认为这种情况充满了讽刺意味，并指出了警方一方面支持广泛的公共监控，另一方面又抗拒被他人记录之间的矛盾。
讨论还涉及了在监狱和美国移民及海关执法局（ICE）拘留中心等安全非公共设施内进行记录的细微差别。尽管有些人认为这些区域为了安全需要限制准入，但许多用户反驳称，这些空间是由公共资金支持的，理应接受透明度监督。一些人推测，该报道可能是一则为 Meta 准备的“潜水艇式广告”（隐蔽营销），将这款眼镜定位为公共问责工具。另一些人则表示怀疑，指出警方已经拥有减轻录像影响的手段，例如在接触时命令民众摘下太阳镜。归根结底，这篇讨论反映了公众在监控、问责以及公民与执法部门之间权力失衡问题上根深蒂固的不信任感。