OPC 📰
2026-05-23 | 自动收集
1. 为什么我们提交了公民投票
一个社区组织详细说明了他们为什么选择通过公民投票的方式来推动政策变革，包括对现有制度的不满和改变的必要性。
- 来源: Hacker News
2. 睡眠研究导致了新的睡眠呼吸暂停药物
经过数十年的睡眠研究，科学家们终于开发出了一种新的睡眠呼吸暂停症治疗药物，为数百万患者带来希望。
- 来源: Hacker News
3. 将一台笔记本电脑运往乌干达难民营
一个感人的故事：如何将一台笔记本电脑安全运送到乌干达的难民营，帮助那里的人们获得教育和联系外界的机会。
- 来源: Hacker News
4. Models.dev：开源 AI 模型规格、价格和能力数据库
Models.dev 是一个开源的 AI 模型数据库，汇总了各种 AI 模型的规格、价格和功能对比，帮助开发者快速选择合适的模型。
- 来源: Hacker News
5. Project Glasswing：初始更新
一个名为 Project Glasswing 的项目发布了初始更新，详细介绍了项目的目标、技术架构和未来计划。
- 来源: Hacker News
6. Apple corecrypto 形式化验证蓝图
一份关于如何对 Apple corecrypto 进行形式化验证的详细蓝图，展示了使用正式方法验证核心加密库安全性的方法论。
- 来源: Hacker News
7. 域名伪装的注入攻击在多智能体 LLM 系统中逃避检测
研究人员发现了一种新型攻击方式：通过域名伪装的注入攻击可以在多智能体 LLM 系统中成功逃避安全检测。
- 来源: Hacker News
8. 开源 Kanban 桌面应用，在每个卡片上运行并行智能体
一个开源的桌面 Kanban 应用程序，可以在每个任务卡片上启动并行的 AI 智能体，提高工作流效率。
- 来源: Hacker News
9. 用数组语言思考（2022）
一篇关于数组语言（如 APL、J、K）编程范式的经典文章，介绍了如何用数组思维方式来解决问题。
- 来源: Hacker News
10. TorQ：Kdb+ 生产框架
TorQ 是一个基于 Kdb+ 的生产级框架，专为金融数据处理和分析设计，提供了完整的生产工具链。
- 来源: Hacker News
11. Bun 支持现已有限并弃用
Bun 宣布其某些支持功能已有限并处于弃用状态，建议开发者迁移到替代方案。
- 来源: Hacker News
12. 1940 航空终端博物馆开始清算
1940 航空终端博物馆因资金问题开始清算流程，这个记录了早期航空历史的博物馆面临关闭危机。
- 来源: Hacker News