Proof of Human 是一家由普林斯顿大学科学家创立、并获得 Y Combinator 支持的初创公司。我们正在招聘一名优秀的“全栈工程师”，共同构建数字身份与机器人检测的未来。 在此职位中，您将负责架构可扩展的后端基础设施，以处理每分钟数百万次的会话，并主导关键功能的端到端交付。您将与创始人密切合作，共同制定技术路线图，并有机会为发表在《Science》和《NeurIPS》等顶级学术期刊上的高影响力研究做出贡献。 **理想的候选人应具备：** * 3 年以上软件开发经验。 * 精通 Python 和 Node.js。 * 具备成功构建和部署云基础设施（AWS、GCP 或 Azure）的实践经验。 * 拥有扎实的定量背景。 * 乐于在快速发展、高影响力的 AI 安全团队中工作。 如果您热衷于通过前沿 AI 技术维护网络诚信，Proof of Human 将为您提供一个绝佳机会，让您能够在严谨的科学研究与可扩展的产品部署之间架起桥梁。
每日HackerNews RSS
抱歉。
与“人工智能通过自动化基础编程任务使初级工程师过时”的观点相反，人工智能实际上提升了他们的价值。虽然有人认为初级工程师已沦为人工智能生成代码的“管道”，但这种观点忽视了工程学的核心目的：通过技术和产品判断力来解决客户问题。
工程学不仅仅是编写代码，它更关乎于管理复杂性和权衡取舍。通过利用人工智能处理繁重的技术工作，初级工程师甚至实习生现在能够全权负责交付以前因优先级过低而无法由资深员工处理的功能。
此外，人工智能充当了高效的导师，通过提供即时的上下文和技术指导，缩短了入职培训的过程。这种加速使初级工程师能够更早地做出实质性贡献。由于行业需要人工智能无法提供的深度技术判断力，企业必须投资培养自己的人才。通过赋予初级工程师“人工智能原生”的能力，组织可以提高整体生产力，从而解决以前被忽视的问题，并确保储备未来的专家，使他们具备在人工智能驱动的环境中引领行业的独特资质。
关于 AI 对初级工程师影响的讨论，Hacker News 上的观点呈现出严重分歧。
原作者认为，AI 并没有抹杀初级工程师的角色，而是暴露了过时的管理实践。他们主张，通过让初级工程师利用 AI 工具填补知识空白并负责端到端的功能开发，企业能够释放出以往无法触及的潜在生产力。
然而，许多评论者强烈反对，并警告称这会导致工程人才出现“断层”。批评者认为：
* **技能退化：** 将 AI 作为“拐杖”依赖，阻碍了初级工程师掌握基础概念、调试技能及故障模式。
* **“黑箱”问题：** 初级工程师往往将 AI 的输出视为黑箱，无法验证所提交代码的正确性，从而导致系统脆弱。
* **管理负担加重：** 资深工程师现在面临着大量未经核实的 AI 生成代码（即“垃圾代码”），这为代码审查带来了巨大且不可持续的瓶颈。
* **缺乏指导：** 传统的“学徒制”模式——即初级人员通过反复试验并在资深人员监督下学习——正在被 AI 所取代，这可能会切断未来资深人才的培养路径。
最终，共识倾向于认为：虽然 AI 可以提高开发速度，但它可能会以牺牲深厚、直觉性的专业素养为代价，而这种素养正是真正的工程能力所必需的。
最新研究显示，人工智能的未来在于在台式机本地运行的小型语言模型（SLM），而非高耗能的云端大型语言模型（LLM）。根据截至 2025 年 10 月的数据研究，SLM 在 81.2% 的综合聊天与推理任务中已达到或超越了 LLM，同时成本降低了 50%–85%，能效也显著提升。 尽管 LLM 在高难度推理、工程及智能体应用方面仍具优势，但 SLM 正迅速缩小差距。对于投资者而言，这一转变意味着超大规模云服务商可能对数据中心存在过度资本投入。如果 70%–80% 的 AI 任务都能在本地完成，那么对高端数据中心硬件的大规模投资可能变得多余。 报告指出，AI 热潮中真正的长期赢家可能并非云基础设施提供商，而是像苹果和戴尔这样推动本地计算的硬件制造商。随着行业的发展，专有 LLM 的利润率将面临来自高效、易用的本地模型的压力，这预示着价值链可能从庞大的数据中心基础设施向家庭和办公室的终端设备转移。
抱歉。
**YACS 2.0（又一个 Curta 模拟器）**是一款基于浏览器的交互式 Curta 机械计算器 3D 模拟器。该项目由一位爱好者创建，旨在为那些无法购买昂贵原版设备的人提供一种替代方案，并以此致敬该设备之“美”。 该模拟器完全由手工编写的 VRML 和 JavaScript 从零构建，特意避开了繁重的 CAD 或项目管理软件，转而追求手动精度与代码优化。得益于《计算器参考》（The Calculator Reference）的 Rick Furr 提供的详细测量数据、照片和测试，模拟器的准确性得到了显著提升。 在 X_ITE WebGL 查看器的支持下，用户现可直接在现代浏览器中旋转、缩放并操作该虚拟设备，无需安装任何外部插件。尽管该项目是一项技术成就，但作者指出，它仅用于视觉模拟，而非 3D 打印蓝图；如需查阅正规工程图纸，请咨询列支敦士登 MuseumMura 的档案库。YACS 2.0 是一个倾注了热情的项目，它证明了通过代码、耐心与社区协作，能够重现复杂的机械之美。
对不起。
作者发现，速卖通（AliExpress）首页会在后台静默创建隐藏的“AudioContext”图，导致蓝牙多点连接耳机优先占用电脑音频，而非其他设备。与常规媒体不同，这些音频进程利用 Web Audio API 而非传统媒体元素，因此即使在标签页静音状态下也会保持活跃。 调查显示，这些进程属于阿里巴巴用于浏览器和设备指纹识别的高度混淆脚本（`collina.js` 和 `fireyejs.js`）。这些脚本会收集包括硬件规格、运动事件和 WebRTC 行为在内的大量数据，以创建用于机器人检测和防欺诈的持久设备配置文件。 由于这些脚本绕过了浏览器的静音控制并干扰了硬件功能，作者建议使用 uBlock Origin 将其拦截。添加特定的过滤规则以阻止这些脚本，可以防止隐藏音频上下文初始化。虽然这能有效恢复蓝牙功能，但作者提醒，拦截防欺诈脚本可能会在登录或结账等敏感操作期间触发额外的验证码或报错。
速卖通（AliExpress）正在利用“静默”WebAudio API 调用来执行浏览器指纹识别，这是一种通过分析独特的硬件特征来识别用户的技术。虽然这些音频对人类来说是不可听的，但它会在浏览器中创建一个持续的音频上下文，模拟活跃的媒体播放。
此过程对用户有显著的负面副作用：
* **蓝牙干扰：** 它会诱骗蓝牙多点设备保持“活跃”状态，导致它们优先处理速卖通页面，而非其他设备或音频源。
* **性能问题：** 持续的流会消耗 CPU 资源，导致移动设备和笔记本电脑的电池消耗增加及发热问题。
* **隐私担忧：** 用户在不知情或未同意的情况下被有效跟踪，绕过了标准的隐私预期。
社区呼吁浏览器应像对待麦克风或摄像头权限一样，严格对待音频 API 的访问——要求明确的用户许可或提供可见的指示器。一些用户通过使用自定义的 uBlock Origin 过滤器来屏蔽特定的指纹识别脚本从而缓解了该问题，而另一些人则认为，现代网络向浏览器通用 SDK 的转变从根本上破坏了用户的隐私和设备自主权。
为您的 IPv6 网站提供免费的 IPv4 前端。只需简单三步即可开始：阅读服务条款。在您现有的 AAAA 记录旁，创建一条指向 116.202.1.213 的 A 记录。推广此服务。没错，这就是您需要做的全部！我们认为，当 IANA 在 2011 年耗尽 IPv4 地址时，互联网就应该已经转换为双栈模式，这样新的客户端和服务器就可以毫无问题地仅使用 IPv6 进行部署。但事实并非如此。我们认为，网站所有者不应因为其他方未能及时升级而支付额外费用。因此，该服务对网站所有者免费。不过，我们会要求向我们发送 IPv4 流量的互联网服务提供商支付相应的流量费用。如果您是互联网服务提供商，可以注册免费试用。获取 20 欧元的 Hetzner 云额度，并帮助我们维持此项服务的免费。了解更多。
抱歉。
RAPx（Rust 分析平台与扩展）是一个可扩展、模块化的静态分析框架，旨在提升 Rust 在标准 `rustc` 编译器之外的安全性、稳健性和性能。该框架分为用于程序分析算法的核心层和用于特定任务的应用层，支持错误检测、别名分析、调用图生成及优化检测。
其核心特性之一是基于契约的验证流水线，允许开发者通过安全不变量对函数和结构体进行标注。利用基于 Z3 的 SMT 求解器，RAPx 可执行路径敏感分析，以证明内存对齐、非空性及初始化等安全属性，从而确保 `unsafe` 代码块不存在未定义行为。该平台包含标准库的安全契约库，并允许用户通过宏定义自定义谓词。
RAPx 需要使用 nightly Rust 工具链，可通过 `cargo` 获取。它直接集成于 Cargo 工作流中，提供对验证模式和目标过滤的细粒度控制。尽管目前仍处于积极开发阶段，但该平台已成功验证了复杂的现实场景中的 `unsafe` 抽象，成为专注于高可信 Rust 代码的开发者的有力工具。详细文档请参阅《RAPx-Book》。
抱歉。
当有人向你提问时，他们寻求的是你独特的视角、判断和专业知识，而不是来自聊天机器人的通用且未经润色的回复。依赖人工智能生成并直接复制粘贴的回答是适得其反的；接收者很可能也拥有同样的工具，完全可以在几秒钟内自行生成同样的内容。 相反，应将人工智能视为起草伙伴，而非你个人声音的替代品。阅读模型的输出，提取相关要点，并根据你自己的见解进行重写。保持回复简洁；通常，三句深思熟虑的话比一大段人工智能生成的文字更有价值。如果你觉得模型输出的某一部分很有用，可以引用它并解释为什么它很重要。 归根结底，如果你没有什么有意义的内容可以贡献，承认自己没有明确意见，总好过将人工智能生成的内容伪装成你自己的观点。优先考虑你的人为投入，以确保你的沟通保持真实且切实有效。
抱歉。
这篇文章探讨了技术与用户之间不断变化的权力动态，并以汽车发展的早期历史作为主要例证。20世纪初，富有的车主依赖前马车夫来操作那些既不可靠又需要高强度维护的汽车。由于这些机械师掌握了车主所缺乏的专业知识，他们拥有巨大的社会和实际权力，往往对雇主表现出冷漠或不服从。
然而，随着汽车变得越来越可靠，车主们也学会了自己驾驶，司机的筹码便随之消失了。作者将其与现代社会进行了类比：曾经的技术打字员因精通复杂设备而掌握权力，但最终被个人电脑的普及所取代。
归根结底，作者认为技术专长是一种暂时的权力。知识是流动的，随着技能变得越来越普及，“专家”与“老板”之间的差距会逐渐拉平。在不断变化的技术格局中，唯一的真正脆弱点在于拒绝学习；那些害怕并回避掌握工具的人将始终处于被动依赖的状态，而那些能够适应变化的人则能保持自主。
抱歉。
作者建议在 Python 打包流程中实施可复现构建，以增强供应链安全，且无需增加分发者的负担。通过确保相同的源代码能够产生完全一致的分发文件（sdist/wheel），社区可以验证构建过程未被篡改，从而降低类似 SolarWinds 攻击事件的风险。 为实现这一目标，作者提出了三项要求： 1. **源码追踪**：在分发元数据中记录源代码位置。 2. **构建文档记录**：利用软件物料清单（SBOM）记录所使用的构建工具及环境。目前 wheel 格式已支持此功能，但 sdist 需采用新格式来容纳此类元数据。 3. **可复现性**：利用 `pyproject.toml` 中的 `[build-system]` 标准，使第三方工具能够自动化并验证构建过程。 该愿景包含一套“可信验证者”系统，用于向 PyPI 报告成功的复现结果。这将允许用户通过索引级别的指标来验证包的完整性。最终目标是让可复现构建成为一种低门槛、可选择的“SLSA 1 级”成就，而非强制性要求，从而通过社区主导的验证来营造一个更安全的生态系统。
抱歉。