Hacker News 中文摘要

该文章介绍了一款名为“Air Theremin”的交互式音乐工具，用户可通过手势、手机陀螺仪或鼠标控制音高和音量，实现空中演奏。

该工具可对30年前的Sierra冒险游戏进行静态分析，自动发现并修复游戏中的软锁问题（即玩家仍可操作但无法通关的状态）。它通过反编译、抽象解释和守卫编译，无需针对特定游戏编写代码，已在四款游戏中验证有效。

fx是一个用Zig编写的小型开源编码代理CLI，二进制文件仅6.39MB，注重极简与高性能。它支持WebAssembly，冷启动仅需10微秒，内存占用极低，适合资源受限环境，且模型无关，可用于本地或云端推理。

GrapheneOS回应称，初始设备已支持某项功能，但需启用JavaScript才能使用Mastodon网页应用，或可尝试原生应用替代。

Modular宣布其AI平台正式投产，每秒处理数十亿token，并将Mojo 1.0完全开源，推出Modular Cloud服务，新增对AWS Trainium、Google TPU及高通AI加速器的支持，同时与微软合作推进Mojo原生Windows支持。

陶哲轩介绍了Palomar项目，这是一个Lean验证数学的注册表，旨在系统记录和追踪已用Lean证明的数学定理，推动形式化验证在数学领域的应用。

SoLo是一个针对静态Linux二进制文件的.so加载器，允许静态链接musl的可执行文件在运行时加载用户现有的glibc链接GPU驱动，无需容器或AppImage，通过ELF加载器和glibc ABI桥接实现。

从2026年1月到6月，Linear平台上各职能岗位的AI功能使用率均翻倍以上，其中产品岗从12%升至34%，市场岗从5%升至18%。报告基于平台内部数据，分析了AI如何改变团队工作流程和产出效率。

伦敦超低排放区实施后，科学家发现儿童因污染受阻的肺功能显著恢复。研究追踪3400名小学生，证明清洁空气区能减少污染对儿童肺部的伤害，降低哮喘等疾病风险。

Meta的一场重大诉讼案引发关注，其被指与大型烟草公司类似，可能面临类似的法律挑战和公众舆论压力。