作者介绍了一款名为 **Kuna** 的实验性“代理优先”（agent-first）反编译器，该工具是在大语言模型的显著辅助下开发的。尽管 Kuna 的代码很大程度上由 AI 编写，但其控制流构建能力已足以媲美 IDA Pro 等行业标准工具。
Kuna 的性能得益于“自主优化”策略，即大语言模型通过反复研究和学习 Ghidra、IDA Pro 和 angr 等成熟反编译器的表现来改进其输出。事实上，Kuna 可以被看作是 Ghidra 的 Rust 语言进化版，并融合了最初为 angr 开发的核心功能。
作者强调，该项目并非“自动化研究”，而是依赖于人类主导的科学洞察、有效指标的选择以及多年的逆向工程专业知识。虽然 Kuna 在结构化方面展现出了潜力，但作者也承认这仍处于实验阶段，在类型分析和变量识别等领域仍有大量工作要做。该项目与现有的研究生态系统紧密相连，证明了在人类科学原则的指导下，人工智能驱动开发所蕴含的潜力。作者诚邀社区探索代码库，并为持续的优化过程做出贡献。
每日HackerNews RSS
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Kuna：人工智能编码时代的反编译开发 (noelo.org)
12 点，由 matt_d 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
fishfasell 37 分钟前 | 下一条 [–]
如果能用智能体来解读函数名和变量名会很酷。它跟踪数据流的速度比人类快得多，所以如果能提供一些上下文，也许它能为这些内容合成更有意义的名称。回复
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
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`。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
面向程序员的逻辑学，作者：Hillel Wayne (logicforprogrammers.com)
31 分，由 _doctor_love 发布于 3 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
欢迎申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
请求被拦截
此资源在您所在的地区不可用。
我现在该怎么办？
建议您返回主页，并使用页面上的搜索框进行搜索。
美国国家科学基金会（NSF）启动了一项名为“I-PhD”的试点项目，旨在规范化为期四年的博士培养路径，并将行业研究实习纳入其中。该项目通过卡内基梅隆大学、加州大学圣地亚哥分校和哥伦比亚大学等知名学府与英伟达、拜耳等大型企业建立合作，为学生提供学术与企业双导师指导。
该计划的资金来源包括政府每年为每位学生提供的37,000美元资助，以及行业合作伙伴每年为每位学生提供的至少100,000美元投入。
此消息在Hacker News上引发了讨论。一些用户对该模式表示赞赏，指出德国等国家类似的培养结构成功地帮助毕业生快速适应行业角色。然而，怀疑论者对四年制的时限提出质疑，认为这对于博士水平的研究来说时间不足，且有沦为现有硕士学位项目的风险。其他评论者则对项目的透明度表示担忧，认为它可能成为将公共资金输送至私有、非公开研究的渠道。总体而言，该试点项目反映了弥合学术博士培养与私营部门需求之间差距的广泛努力。
这篇文章介绍了一个关于科普特魔法中天使角色的系列内容，将天使定义为由火与灵构成的非物质存在，充当神圣的信使。在古典时代晚期及中世纪早期的埃及，天使在官方基督教礼仪和私人魔法实践中均处于核心地位。
科普特魔法文献常取材于多种来源——包括希腊-埃及纸草文书、犹太仪式传统及早期基督教伪经——以此对天界等级进行划分。虽然这些文献偶尔会提及如伪狄奥尼修斯所描述的那种正式等级体系，但其重点始终在于天使名号的保护力量，以及这些存在能为修习者提供的助力。
这些文献中常见的形象包括二十四位长老、四活物以及各类大天使。修习者出于不同目的祈求这些存在，特定的天使往往专司不同的任务：例如，二十四位长老常被祈求用于治愈，而像塔耳塔洛斯看守者（Tartarouchos）这类惩戒天使则会被用于诅咒。本系列的后续文章将探讨特定的天使，及其在科普特符咒与法术中的角色与表现形式。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
科普特魔法中的天使（一）：导论 (uni-wuerzburg.de)
5 分，由 jruohonen 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
正在检查您的浏览器...需要启用 Javascript。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
一家佛蒙特州的连锁药店利用人工智能提高效率 (vtdigger.org)
4 积分 由 omerhj 发布于 27 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请开放至 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
请启用 JavaScript 和 Cookie 以继续。
Waveform Security 近期的一项分析研究了 Flume 水位监测器所使用的 915 MHz 无线协议，结论显示其安全实现出人意料地稳健。
在随后的 Hacker News 讨论中，用户 Oliveaniss 强调了这一发现的重要性，指出确认系统安全性与发现关键漏洞的研究具有同等价值。此类评估有助于区分“隐蔽式安全性”（security-through-obscurity）与基于可靠威胁模型构建的产品。
讨论指出，尽管射频协议本身可能是安全的，但更广泛的生态系统（包括密钥管理、设备配置和云基础设施）往往仍是物联网设备的潜在薄弱环节。普遍的共识是，验证“良好的”安全性为行业提供了一个有用的基准。
请提供您需要翻译的内容。
Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
入门级住房库存积压，豪华住宅却热销（zillow.com）
3 分，toomuchtodo 发布于 30 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
soared 4 分钟前 [–]
仅仅根据价格来定义入门级住宅纯属诱导点击。标题的说法总体上是正确的，对某些城市也适用，但对许多城市而言并不准确。文中完全没有提及销量——处于“入门级住房”这一大区间的房屋数量与处于前 5% 这一小区间的房屋数量分别是多少？
无论如何，即使把它们统称为低成本住房，也支持了这个论点：更多关于 K 型经济的数据。回复
考虑申请 YC 2026 年秋季班！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
本文探讨了在嵌入式系统和实时流处理等资源受限环境中，用于平滑噪声数据的递归滤波器。这些滤波器因其 $O(1)$ 的内存和计算需求而备受青睐，能够实现即时状态更新，无需大型缓冲区。
作者重点介绍了三种主要技术：
* **简单移动平均 (SMA)：** 一种直观的方法，对最近的 $k$ 个样本进行平均。虽然在降低噪声方面有效，但它需要缓冲区并会引入滞后。
* **指数移动平均 (EMA) / 一阶低通滤波器：** 一种“泄漏积分器”，通过平滑因子 ($\alpha$) 来平衡响应速度与噪声抑制。它是大多数流数据处理的首选方案。
* **一维卡尔曼滤波器 (1D Kalman Filter)：** 一种更复杂的方法，它根据预定义的传感器噪声 ($R$) 和过程噪声 ($Q$)，动态调整对先前状态与新测量值之间的信任度。
本指南强调，虽然 SMA 和 EMA 足以应对基础的平滑需求，但一维卡尔曼滤波器为处理自适应、不稳定的数据提供了原则性的方法。这些方法为任何需要低延迟、计算高效信号处理的开发者提供了一套实用的工具箱。
```Hacker News新帖 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交登录递归滤波器：SMA、EMA、低通滤波器和微型卡尔曼滤波 (staszewski.xyz)7 分，作者 kamilstaszewski，1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
Show HN：一个用于并行 Claude Code 代理的本地合并队列 Show HN: A local merge queue for parallel Claude Code agents
10 小时前
**Claude Code Merge Queue** 是一款零成本的本地工具，旨在序列化并行智能体（agent）任务，从而避免推送冲突、冗余构建以及测试不稳定性。与 GitHub 仅限企业版使用的合并队列不同，该工具在本地机器上运行，消除了云端构建的成本和延迟。
该系统通过一个简单的 `claude-code-merge-queue.config.mjs` 文件来管理分支、构建产物和测试需求。主要功能包括：
* **序列化合并：** 先进先出（FIFO）队列确保智能体按顺序提交代码，保持历史记录整洁。
* **工作树集成：** 通过钩子（Hooks）允许智能体创建隔离的“通道”用于测试和构建。
* **安全防护：** 通过预推送（pre-push）钩子防止直接向受保护分支推送代码，并提供用于手动覆盖的“紧急出口”。
* **崩溃安全锁：** 利用 PID 活跃度监测来管理锁，确保不会因僵尸进程导致队列阻塞。
* **自动化：** 与 `CLAUDE.md` 集成，使智能体能够自主解决冲突、运行测试并在通过后合并代码。
该工具专为提升效率而设计，而非针对对抗性安全。它是一种基于规范的强大工具，旨在简化自动化开发工作流，无需人工干预或消耗昂贵的 CI 时长。
开发者“funador”发布了一款本地合并队列工具，专为在资源受限的硬件上运行多个并行 Claude Code 代理的用户设计。
该创作者在 8GB 内存的 MacBook Air 上处理每天 90 次提交时遇到了困难，并发的构建和测试导致系统频繁崩溃，并产生了高昂的持续集成（CI）成本，因此开发了该方案。通过将提交按顺序排队并在本地进行测试，该工具在无需持续依赖云端 CI 反馈的情况下，有效防止了系统过载。
在讨论中，有评论指出，虽然本地队列是解决资源限制的巧妙方法，但他们更倾向于使用 CI 进行独占锁定，因为这样可以避免占用开发者机器资源，且扩展性更好。不过，对于使用轻量级硬件的用户来说，这款本地合并队列提供了一种应对高频 AI 驱动开发的实用替代方案。
作者曾崇拜一位名叫 Bob 的传奇 Facebook 工程师，他曾主导开发了 Facebook 群组等重要功能。作者原本期待能从他身上学到高效工作的进阶秘诀，却惊讶地发现 Bob 只使用最基础、未经配置的文本编辑器，甚至没有调试器或实时重载等现代工具，仅仅依靠简单的 `printf` 语句来排查问题。 尽管作者一直沉迷于自己那套复杂且优化过的开发环境，但在黑客松中，Bob 的表现却远超所有人。这次经历给作者带来了一次谦卑的顿悟：他太执着于「如何」完成工作，以至于忽略了「构建什么」的重要性。 这个故事说明了一个在软件工程乃至其他领域永恒的道理：虽然新的工具和流程总是在承诺提高效率，但它们终究次于产品直觉以及解决正确问题的能力。真正的精通不在于工具配置的复杂程度，而在于能否清晰地产生实质影响。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
生产力幻象 (frantic.im)
10 分，msephton 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
考虑申请 YC 2026 年秋季批次！申请截止日期为 7 月 27 日。
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：