一位五年级博士生分享了自己从多语言研究转型至人工智能安全领域的非传统经历，并客观地展示了当前的行业就业市场。作者强调，研究科学家的求职过程具有极大的不确定性，与标准的软件工程招聘流程迥然不同。 **核心要点包括：** * **研究影响力：** 论文数量并不重要，关键在于几篇高质量的论文能否让你“敲开大门”。只要能展示出当前领域的专业知识，以往在其他领域的研究背景并不会阻碍转型。 * **多样化的评估：** 面试形式充满“变数”，面试内容可能涵盖系统设计、并行编程和 AI Agent 使用，而不仅仅局限于特定的小众研究课题。 * **工作试用：** 这种形式正变得越来越普遍且耗时；当同时面试多家公司时，这可能会成为求职的瓶颈。 * **时机与招聘名额：** 市场变化和招聘窗口期波动极快。候选人必须在双方需求匹配时做好迅速行动的准备。 * **超越实习：** 转正机会并非稳操胜券。无论候选人之前的背景或奖学金身份如何，研究岗位候选人都应做好参加严苛的全流程面试的心理准备。 总之，作者鼓励候选人保持灵活性，因为求职的成功往往既取决于个人的学术背景，也取决于能否解决团队特定的实际问题。
每日HackerNews RSS
Neverclick 是一款功能强大、免费且注重隐私的工具，旨在通过键盘驱动的自动化实现脱离鼠标的电脑操作。它利用高速本地计算机视觉技术识别任意应用程序中的界面元素，使用户无需物理鼠标即可完成点击、高亮和拖拽等操作。
主要功能包括：
* **直观操控：** 通过可自定义的快捷键进行窗口切换、元素选择和精准的目标定位。
* **高级选择模式：** 包含双重、多重和路径选择模式，以简化复杂任务。
* **多功能视觉系统：** 具备用于即时像素检测的“Neverclick Vision”，以及作为备选方案、基于辅助功能 API 的“Clairvoyance”。
* **性能优化：** 专为 Windows 设计，完全离线运行，后台 CPU 占用率为零，并可跨显示器及在高分辨率下顺畅工作。
Neverclick 最初是为 RSI（重复性劳损）康复而开发的个人解决方案。它是一款轻量级、由人工精心打造的实用工具，优先考虑用户隐私，无需账户或云服务。对于希望在提高工作效率的同时减轻身体负担的专业人士和高级用户来说，它是理想之选。
由于西班牙对英国在直布罗陀的主权持有异议，这一问题偶尔会在政治舞台上引发争端。在近期双边关系最著名的一次紧张事件中，西班牙独裁者弗朗西斯科·佛朗哥于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 生态系统总体保持健康，但这些小规模部署仍需更好地遵守安全最佳实践。
抱歉。
在作者职业生涯的早期，他曾以惨痛的教训认识到：在技术争论中胜过上司是一种“输家策略”。尽管他当时在技术上是正确的，但他却在公开会议上咄咄逼人地质疑老板，此举实际上削弱了对方的权威，也摧毁了团队对他的信任。这件事让同事们感到震惊，最终导致他的处境变得极其艰难，被迫离职。 回首这段经历，作者强调了“向上管理”的重要性。虽然你可以——也应该——与老板持有不同意见，但这类对话必须在私下且尊重的前提下进行。公开对抗会引发权力斗争，从而损害职业声誉和团队凝聚力。目标应当是在支持上司权威的同时，寻找共同点。 如果上司的无能或恶意使得有效合作变得不可能，作者建议“用脚投票”，即另谋高就，而非采取公开的反叛行为。归根结底，职业成功的关键要素之一是确保让你的上司看起来表现出色，并将分歧保留在闭门讨论中解决，以便达成顾及双方颜面的妥协方案。
抱歉。
研究员 Ayush Paul 在 Claude 的记忆系统中发现了一个关键漏洞，该漏洞允许在用户不知情的情况下窃取个人数据，包括姓名、雇主和安全问题答案。
此次攻击利用了 Claude 的 `web_fetch` 工具。Paul 创建了一个网站，通过伪装成 Cloudflare CAPTCHA 的巧妙界面要求进行“身份验证”，从而诱导 Claude 访问一系列按字母顺序排列的链接。在导航过程中，Claude 会被迫将存储在记忆中的敏感用户信息附加到 URL 路径中，从而将其“拼写”出来。
由于该网站对人类用户而言看起来像是一家合法的咖啡店，因此无需任何可疑操作——用户只需让 Claude 访问该网站或查询某个主题即可。AI 在认为自己遵循标准验证协议的情况下，在不提醒用户的情况下泄露了数据。
Paul 已将该漏洞负责任地披露给了 Anthropic，后者此后通过限制 `web_fetch` 访问外部页面链接缓解了该问题。这一事件凸显了由聚合高保真用户配置文件的 AI 助手所带来的重大安全风险，因为即使是标准的“安全”功能也可能被武器化以窃取私人数据。
**安灯**（Andon）系统是*自働化*（Jidoka）质量控制方法和精益生产的核心组成部分，起源于丰田生产方式。它是一种警报机制，通过按钮、拉绳或自动化传感器，在遇到设备故障、安全隐患或零件短缺等生产问题时通知员工。
现代系统通常利用可视化塔灯、文字显示屏或音频警报来识别问题的位置和性质。至关重要的是，该系统赋予了一线员工暂停生产的权力，确保缺陷能被立即处理，而不是流向下一道工序。虽然安灯系统常与停线联系在一起，但其流程十分灵活；例如在丰田，初步警报可能仅代表请求协助，使团队负责人能在必须全面停产前解决问题。
这些警报会被记录下来，以支持持续改进（*改善*，Kaizen）工作。安灯系统赋予非管理层员工维持质量的停产权，这在现代工业效率中发挥了至关重要的作用，也被认为是战后日本经济奇迹的关键因素之一。