在一项包含六大前沿人工智能模型（包括 GPT-5.5、Claude 和 Gemini）共 600 次测试的实验中，有 597 次在“开放式荣格类型量表”（OEJTS）中得出了“INTJ”（建筑师型）的结果。这种压倒性的趋同表明，所有大型 AI 实验室都在将模型训练成一种近乎相同的“建筑师”人格——这是基于全网文本平均值进行训练的副产品，这种训练鼓励结构化、乐于助人且理性的回应，而 AI 的默认存在状态也恰好模仿了 INTJ 的特质。
作者认为，这种同质化并非偶然，而是该行业的默认产品。由于当前所有前沿 AI 都共享这种“INTJ”语调，切换模型本质上只是“切换字体”。为了解决这一问题，作者发布了 AgentTune，这是一个开源的系统提示词库，允许用户覆盖默认人格，并根据不同性格类型对 AI 进行校准。通过这种方式，用户可以改变 AI 的语调以更好地匹配自身，从而摆脱行业内那种狭隘、千篇一律的“乐于助人的助手”原型。
每日HackerNews RSS
对不起。
Rust 是一种被定义为安全、低级、系统级的编程语言，直接与 C++ 竞争。它为了安全性在性能上付出了多少代价？在惯用代码上，我们能否期待相似的性能表现？在本次演讲中，我们将识别 Rust 的性能弱点（及强项），检查它们在实践中的具体表现，并提出应对措施及性能最佳实践。本次演讲发表于 C++Russia 2026，并已发布在……
本次讨论聚焦于 C、C++ 和 Rust 在性能上的均等性。参与者普遍认同 Rust 的性能足以媲美 C，但也有观点认为，凭借其高表达力的元编程（模板）能力，现代 C++ 依然保持着优势。
这场辩论的核心在于“理论”与“实践”之间的分歧：
* **C++ 的论点：** C++ 的支持者认为，其强大的模板和元编程功能允许开发者编写复杂的、高性能的抽象；若在 C 或 Rust 中实现同样功能，则需要编写冗长且难以维护的样板代码。
* **Rust/C 的论点：** 持怀疑态度者认为，C++ 的复杂性如同“利维坦”，不仅容忍“胡乱”的代码，还助长了深度继承等会导致低效的模式。他们主张，Rust 的“安全性优先”设计默认引导开发者采用更好、更快的架构选择（如单态化）。
* **性能瓶颈：** 讨论重点多在于边界检查和编译器优化。尽管 Rust 的安全特性会带来轻微的开销，但参与者指出，通过符合惯例的代码编写方式或使用 `unsafe` 代码块，这些开销可以被优化掉。
最终，各方达成共识：尽管这些语言在理论性能上大体相似，但主要的差异在于实现极致性能时的**工程体验、开发投入以及所面临的阻力**。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
此列表记录了“正方形内装正方形”问题的研究演变，重点在于确定能容纳 $n$ 个单位正方形的最小边长为 $s$ 的正方形。 核心主题包括： * **历史里程碑：** 数据追踪了从弗里茨·格贝尔（Frits Göbel）1979 年的基础性工作，到大卫·埃尔斯沃思（David Ellsworth）、托马斯·沙特（Thomas Schadt）和卡罗伊·哈伊巴（Károly Hajba）等研究人员的现代计算机辅助成果。 * **计算进步：** 近期（2024–2026年）的进展主要得益于模拟退火算法，使研究人员能够为先前被认为已定论的较大 $n$ 值找到并优化装箱方案。 * **数学复杂性：** 许多解是“刚性”或“原始”的，而另一些则通过复杂的高次多项式来表示，通常涉及 $\sqrt{2}$ 或 $\sqrt{7}$ 的根以及勾股数。 * **迭代改进：** 诸如 $s(128)$ 和 $s(152)$ 等条目反映了通过协作技术进行的持续优化，其中一种装箱方式的改进会被应用于其他方案。 * **猜想：** 该研究持续验证 $s(n^2-n)=n$ 猜想的边界，并探索“双半原始”装箱的几何结构。
Hacker News 上的讨论围绕着一个名为“Squares in Squares”的网站展开，该网站展示了将 $n$ 个单位正方形装入尽可能小的正方形这一数学挑战。
参与者对实现最优装填所需的、高度不规则且通常违反直觉的排列方式表示着迷。讨论串澄清了这些视觉布局是经过归一化的（即正方形经过缩放以适应显示），而非代表一致的绝对尺寸。
讨论涉及了这些证明的复杂性，指出虽然完全平方数（如 4、9 或 16）可以实现“简单”的装填，但其他数字则需要复杂的排列、倾斜的正方形以及间隙才能达到最优。一些用户强调，对于 $n=11$ 的情况，目前尚未证实其最优解。讨论还涵盖了这些装填“族”的分类，以及用户在看到某些整数所呈现出的混乱且非系统的图案时所感受到的挫败感或愉悦感。总的来说，社区认为简单的几何规则与求解较大 $n$ 时那种令人惊讶且严苛的难度之间的交集，既美妙又发人深省。
为了确保重要信息既安全又易于获取，阿迪·萨莫（Adi Shamir）在 1979 年提出了“萨莫秘密共享”（Shamir’s Secret Sharing）。这种数学方法可以将一个秘密拆分为多个片段（份额），只有达到预定数量的参与者才能将其还原。
这一概念基于多项式几何：两点确定一条直线，三点确定一条抛物线，以此类推。通过将秘密设定为多项式与纵轴的交点（y轴截距），秘密本身得以隐藏。如果拥有的份额少于所需数量，则该直线或曲线无法确定，这意味着秘密的任何潜在取值都是等可能的。因此，碎片化的份额在未达到门槛时，无法提供关于秘密本身的任何信息。
在 Ente 的“遗产工具包”（Legacy Kit）等现代应用中，这种数学原理为安全的账户恢复提供了坚实的基础。系统要求通过多个份额来重构密钥，而份额本身并非永久的“密钥”。这种机制确保了丢失单个碎片不会危及安全性，同时各个份额也可以作为更广泛、更安全的恢复流程的一部分进行撤销或管理。
Shamir 秘密共享（SSS）是一种精妙的密码学技术，它允许将“秘密”（如密码或加密密钥）拆分为多个唯一的“份额”。这些份额被分发给多个参与方，只有当这些份额的组合达到预设的阈值时，才能还原出该秘密。
讨论要点如下：
* **数学基础：** SSS 依赖于多项式插值；秘密被编码为多项式上的一个点，其他点则作为份额。由于该方案在信息论上是安全的，攻击者若拥有的份额少于所需数量，将无法获得关于秘密的任何信息，因此它甚至能抵御未来的量子计算威胁。
* **实际应用：** 用户讨论了其在灾难恢复、去中心化密码管理以及“双人授权”认证系统中的用途。许多开发者分享了他们构建概念验证应用和个人备份存储工具的经验。
* **教育价值：** 教育工作者使用 SSS 以生动有趣的方式向学生教授几何和代数知识。
* **实现：** 开发者们强调，尽管该方案在数学上很精妙，但在生产环境中使用时，必须谨慎处理有限域算术及完整性校验（如消息认证码 MAC），以检测损坏或恶意的份额。
研究发现：散步比久坐更能激发创造力（2014） Taking a walk may lead to more creativity than sitting, study finds (2014)
2 天前
请提供您需要翻译的内容。
2014年的一项研究证实散步能激发创造力，这在 Hacker News 用户中引发了热烈讨论。许多用户将散步描述为解决问题和提高生产力的必备“秘籍”。
人们普遍认为，现代“久坐”的工作文化往往适得其反。参与者强调，离开电脑——无论是去散步、洗澡还是做家务——都能激活大脑的“默认模式网络”，从而进行潜意识处理并让想法得到“孵化”。许多专业人士（包括程序员）表示，他们最优雅的解决方案往往是在没有盯着屏幕时产生的。
虽然一些用户对这种行为的进化论解释存在争议，但大多数人都认同其实际好处：减轻压力、提高思维清晰度以及改善心血管健康。讨论中也体现了对那些只看重“坐班时长”而非实际产出的企业环境的普遍不满。将这种理念融入日常生活的建议包括：召开“步行会议”、使用跑步机办公桌，或者干脆安排固定的离线时间来让想法成熟。归根结底，用户认为，持续的创造性表现不应仅仅依赖人工智能或高度专注，还需要刻意地、周期性地打破久坐的办公环境。
饼干怪兽！这是一个用于拦截大多数机器人的自动检查。如果您的浏览器已启用 JavaScript，它应该很快会自动跳转到目标页面。如果没有启用，它也应该会跳转，但您也可以点击此处立即跳转。
对不起。
与人们普遍认为 AI 编程只会快速生成低质量“垃圾代码”的观点相反，大语言模型（LLM）其实可以成为严谨、高质量开发过程中的强大工具。开发者不应仅利用智能体来批量制造代码，而应利用它们来严格审阅和优化工作成果。 通过部署多个 AI 模型来审查合并请求（pull requests），开发者可以有效地识别 Bug、执行架构原则并捕获边缘情况下的故障。作者建议采用一种工作流：由 AI 识别并对问题进行分级——从关键的安全漏洞到微小的代码质量改进——从而让开发者能够系统性地修复、记录并验证代码。 虽然这种方法未必能提高原始的开发速度或代码行数，但它能显著改善代码库的健康状况。通过使用 AI 来审核、测试和解释代码，开发者可以从“垃圾代码轰炸”转向一种有条不紊、追求质量的过程。归根结底，这种“慢节奏”的氛围编程将 AI 视为一种用于深度、缜密工程的超级助手，优先考虑长期的可维护性，而非表面的开发速度。
这次讨论突显了资深开发者在使用 AI 方式上的转变：从“一次性”代码生成转向规范的迭代式工作流。
许多贡献者认为，依赖 AI “盲目”进行大规模代码修改会导致产生难以维护的低质量“垃圾代码”。相反，他们提倡一种更缓慢、更有意图的过程，将 AI 视为初级合伙人或“小黄鸭”调试助手。
**该工作流的关键要素包括：**
* **前置设计：** 在让 AI 编写代码之前，先独立确定架构和规范。
* **迭代周期：** 使用 AI 编写代码，然后利用不同的模型进行严格审查和反向论证。
* **人工监督：** 通过监督每一步来保持对系统的深度理解，拒绝让 AI 在复杂逻辑上自主运行。
* **重质量胜于速度：** 通过不断的反馈循环，在首次发布时就达到“第三版质量”，尽早发现那些本会变成技术债务的边界情况。
最终，用户指出，这种方法与其说是“效率捷径”，不如说是一场“智力马拉松”。但与从零开始编写或盲目信任 AI 输出相比，它能带来更高质量、更可靠的软件。
此 macOS Tahoe 安全更新于 2026 年 5 月 11 日发布，旨在解决一系列漏洞，以提高系统稳定性和用户隐私安全。 此次更新修复了多项安全缺陷，包括： * **系统完整性：** 通过多项补丁防止未经授权的权限提升（包括 root 权限访问）、沙箱逃逸以及内核内存篡改。 * **应用程序稳定性：** 修复了缓冲区溢出、越界读写、内存损坏以及释放后使用（use-after-free）错误，这些问题可能导致意外的系统或应用程序崩溃（拒绝服务）。 * **隐私与访问：** 修复了涉及未经授权访问敏感用户数据（如通讯录）、权限绕过以及文件系统保护漏洞的相关问题。 * **网络与媒体处理：** 改进了系统处理恶意构造图像、媒体文件及网页内容的方式，专门针对 Safari 及其他系统组件中的漏洞进行了加固。 苹果公司通过增强输入验证、更严格的边界检查、改进内存管理以及收紧权限限制，解决了上述问题。建议用户安装这些更新，以确保系统免受这些已识别漏洞的威胁。有关完整的技术细节及已追踪的 CVE 编号列表，请参阅苹果官方安全发布页面。
macOS Tahoe 26.5 中发现的内核漏洞 **CVE-2026-28952** 在 Hacker News 上引发了热烈讨论。该漏洞由 Calif.io 与 Anthropic 人工智能研究团队合作发现，涉及因输入验证不当导致的整数溢出。
讨论的主要要点包括：
* **补丁状态：** 苹果公司已在 macOS Tahoe、Sonoma 和 Sequoia 以及 iOS/iPadOS 18.7.9 的近期更新中修复了该漏洞。
* **人工智能的作用：** 评论者指出，这一发现凸显了向人工智能驱动的安全审计的转变。虽然一些人认为传统的“成熟”模糊测试工具本应发现此类缺陷，但另一些人则认为 AI 工具正成为现代安全工作流程的重要组成部分。
* **苹果的内部实践：** 一名自称是苹果安全工程师的人员评论称，该公司长期以来一直利用前沿 AI 模型进行安全研究，但由于保密协议（NDA）和对谨慎行事的偏好，他们对这些工作一直保持沉默。
* **对更新的批评：** 用户对苹果操作系统更新庞大的体积表示不满（通常需要超过 13GB 的可用空间），这使得存储空间有限的旧设备难以安装补丁。