请启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
一项最新研究指出，睡眠规律性比睡眠总时长更能有效预测死亡风险。在排除健康、生活方式和人口统计学因素后，规律的作息成为了衡量长寿的关键指标。
这些研究结果在 Hacker News 上引发了热烈讨论。许多用户表示，维持规律作息十分困难，尤其是对于那些有延迟睡眠相位综合征等遗传倾向的人，或是生活方式无法适应刻板作息的人群。尽管部分参与者争论该研究结果究竟反映了真实的因果关系，还是受生活方式变量干扰，但其他人则分享了自己改善睡眠习惯时的挣扎经历。
这段对话反映了一种普遍的矛盾：尽管睡眠规律对健康益处明显，但许多人认为常规建议（如避免使用屏幕或保持严格的就寝时间）不足以克服生理节律或现代生活的需求。归根结底，这一讨论凸显了人们对于解决睡眠不规律问题有着更迫切、更具实操性和有效性的方案需求。
尽管制作面包的工具随处可见，大多数人还是选择购买工厂生产的面包，因为它们更方便且品质稳定。这种“面包悖论”解释了为何即便人工智能使软件开发变得更简单，SaaS 公司也不会因此走向末路。
批评人士认为，由于人工智能让任何人都能生成代码，企业将不再愿意为软件订阅付费。然而，自行构建工具就像自己烘焙面包一样，是一个会产生隐性“心理成本”的 DIY 项目，包括维护、安全风险、更新和故障排查。企业购买专业的 SaaS 产品时，支付的不仅是代码，更是为其提供的可靠性、安全性、合规性以及责任保障的供应链。
虽然人工智能可能会颠覆那些仅具备单一功能的“薄”产品，但长青的 SaaS 公司更像是工业烘焙行业。它们提供的是一种免去所有权负担的托管解决方案。归根结底，比起原材料成本，企业更看重的是便利性和省心程度。只要 SaaS 提供商能提供可靠的结果并管理好“供应链”的复杂性，企业就会继续选择租用解决方案，而不是去构建并承担随之而来的各种难题。
对不起。
您没有提供需要翻译的内容。请发送您想要翻译的文本。
```Hacker News 新闻 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
展示 HN：网页应用利用 RTL-SDR 对准 HDTV 天线 (tunerscope.com)
13 点，由 robotastic 发布于 3 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论
为了不再错过世界杯期间的 Telemundo 信号，我开发了一个网页应用。它通过本地的 RTL-SDR 加密狗来分析 HDTV 信号，从而帮你对准天线……球进啦！！！
isawczuk 18 分钟前 | 下一条 [–]
我很喜欢。这是使用 Web USB 的绝佳示例。
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：```
浮动伴侣：探索室内软体浮动机器人的设计空间 Floating Companion: Exploring Design Space for Soft Floating Robots in Indoor
5 小时前
请启用 JavaScript 和 Cookie 以继续。
```Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
浮动伴侣：探索室内软体浮动机器人的设计空间 (acm.org)
4 分，由 hopelessluca 于 59 分钟前发布 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
amelius 0 分钟前 [–]
我没有游泳池也没有浴缸，看来这些浮动伴侣不适合我 :(
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
一位五年级博士生分享了自己从多语言研究转型至人工智能安全领域的非传统经历，并客观地展示了当前的行业就业市场。作者强调，研究科学家的求职过程具有极大的不确定性，与标准的软件工程招聘流程迥然不同。 **核心要点包括：** * **研究影响力：** 论文数量并不重要，关键在于几篇高质量的论文能否让你“敲开大门”。只要能展示出当前领域的专业知识，以往在其他领域的研究背景并不会阻碍转型。 * **多样化的评估：** 面试形式充满“变数”，面试内容可能涵盖系统设计、并行编程和 AI Agent 使用，而不仅仅局限于特定的小众研究课题。 * **工作试用：** 这种形式正变得越来越普遍且耗时；当同时面试多家公司时，这可能会成为求职的瓶颈。 * **时机与招聘名额：** 市场变化和招聘窗口期波动极快。候选人必须在双方需求匹配时做好迅速行动的准备。 * **超越实习：** 转正机会并非稳操胜券。无论候选人之前的背景或奖学金身份如何，研究岗位候选人都应做好参加严苛的全流程面试的心理准备。 总之，作者鼓励候选人保持灵活性，因为求职的成功往往既取决于个人的学术背景，也取决于能否解决团队特定的实际问题。
```Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
我在寻找研究科学家工作时的意外心得 (yongzx.github.io)
20 分，由 gmays 发布于 5 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论
zeafoamrun 3 小时前 [–]
我见过一些公司将“工作试用”作为改善招聘决策的方式，但正如他所指出的，这对候选人来说很糟糕。我认为工作试用可能反映了当前软件开发人员的买方市场现状。
回复
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：```
Neverclick 是一款功能强大、免费且注重隐私的工具，旨在通过键盘驱动的自动化实现脱离鼠标的电脑操作。它利用高速本地计算机视觉技术识别任意应用程序中的界面元素，使用户无需物理鼠标即可完成点击、高亮和拖拽等操作。
主要功能包括：
* **直观操控：** 通过可自定义的快捷键进行窗口切换、元素选择和精准的目标定位。
* **高级选择模式：** 包含双重、多重和路径选择模式，以简化复杂任务。
* **多功能视觉系统：** 具备用于即时像素检测的“Neverclick Vision”，以及作为备选方案、基于辅助功能 API 的“Clairvoyance”。
* **性能优化：** 专为 Windows 设计，完全离线运行，后台 CPU 占用率为零，并可跨显示器及在高分辨率下顺畅工作。
Neverclick 最初是为 RSI（重复性劳损）康复而开发的个人解决方案。它是一款轻量级、由人工精心打造的实用工具，优先考虑用户隐私，无需账户或云服务。对于希望在提高工作效率的同时减轻身体负担的专业人士和高级用户来说，它是理想之选。
Hacker News 社区正在讨论一款名为“Neverclick”的新桌面应用程序，它支持通过键盘控制鼠标。用户将其与 Vimium 和 Shortcat 等类似工具进行了对比，并对该应用用于选择屏幕元素的“提示模式”（hint mode）表示赞赏。
讨论指出了实现脱离鼠标操作时面临的几个挑战：
* **无障碍功能的缺失：** 许多应用程序在设计时未考虑键盘操作，导致在没有鼠标的情况下难以使用滑动条或调整窗口大小。
* **平台限制：** 开发者指出，基于 Wayland 的 Linux 系统限制了应用程序劫持鼠标指针，这增加了非 X11 环境下的开发难度。
* **功能建议：** 贡献者分享了各自的实现方案，并强调“搜索”和“滚动”模式对于实现真正可行的无鼠标工作流至关重要。
虽然一些人认为支持 QMK 的键盘可以处理基本的鼠标移动，但另一些人则认为，屏幕提示覆盖层对于获得更好的用户体验必不可少。随着该项目为即将发布的 Linux 版本做准备，讨论帖中还涉及了针对开发者的具体批评，包括对闭源代码和平台支持的担忧。
由于西班牙对英国在直布罗陀的主权持有异议，这一问题偶尔会在政治舞台上引发争端。在近期双边关系最著名的一次紧张事件中，西班牙独裁者弗朗西斯科·佛朗哥于1969年对直布罗陀实施了封锁，直到他去世后的1982年才得以解除。
```Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
直布罗陀取消与西班牙的边境管制，迎来新时代 (bbc.com)
9 分 | tosh 发布于 23 分钟前 | 隐藏 | 往期 | 收藏 | 3 条评论
帮助
Laurel1234 0 分钟前 | 下一条 [–]
如果直布罗陀回归它所属的西班牙，那就更容易了。
回复
unkeen 1 分钟前 | 上一条 | 下一条 [–]
纯粹从地理角度来看，直布罗陀“属于”哪块陆地竟然还有争议，这太荒谬了。作为一名殖民主义者，我会发现如今很难为自己的行为辩护。
回复
precommunicator 5 分钟前 | 上一条 [–]
我过直布罗陀边境的经历（外籍车，2023年）：
入境：西班牙一侧：护照扫描；英国一侧：看了一眼（5秒）
出境：挥手放行
回复
考虑申请 YC 2026 年秋季班吧！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索： ```
“人权衡量倡议”的学者们指出，尽管美国拥有 32 万亿美元的经济规模，却未能履行其在经济和社会权利方面的义务。通过将美国与经合组织（OECD）的其他高收入国家进行对比，研究人员发现，过去 25 年来，美国在健康、粮食安全、教育和公平工资等领域的表现一直不尽如人意。
目前，美国在这些领域的排名显著落后于同类国家，其健康保障仅达到潜力水平的 80%，粮食安全仅为 81%。值得注意的是，在公平收入方面，美国在经合组织国家中排名垫底，严重的贫富差距正制约着数百万人的经济福祉。教育得分则表现平平，尽管入学率很高，但学习质量的成果却很低。
作者认为，这种衰退并非源于资源匮乏，而是未能实施将国家财富转化为基本生活水平的政策。近期削减医疗保险和食品援助计划的立法预计将加剧这些差距，进一步偏离宪法中关于促进全民福利的承诺。归根结底，数据表明，随着美国变得愈发富裕，它在保障公民体面生活方面的效率反而有所下降。
这篇 Hacker News 的讨论批评了《财富》杂志的一篇文章，该文章声称美国工人仅获得了该国创造财富的 27%。评论者对文章的前提及其所采用的经济学方法论表示怀疑，一些用户指出该文章错误地将 GDP 理解为货币的“存量”而非生产的“流量”。
除了经济辩论外，讨论还演变为对美国更广泛的批评。国际参与者认为生活质量的下降是阻碍移民的原因，并指出对食品安全标准、医疗保健系统风险以及枪支暴力（特别是校园枪击演习）的担忧。其他人则认为，美国深受系统性财富囤积和“煤气灯效应”（gaslighting）文化的影响，民众被操纵去支持违背自身利益的政策。归根结底，该讨论串反映了对美国社会契约的愤世嫉俗的看法，用户们不仅质疑国家经济指标的准确性，也质疑美国普通公民的实际福祉。
本项目在 Lean 4 中对组合博弈论进行了形式化，主要关注满足以下条件的博弈：双人、完全信息、有限步，且最后移动者获胜（常规游戏规则）。 本仓库旨在建立一个涵盖以下四个主要领域的综合框架： 1. **通用理论：** 形式化诸如博弈温度、被支配位置和可逆位置等基础概念。 2. **特定博弈：** 实现尼姆游戏（Nim）、Hackenbush、Chomp 和井字棋等多种博弈。 3. **尼姆数（Nimbers）：** 发展尼姆数理论，包括代数闭包和扩张定理。 4. **超实数（Surreal Numbers）：** 构建其域结构，并证明其作为哈恩级数（Hahn series）的表示。 本项目主要参考约翰·H·康威（John H. Conway）的《关于数与博弈》（*On Numbers and Games*, 2001）及相关现代补充资料，旨在为 Lean 4 定理证明器中的这些数学结构建立严谨的机器验证基础。
```Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Lean 中的组合博弈 (github.com/vihdzp)
wertyk 发布于 2 小时前 | 11 点 | 隐藏 | 过往 | 收藏 | 1 条评论
unprovable 10 分钟前 [–]
很棒！或许可以添加一个愿望清单或项目标签页？:)
顺带一提，我记得不久前读过一篇论文，其中指出在某些假设下，策梅洛定理（Zermelo's theorem）表明将游戏变为“量子游戏”实际上并没有提供任何真正的优势。
回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
边界网关协议（BGP）作为互联网的路由骨干，缺乏原生安全性，极易受到恶意或意外的前缀劫持攻击。资源公钥基础设施（RPKI）通过允许 IP 地址持有者使用路由源授权（ROA）以加密方式指定哪些自治系统（AS）可以发布其前缀，从而缓解了这一问题。
尽管五大区域互联网注册机构（RIR）构成了该系统的基础，但还存在一个由小型独立发布服务器组成的“长尾”群体。本研究对这些服务器进行了分析，以了解其动机和运营模式。研究发现，尽管这些小型服务器仅占总 IP 地址空间的一小部分，但它们为政府域名等关键基础设施提供了支持。
运营商维护独立服务器的原因多种多样：为了整合多 RIR 管理、提供托管服务（RPKIaaS）或支持研究与教育。然而，数据突显了两个令人担忧的问题：
1. **无效性**：7.6% 的“未知”率表明缺乏一致的加密验证。
2. **风险配置**：超过半数的 ROA 使用了 `maxLength` 参数（RFC 9319 不建议这样做），其中近 20% 的配置可能使网络面临子前缀劫持的风险。
综上所述，虽然 RPKI 生态系统总体保持健康，但这些小规模部署仍需更好地遵守安全最佳实践。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
到底是谁在运行那些小型 RPKI 服务器？ (apnic.net)
23 分 | enz 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：