Hacker News Digest
· 6 黑客新闻
美国亚特兰大居民 Sam Tunick 因在机场安检期间，其运行 GrapheneOS 的 Google Pixel 手机自动擦除数据而被联邦检察官起诉。检方指控他故意销毁证据以阻碍执法，而辩护方则坚称这是隐私保护功能，且执法过程侵犯了宪法权利。此案发生在 Tunick 从多米尼加共和国返回时，因被怀疑与反对 Cop City 的运动有关而遭盘问。当执法人员要求其解锁手机并警告将没收时，设备在输…
受够了手动调整夏令时和断电后重置时间的廉价闹钟，我决定自己动手做一个完美的时钟。它不仅要能自动同步时间、显示红色七段数码管，还得运行在局域网内，甚至接入 HomeKit。起初我打算用 Arduino，但最终选择了 Raspberry Pi Zero W 配合 Debian 系统。然而，面对 I2C 通信和 Python 代码编写，我的技能储备捉襟见肘。于是，我求助于 LLM，利用 Claude…
world-model-optimizer 是一款强大的工具，能将你现有的 agent traces 转化为持续优化的动力。它通过蒸馏前沿开源模型，让你以不到一半的成本获得顶级质量的模型端点。结合世界模型模拟、元框架优化和模型蒸馏技术，它能自动构建并迭代你的智能体策略。无论是通过命令行快速部署，还是利用 E2B 沙箱进行安全评估，都能轻松实现模型性能的飞跃，让开发者专注于核心逻辑而非基础设施。
从 1969 年到 1991 年退休，John Backus 一直在探索应用式和函数式语言的演进。面对当时的软件危机，他试图超越 FORTRAN 和 PL/I 的局限，提出了一种基于组合形式而非传统赋值语句的编程范式。本文详细记录了 Red 语言从概念提出到初步实现的过程，包括 Dines Bjørner 和 Paul McJones 等助手的贡献。Backus 大胆指出传统计算机架构中的 vo…
Fonts In Use 是一个独立的字体应用档案库，收录了从音乐专辑封面到品牌标识、从电影海报到网页设计的海量真实案例。这里不仅展示了 Helvetica、Futura、Gotham 等经典字体的广泛用途，还按主题和格式分类，涵盖艺术、科技、时尚等数十个领域。无论是设计师寻找灵感，还是普通用户好奇字体背后的故事，这个平台都能提供丰富的视觉参考和深度洞察。
Wattage 是一款专为 AI 代理设计的 Token 消耗分析器与成本回归门禁工具。它无需配置文件或 API 密钥，完全离线运行，只需指向 OTLP JSON 格式的追踪数据，即可精准定位 Token 浪费点，实时计算美元成本，并提供修复建议。其核心亮点是 Convergence Engine，能识别传统精确匹配无法发现的无效循环与震荡模式。Wattage 还能集成到 CI 流程中，当代码变…