Jarred还特意在blog里写了用Rust版本比Zig版本性能的提升，虽然只有不到5%，虽然binary size也只节约了10%。 看到后面就觉得，他在尝试从各个角度说明，zig全方位不行，就像小红书用户吐槽前任一样，连吐痰不洗脚不洗头爱打游戏全写进去了。 感觉是一次非常不体面的分手+吐槽前任现场，看得我想笑。

2026年了，好多人提起Jeff Deans，依然是什么O(1/n)的排序，什么报了error一定是编译器错了而不是他错了，什么在白板上证明了P=NP，什么能直接读和直接手写binary， 哪怕人人网都死了好几年了，感觉很多人对Jeff Deans的全部认知，来源于人人网时代转发包浆的那几个日志。 太他妈无聊了。

美股生物医药 FDA 催化剂 1. $OTLK Outlook Therapeutics 7月29日PDUFA：ONS-5010(贝伐珠单抗)用于湿性AMD，批准概率89%。BioRadar跟踪的下一个最近FDA决策。 2. $MNKD MannKind Corporation 7月26日PDUFA：FUROSCIX ReadyFlow自动注射器用于心衰/慢性肾病水肿，批准概率73%。给药时间从5小时压缩到10秒。 3. $CORT Corcept Therapeutics (7/11已过) Relacorilant用于铂耐药卵巢癌获FDA批准，ROSELLA试验显示PFS延长6.54个月，疾病进展风险降30%。 4. $CAPR / $JAZZ 8月待批 CAPR罕见病(85%概率)、JAZZ(93%概率)、ZYME一线胃癌(93%概率)均有高概率PDUFA即将到来。

法国：政治正确踢上了资金铁板 今年的戛纳电影节，最精彩的戏码不在银幕上，而在法国电影圈的后台。 前几天，包括大满贯影后朱丽叶·比诺什（Juliette Binoche）在内的600多名法国电影人，在《解放报》上发表了一封措辞激烈的公开信，炮轰法国媒体大鳄、右翼亿万富翁文森特·博洛雷（Vincent Bolloré）。艺术家们义正言辞地谴责博洛雷利用其旗下的法国最大收费电视台 Canal+ 等媒体帝国推行保守主义，甚至称其在对法国电影界实施“法西斯式的思想收割”。 然而，这群习惯了用“政治正确”指点江山的艺术家，这次踢到了铁板。 掌控 Canal+ 的CEO马克西姆·萨达（Maxime Saada）在戛纳的一场午餐会上直接掀了桌子。他公开回应：“既然你们把我们斥为隐性法西斯，那我们也没必要合作了。”萨达宣布，Canal+ 将无限期封杀这600多名在公开信上签字的电影人，拒绝为他们的任何后续作品提供资金或发行支持。 作为法国电影最大的“金主爸爸”，Canal+ 这一手定向精准打击，让原本高调的抗议现场瞬间变成了大型“翻车”现场。科技评论家皮埃尔·费拉古（Pierre Ferragu）调侃这幕大戏“简直荒谬得搞笑”：艺术家们试图用一封公开信联合“取消”资本家，结果却反手被资本家动用资本权力彻底“取消”。

最新福利：白嫖 OpenAI PRO 一年 这是 OpenAI 专门给高校研究型教职工和博士后的福利，通过验证后可免费拿 12 个月 Pro 级工作区，目前主要面向欧美等 OpenAI 服务正常开放的国家高校，审核比较严，中国大陆学术身份基本过不了 ✅ 12 个月专用 ChatGPT 工作区 ✅ Pro 级使用额度 + 前沿模型 + 高级工具 ✅ 最多邀请 4 名同机构成员一起用 ✅ 数据默认不用于训练 申请条件（缺一不可）： - 当前研究型教职或博士后 - 所在机构在支持名单内（有国家限制） - 用机构邮箱 + SheerID 完成学术认证 - 近 3 年在 arXiv / bioRxiv / ChemRxiv 有一篇你作为作者的论文 申请入口： 官方说明： 总结：SheerID 不好过，验证很严，目前国内用户想白嫖的话，还没有稳定可行的方法，看看后面有没有把...

