您没有提供需要翻译的内容。请发送您想要翻译的文本。
每日HackerNews RSS
浮动伴侣：探索室内软体浮动机器人的设计空间 Floating Companion: Exploring Design Space for Soft Floating Robots in Indoor
1 天前
请启用 JavaScript 和 Cookie 以继续。
一位五年级博士生分享了自己从多语言研究转型至人工智能安全领域的非传统经历，并客观地展示了当前的行业就业市场。作者强调，研究科学家的求职过程具有极大的不确定性，与标准的软件工程招聘流程迥然不同。 **核心要点包括：** * **研究影响力：** 论文数量并不重要，关键在于几篇高质量的论文能否让你“敲开大门”。只要能展示出当前领域的专业知识，以往在其他领域的研究背景并不会阻碍转型。 * **多样化的评估：** 面试形式充满“变数”，面试内容可能涵盖系统设计、并行编程和 AI Agent 使用，而不仅仅局限于特定的小众研究课题。 * **工作试用：** 这种形式正变得越来越普遍且耗时；当同时面试多家公司时，这可能会成为求职的瓶颈。 * **时机与招聘名额：** 市场变化和招聘窗口期波动极快。候选人必须在双方需求匹配时做好迅速行动的准备。 * **超越实习：** 转正机会并非稳操胜券。无论候选人之前的背景或奖学金身份如何，研究岗位候选人都应做好参加严苛的全流程面试的心理准备。 总之，作者鼓励候选人保持灵活性，因为求职的成功往往既取决于个人的学术背景，也取决于能否解决团队特定的实际问题。
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 的讨论聚焦于近期达成的一项关于取消直布罗陀与西班牙之间边境管控的协议，该协议实际上使这一地区并入了欧盟的申根区。尽管新闻将其描述为通勤者的利好举措，但这引发了关于主权、殖民主义及地缘政治遗产的激烈争论。
讨论呈现出严重的观点对立。一种观点强调自决权，指出直布罗陀人民在全民公投中以压倒性多数投票支持维持英国统治。该观点的支持者认为，陆地边界并不等同于殖民主义，且当代居民的意愿应当优先于历史性的领土主张。
相反，批评者则认为此类飞地是“殖民主义的残余”，并暗示从地理逻辑上看，这些地区理应回归周边国家。这一论点因西班牙自身对北非飞地休达和梅利利亚的控制而变得复杂。讨论随后陷入了激烈的争论，参与者将这些领土与福克兰群岛、北爱尔兰以及俄罗斯入侵乌克兰等事件进行类比。归根结底，这场讨论突显了坚持国际自决法律先例与认为历史领土征服不公的观念之间，存在着根本性的矛盾。
“人权衡量倡议”的学者们指出，尽管美国拥有 32 万亿美元的经济规模，却未能履行其在经济和社会权利方面的义务。通过将美国与经合组织（OECD）的其他高收入国家进行对比，研究人员发现，过去 25 年来，美国在健康、粮食安全、教育和公平工资等领域的表现一直不尽如人意。
目前，美国在这些领域的排名显著落后于同类国家，其健康保障仅达到潜力水平的 80%，粮食安全仅为 81%。值得注意的是，在公平收入方面，美国在经合组织国家中排名垫底，严重的贫富差距正制约着数百万人的经济福祉。教育得分则表现平平，尽管入学率很高，但学习质量的成果却很低。
作者认为，这种衰退并非源于资源匮乏，而是未能实施将国家财富转化为基本生活水平的政策。近期削减医疗保险和食品援助计划的立法预计将加剧这些差距，进一步偏离宪法中关于促进全民福利的承诺。归根结底，数据表明，随着美国变得愈发富裕，它在保障公民体面生活方面的效率反而有所下降。
本项目在 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 定理证明器中的这些数学结构建立严谨的机器验证基础。
边界网关协议（BGP）作为互联网的路由骨干，缺乏原生安全性，极易受到恶意或意外的前缀劫持攻击。资源公钥基础设施（RPKI）通过允许 IP 地址持有者使用路由源授权（ROA）以加密方式指定哪些自治系统（AS）可以发布其前缀，从而缓解了这一问题。
尽管五大区域互联网注册机构（RIR）构成了该系统的基础，但还存在一个由小型独立发布服务器组成的“长尾”群体。本研究对这些服务器进行了分析，以了解其动机和运营模式。研究发现，尽管这些小型服务器仅占总 IP 地址空间的一小部分，但它们为政府域名等关键基础设施提供了支持。
运营商维护独立服务器的原因多种多样：为了整合多 RIR 管理、提供托管服务（RPKIaaS）或支持研究与教育。然而，数据突显了两个令人担忧的问题：
1. **无效性**：7.6% 的“未知”率表明缺乏一致的加密验证。
2. **风险配置**：超过半数的 ROA 使用了 `maxLength` 参数（RFC 9319 不建议这样做），其中近 20% 的配置可能使网络面临子前缀劫持的风险。
综上所述，虽然 RPKI 生态系统总体保持健康，但这些小规模部署仍需更好地遵守安全最佳实践。
抱歉。
在作者职业生涯的早期，他曾以惨痛的教训认识到：在技术争论中胜过上司是一种“输家策略”。尽管他当时在技术上是正确的，但他却在公开会议上咄咄逼人地质疑老板，此举实际上削弱了对方的权威，也摧毁了团队对他的信任。这件事让同事们感到震惊，最终导致他的处境变得极其艰难，被迫离职。 回首这段经历，作者强调了“向上管理”的重要性。虽然你可以——也应该——与老板持有不同意见，但这类对话必须在私下且尊重的前提下进行。公开对抗会引发权力斗争，从而损害职业声誉和团队凝聚力。目标应当是在支持上司权威的同时，寻找共同点。 如果上司的无能或恶意使得有效合作变得不可能，作者建议“用脚投票”，即另谋高就，而非采取公开的反叛行为。归根结底，职业成功的关键要素之一是确保让你的上司看起来表现出色，并将分歧保留在闭门讨论中解决，以便达成顾及双方颜面的妥协方案。
抱歉。