每日HackerNews RSS

本文探讨了 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),使得每个指令边界本质上都是安全的。

抱歉。

**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)视图:将成本或延迟置于横轴,将评分置于纵轴,仅连接非支配观察结果,并利用发布时间滑块来展示前沿是如何随时间演变的。

抱歉。

更多

联系我们 contact @ memedata.com