摘要

原文摘要：一个真实用户被“幽灵”制裁名单冻结账号，苹果明知是误伤却拒绝解封。本期聊这些： 苹果账号被冻结：误匹配到美国商务部名单上一条幽灵条目，那个“Sean Byrne”是2009年假名，美国司法部早承认其不存在，苹果却坚持“完全匹配”。 AI优化GPU内核：参赛者用Codex在14天里迭代出比基准快232倍的内核，期间像管理实习生一样和AI协作，但换到别的问题就跑不动了。 能“听出形状”的鼓面模拟器：任意闭合形状都能求解振动模式，还能听到那对著名的同谱鼓——形状不同，声音完全一样。 微积分教学之争：有人主张用微分而非导数组织课程，把严格极限证明挪到末尾，引发关于“无穷小能不能当数除”的百年旧账。 从AI写代码的真实边界，到冷战导弹科学家的神秘失踪，还有更多冷门话题，欢迎收听。

原始内容

一个真实用户被“幽灵”制裁名单冻结账号，苹果明知是误伤却拒绝解封。本期聊这些：

苹果账号被冻结：误匹配到美国商务部名单上一条幽灵条目，那个“Sean Byrne”是2009年假名，美国司法部早承认其不存在，苹果却坚持“完全匹配”。

AI优化GPU内核：参赛者用Codex在14天里迭代出比基准快232倍的内核，期间像管理实习生一样和AI协作，但换到别的问题就跑不动了。

能“听出形状”的鼓面模拟器：任意闭合形状都能求解振动模式，还能听到那对著名的同谱鼓——形状不同，声音完全一样。

微积分教学之争：有人主张用微分而非导数组织课程，把严格极限证明挪到末尾，引发关于“无穷小能不能当数除”的百年旧账。

从AI写代码的真实边界，到冷战导弹科学家的神秘失踪，还有更多冷门话题，欢迎收听。