菲尔兹奖得主王虹这张正装照片，会不会让国人破防啊？ 这是法国综合理工的校服，法国综合理工相当于法国国防科大，其礼服为对襟裁剪的双排金扣海军蓝外套、金色肩章、领口有金色“燃烧手榴弹”标志，女学员配有专用二角帽 Bicorne。 拿破仑亲自为学校题写了校训： ​“Pour la Patrie, les Sciences et la Gloire”（为了祖国、科学与荣耀） ​1804年，拿破仑向学校亲赐了军旗，使其成为法国极少数拥有独立军旗的高等学府之一，学校属于法国国防部。 王虹2007年高考从广西桂林考入北京大学地球学院的，大二转到数学系。她在北大数学系只待了三年，2011年本科毕业后，王虹火速去法国读研究生，之后到美国麻省理工读数学博士，先后去了加州大学洛杉矶分校和纽约大学，至今在海外一共15年，在北大只有3年，研究生及所有工作都在海外完成 邓煜2007年国际数学奥林匹克IMO金牌从广东深圳保送入北大数学系的。他在北大数学系只读了2年，不知道什么原因不读了，2009年火速转学至麻省理工学院读剩余本科，取得MIT本科学位。然后在普林斯顿读了博士，先后在纽约大学和南加大任教，现在在芝加哥大学 他至今在海外一共17年，在北大只有2年，研究生及所有工作也都是海外完成的 可见，他们二人当年在北大数学系，都出奇一致地没有完整的数学本科四年学历，更加没有留校读研究生，王虹三年后，邓煜两年后，都火速离开了北大，投入了海外学术的汪洋大海去，遨游至今十多年，并做出了骄人的成绩。 一句话，中国是能出好苗子的。但好土壤还是在海外。 有人说，要是没有北大数学系的培养，今天就没有邓煜、王虹获菲尔兹奖。 这个说法非蠢即坏。 是想把北大放在火上烤吗？ 如果当年王虹、邓煜不上北大，而是直接去MIT或者美国什么名校读数学本科，难道他们今天就获不了奖？ 北大是沾了他们的光，而并非北大造就了他们。 北大数学系只是一个育秧园，只能说北大招生办给力，能掐到好苗子，搁到自己的育秧田里。 苗子本身好，才是决胜因素。 在北大数学系出来的，又不止他们二人，为什么只有他们获奖？ 一句话，他们二人本身就强大。 不难想象，如果他们当年不出国，继续留在北大读研究生及任教到今天，顶多勉勉强强熬到教授，每天应付各种各样评比，能以第二作者拿个自然科学二等奖就谢天谢地了。 要客观评价北大数学系，不能贬低，也不能拔高。国内学术环境在不断变好，对北大袪魅，正当其时。

最近一直在找 Agent Dynamic Workflow 的替代方案。 一开始是沿着 Temporal 这条线找的。Temporal 很强，但如果只是想把 agent、脚本、数据处理、运维任务动态串起来，有时候会觉得整套体系有点重。 然后翻到了 Dagu，感觉方向很对。 单个 binary 就能跑，流程用 YAML 写，本地文件管理，带 Web UI，也不用额外起 DB 或 broker。 内置动作也挺多：shell、Docker、K8s Job、SSH 这些都有。比较惊喜的是还有 coding agent CLI 接进流程里。 我喜欢它的点是：流程本身就是文件，状态、日志、重试、依赖和界面都帮你兜住了。 对小团队、私有环境、个人自动化，还有 agent workflow 来说，Dagu 这种本地优先的路线反而很舒服。

别再把 Codex 只当聊天工具用了～ 装上这11个官方插件，Codex直接变成你的生产力外挂！ 别人还在手动做图、抠 PPT、抓数据…… 你已经一句话搞定海报、视频、数据分析和日程管理～ 下面我把每个插件的实际效果都录出来了，直接看效果～ 1️⃣视觉 & 设计神器 · Canva：一句话调用百万专业模板，海报、朋友圈图、封面秒出 · Figma：扔需求或代码，一键生成高保真可编辑设计稿 · HyperFrames by HeyGen：HTML/脚本自动渲染高质量视频 · Remotion：专业级视频动效和动画，效果直接拉满 2️⃣办公 & PPT狂魔 · Presentations：给个主题，自动生成高质量PPT初稿+完整大纲 · Spreadsheets：复杂公式、图表、数据分析一气呵成 3️⃣内容 & 数据深度工具 · Documents：长文章提炼、总结、写PPT脚本 · BioRender：科研/医学图表，秒出专业科学插图 · Windsor ai：一键拉全网营销数据并自动分析 4️⃣自动化王炸 · Chrome：Codex直接操控浏览器，自动读网页、抓数据、填表 · Google Calendar：自动创建会议、管理日程，排会效率翻倍 安装方式：Codex App → 左侧「Plugins」→ 搜索名称直接安装（30秒搞定）