Hacker News 中文摘要

OpenAI推出的Codex Security是一款命令行和TypeScript SDK工具，用于发现、验证和修复代码安全漏洞，支持仓库扫描、变更审查、追踪发现及CI安全检测，需Node.js 22和Python 3.10以上环境。

苹果iPhone升级计划允许用户每年以分期付款方式获得最新款iPhone，并可在12个月后免费升级至新机型，同时包含AppleCare+服务。

本文介绍了如何对eBPF代码进行性能分析，以文件打开操作为例，通过编写一个简单的C测试程序来测量eBPF钩子引入的性能开销，并识别潜在瓶颈。

UNA是一款可维修、可升级、可持续的模块化GPS手表，配备双频GPS、心率监测、USB-C充电和10天续航。其核心理念是当某个部件损坏时，无需更换整只手表，电池和传感器均可单独更换。

Anthropic研究人员利用Claude Mythos Preview发现了改进攻击密码算法的方法，包括削弱后量子数字签名方案HAWK和攻击简化版AES。这些是重要研究进展，但目前不影响任何生产系统。

GrapheneOS是一个开源项目，依赖个人、公司等捐赠维持运营，资金用于支付开发者、购买硬件、基础设施和法律费用，并列出多种捐赠方式。

亚利桑那州卡萨格兰德市一个名为“Deflock Casa Grande”的无党派公民运动，呼吁当地领导人对Flock监控摄像头（具备超越车牌识别的视频分析能力）实施明确规则、公众监督、审计和问责，以保障公共安全，防止大规模监控滥用。

Anthropeum是一个每日历史地理猜谜游戏，玩家需根据大都会博物馆的十件文物，猜测其制作地点和年代，得分基于准确度，并可与全球玩家比较排名。

该项目首次实现了3D网格相交的正式验证，使用Lean 4编写，核心规范仅93行，而AI编写的实现代码超1000行。人类只需审查规范并运行验证器，即可确保正确性，无需信任AI生成的代码。

Substack作者应建立独立网站，避免完全依赖平台。独立网站能提供更多控制权、品牌自主性和数据所有权，是长期创作的重要保障。