本文探讨了 Go、Kotlin（基于 JVM）以及 Erlang/Elixir（基于 BEAM）如何通过 M:N 调度在少量线程上运行大量任务，重点分析了并发性与内存安全之间的矛盾。
**核心冲突：** 抢占任务的主要难点在于“安全点”（safe-point）问题：当运行时暂停线程以执行垃圾回收（GC）时，必须确保该线程的状态（栈/寄存器）处于已知且有效的配置中。
* **Go：** 通过信号（`SIGURG`）实现非协作式抢占。其受限于“栈映射”（stack maps），该机制允许 GC 追踪指针。这要求 Go 确保线程到达安全点，从而促使其经历了从协作式检查到基于信号抢占的复杂演变。
* **Kotlin (JVM)：** 依赖于通过 `suspend` 函数和延续（continuations）实现的协作式挂起。由于协程经过编译器转换，挂起点是明确的。底层的 JVM 使用一种由 JIT 驱动的独立“轮询页”（poll page）机制来处理全局安全点，从而将协程逻辑与 GC 安全性保持正交。
* **BEAM (Erlang/Elixir)：** 通过隔离彻底规避了安全点问题。由于进程间不共享内存，不存在一个进程破坏另一个进程堆的风险。抢占机制在每条指令上使用“归约计数器”（reduction counter），使得每个指令边界本质上都是安全的。
每日HackerNews RSS
抱歉。
Show HN：笔记本电脑是你唯一的明文秘密存放地 Show HN: Laptop is the last place your secrets are still in plaintext
2 天前
**jit** 是一款专为 macOS（Apple Silicon）设计的工具，旨在保护通常以明文形式存储在计算机上的开发者凭据，如 AWS 密钥、`.env` 文件和 API 令牌。 **工作原理：** * **保险库存储：** `jit` 将敏感数据转移至受 Touch ID 保护的本地加密保险库中。 * **诱饵替换：** 它会将明文文件替换为诱饵，仅在您授权时才将真实凭据注入内存。 * **生物识别门控：** 使用双重身份验证：首先解锁会话保险库，其次批准特定工具（如 `aws` 或 `npm`）访问您的密钥。 * **可审计性：** 每次凭据访问、解锁尝试或被拒绝的请求都会被记录，以备安全审查。 **主要功能：** * **进程授权：** 允许特定工具（如 AI 代理或长时间运行的脚本）获得临时的、可审计且可撤销的密钥访问权限。 * **无缝集成：** 大多数工具可通过 `jit run` 或 `jit wrap` 直接运行，无需修改。 * **可逆性：** 每次迁移都会自动备份，通过 `jit migrate undo` 可轻松恢复。 `jit` 目前处于积极开发阶段，旨在通过确保凭据在静态存储时绝不泄露，从而防止密钥被盗。
抱歉。
正在检查您的浏览器……需要启用 JavaScript
这篇 Hacker News 帖子讨论了文章《为死者代言》（Speaking for the Dead），但讨论很快就偏离了原文主题。多位用户表示，文章标题未能引用奥森·斯科特·卡德（Orson Scott Card）的科幻小说《死者代言人》（Speaker for the Dead）令他们感到失望，这引出了一场关于卡德的《安德的游戏》系列、阿西莫夫的《基地》系列以及《沙丘》的怀旧交流。
讨论的其余部分集中在关于标题中介词的语言学争论上。评论者们争论“关于”（about）和“为”（for）死者说话之间的区别。一位用户认为“关于”对于描述性叙述更为准确，而另一位则反驳称“为”意味着倡导或代表边缘化的观点。帖子最后以一句对常用习语“Speak for yourself”（你自己看着办/各人有各人的看法）的俏皮改编作为轻松的结尾。
**ProofRun** 是一款验证工具，它能将测试结果与你的确切代码状态进行加密绑定。尽管 AI 编程助手常声称“测试已通过”，但它们可能依赖的是过时的运行结果。ProofRun 通过追踪代码的特定指纹（包括 Git 提交和未提交的更改）消除了这种模糊性。
如果你的代码哪怕改动了一个字节，ProofRun 也会自动将测试状态标记为 **STALE（过期）**，确保你永远不会依赖假设。
**主要功能：**
* **确定性准确：** 它绕过基于 AI 的验证，改为执行真实的子进程并记录实际的退出代码。
* **拒绝“可能”：** 结果被严格分类为 `PASS`（通过）、`FAIL`（失败）、`STALE`（过期）或 `NOT RUN`（未运行）。
* **参数数组精确匹配：** 它比较的是实际的命令数组而非字符串，从而防止了 Shell 注入攻击。
* **离线且安全：** 无需网络调用、遥测或账户。
* **CI/CD 集成：** `proofrun status --strict` 命令可用于提交前钩子（pre-commit hooks）或 GitHub Actions，在所有必要测试针对当前状态成功运行之前，拦截部署流程。
ProofRun 旨在实现可问责性，它提供了一种强大的方法来验证你的代码是否确实经过了测试，而不仅仅是“大概没问题”。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
本仓库提供了一个硬件原生控制平面的概念验证（PoC），旨在最大限度地减少超大规模人工智能架构中的光子路由延迟。通过绕过电光转换缓冲和传统的基于软件的重对齐，该项目致力于为分布式大语言模型工作负载（如 DeepSeek-V4）实现亚纳秒级的定时精度。 该架构利用三层系统将光子定时与高级执行噪声隔离： * **第一层（裸机）：** 使用 GPU 寄存器混洗（`__shfl_sync`）和无分支位运算多路复用器（MUX），在不触发流水线停顿或线程束分歧的情况下减轻光学抖动。 * **第 1.5 层（桥接）：** 实现零拷贝 DLPack 内存隧道和异步 RAII 硬件防护，以保护执行图免受宿主机端垃圾回收和解释器延迟的影响。 * **第二层（治理）：** 采用 `jax.shard_map` 来强制执行全局拓扑稳定性，并维持多机箱集群间的数值稳态。 作为一种探索性研究框架，该引擎提供了一个自动化挂钩，可将此光子路由逻辑直接注入现有的模型编译图中。该项目处于早期原型阶段，欢迎社区共同协作以完善其硬件协同设计假设与可扩展性。
抱歉。
2022 年，作者创建了一个名为“PaintBrush”的 Python 类，旨在通过创意视觉项目引导高中生学习编程。尽管如今人工智能可以在几秒钟内生成此类代码，但作者认为这些课程依然至关重要。教育者不应将人工智能视为威胁，而应利用它快速构建各种全新的抽象工具（如音乐合成器或数据可视化工具），从而让学生保持创造力挑战。
其目标是将重心从容易诱发人工智能“走捷径”的枯燥重复性任务，转向能够让学生获得成就感与自我效能感的有意义项目。通过将高阶抽象作为创意表达的工具，教师可以激发学生的内在参与度，鼓励他们亲手编写代码——这并非因为他们缺乏人工智能助手，而是因为创作过程本身真实、具有表现力且充满乐趣。归根结底，利用大语言模型快速生成新工具，使教育者能够不断更新课程，从而确保每一位学生的学习体验都既有收获又独具个人色彩。
抱歉。
什么才能构成真正的帕累托前沿（Pareto frontier）？可比较的评分观察结果需要具备基准版本与拆分方式、指标方向、模型、评测框架或脚手架、推理预算、成本或延迟、发布日期以及来源等要素。只有兼容的配置才能共享一个评分前沿；目前的注册表仅存储了相关提及，而非这些具体测量值。如果有了这些观察结果，就可以采用“港口式”（Harbor-style）视图：将成本或延迟置于横轴，将评分置于纵轴，仅连接非支配观察结果，并利用发布时间滑块来展示前沿是如何随时间演变的。
抱歉。