每日HackerNews RSS
Thanatos Rising
2 天前
抱歉。
作者介绍了一款名为 **Kuna** 的实验性“代理优先”（agent-first）反编译器，该工具是在大语言模型的显著辅助下开发的。尽管 Kuna 的代码很大程度上由 AI 编写，但其控制流构建能力已足以媲美 IDA Pro 等行业标准工具。
Kuna 的性能得益于“自主优化”策略，即大语言模型通过反复研究和学习 Ghidra、IDA Pro 和 angr 等成熟反编译器的表现来改进其输出。事实上，Kuna 可以被看作是 Ghidra 的 Rust 语言进化版，并融合了最初为 angr 开发的核心功能。
作者强调，该项目并非“自动化研究”，而是依赖于人类主导的科学洞察、有效指标的选择以及多年的逆向工程专业知识。虽然 Kuna 在结构化方面展现出了潜力，但作者也承认这仍处于实验阶段，在类型分析和变量识别等领域仍有大量工作要做。该项目与现有的研究生态系统紧密相连，证明了在人类科学原则的指导下，人工智能驱动开发所蕴含的潜力。作者诚邀社区探索代码库，并为持续的优化过程做出贡献。
抱歉。
Python 的 `all` 函数等价于：`all(l) = l[0] && l[1] && l[2] ...` 它具有一个特定的性质：对于任意两个列表 `xs` 和 `ys`，我们知道：`all(xs . ys) == all(xs) && all(ys)`。 但这适用于任何两个列表，也包括空列表！如果我们令 `ys = []` 会发生什么？此时 `xs . [] == xs`，这意味着： `all(xs) && all([]) == all(xs . [])` `all(xs) && all([]) == all(xs)` 如果 `all([]) = True`，那么该等式变为 `all(xs) && True == all(xs)`，即 `all(xs) == all(xs)`。如果 `all([]) = False`，那么它变为 `all(xs) && False == all(xs)`，这意味着无论 `xs` 是什么，`all(xs)` 都等于 `False`。因此，为了保持这一性质，令 `all([]) = True` 更为合理。我们称 `True` 为 `&&` 的单位元：无论 `p` 是什么，都有 `p && True == p`。顺便提一下，同样的论证也解释了为什么空列表的和为 0，以及空列表的 `any` 为 `False`。
请求被拦截
此资源在您所在的地区不可用。
我现在该怎么办？
建议您返回主页，并使用页面上的搜索框进行搜索。
抱歉。
这篇文章介绍了一个关于科普特魔法中天使角色的系列内容，将天使定义为由火与灵构成的非物质存在，充当神圣的信使。在古典时代晚期及中世纪早期的埃及，天使在官方基督教礼仪和私人魔法实践中均处于核心地位。
科普特魔法文献常取材于多种来源——包括希腊-埃及纸草文书、犹太仪式传统及早期基督教伪经——以此对天界等级进行划分。虽然这些文献偶尔会提及如伪狄奥尼修斯所描述的那种正式等级体系，但其重点始终在于天使名号的保护力量，以及这些存在能为修习者提供的助力。
这些文献中常见的形象包括二十四位长老、四活物以及各类大天使。修习者出于不同目的祈求这些存在，特定的天使往往专司不同的任务：例如，二十四位长老常被祈求用于治愈，而像塔耳塔洛斯看守者（Tartarouchos）这类惩戒天使则会被用于诅咒。本系列的后续文章将探讨特定的天使，及其在科普特符咒与法术中的角色与表现形式。
正在检查您的浏览器...需要启用 Javascript。
抱歉。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
请提供您需要翻译的内容。
抱歉。
本文探讨了在嵌入式系统和实时流处理等资源受限环境中，用于平滑噪声数据的递归滤波器。这些滤波器因其 $O(1)$ 的内存和计算需求而备受青睐，能够实现即时状态更新，无需大型缓冲区。
作者重点介绍了三种主要技术：
* **简单移动平均 (SMA)：** 一种直观的方法，对最近的 $k$ 个样本进行平均。虽然在降低噪声方面有效，但它需要缓冲区并会引入滞后。
* **指数移动平均 (EMA) / 一阶低通滤波器：** 一种“泄漏积分器”，通过平滑因子 ($\alpha$) 来平衡响应速度与噪声抑制。它是大多数流数据处理的首选方案。
* **一维卡尔曼滤波器 (1D Kalman Filter)：** 一种更复杂的方法，它根据预定义的传感器噪声 ($R$) 和过程噪声 ($Q$)，动态调整对先前状态与新测量值之间的信任度。
本指南强调，虽然 SMA 和 EMA 足以应对基础的平滑需求，但一维卡尔曼滤波器为处理自适应、不稳定的数据提供了原则性的方法。这些方法为任何需要低延迟、计算高效信号处理的开发者提供了一套实用的工具箱。
抱歉。
Show HN：一个用于并行 Claude Code 代理的本地合并队列 Show HN: A local merge queue for parallel Claude Code agents
2 天前
**Claude Code Merge Queue** 是一款零成本的本地工具，旨在序列化并行智能体（agent）任务，从而避免推送冲突、冗余构建以及测试不稳定性。与 GitHub 仅限企业版使用的合并队列不同，该工具在本地机器上运行，消除了云端构建的成本和延迟。
该系统通过一个简单的 `claude-code-merge-queue.config.mjs` 文件来管理分支、构建产物和测试需求。主要功能包括：
* **序列化合并：** 先进先出（FIFO）队列确保智能体按顺序提交代码，保持历史记录整洁。
* **工作树集成：** 通过钩子（Hooks）允许智能体创建隔离的“通道”用于测试和构建。
* **安全防护：** 通过预推送（pre-push）钩子防止直接向受保护分支推送代码，并提供用于手动覆盖的“紧急出口”。
* **崩溃安全锁：** 利用 PID 活跃度监测来管理锁，确保不会因僵尸进程导致队列阻塞。
* **自动化：** 与 `CLAUDE.md` 集成，使智能体能够自主解决冲突、运行测试并在通过后合并代码。
该工具专为提升效率而设计，而非针对对抗性安全。它是一种基于规范的强大工具，旨在简化自动化开发工作流，无需人工干预或消耗昂贵的 CI 时长。
对不起。