Forwarded from The Sky Was Pink
妈妈只希望你不要再碰编译器了，找个正经工作踏踏实实的过日子。找个好对象让妈妈早点抱上孙子。你研究编译器这些年，家里的钱都被买书和上课耗光了，爸爸担心你天天就知道研究多级JIT和MLIR，愁得头发都白了。
前几天妈妈给你发的外卖红包，其实是你爸偷偷让我发的，你爸这个人嘴上说你是废物，心里还是怕你饿着的。唉，十个做编译器的，九个都卡在了部分求值那里。你要是当初老老实实写业务代码，现在该有多好啊。
儿啊，妈妈不是要你当什么编译器专家，能写个不会爆栈的解释器就行。但是编译器这东西不是光会用 LLVM TableGen 就能吃饭的，如果压力太大，我们先放一放好不好？先别研究什么渐进式类型系统和二阶多态了，回家来吃个饭，我们好好聊聊，看看以后该怎么办。你都快30了，除了会写点无副作用IR还会啥啊？天天就知道在 compiler-research.org 上讨论 WebAssembly GC 提案。
你见过谁真靠写编译器发财了？都是那些形式化验证专家骗你学的！小时候的你多可爱啊，现在整天对着电脑调试依赖类型和线性类型系统，连个像样的中端优化都没写出来。上次你跟我说在搞 profile-guided optimization，我还以为你终于去做性能优化工作了，结果是在研究什么超级编译和部分求值。
你看看你的代码仓库，做了一半的程序综合器，还在纠结要不要实现 refinement type。那个基于 LLVM MIR 的后端写了三个月了还在段错误，连个完整的垃圾回收器都跑不起来。整天就知道读 Sophisticated Compiler Construction 和研究 Cranelift，连个像样的死代码消除都实现不了。我问你工作找得怎么样，你就给我讲什么 MLIR Dialect 和 Polyhedral 优化。
最近在研究什么 verified compiler 和形式化证明，整天就知道玩 Coq 和 Agda。那个量子计算后端优化写到一半就扔那儿了，毕设做的那个基于 WASM 的 AOT 编译器到现在还是个 Hello World。过两天你爸退休了有空，你要是有空就回来看看，别让他担心。妈再给你转200，你买点水果回来，别又拿去买什么 Principles of Program Analysis 和 Advanced Compiler Design 了。
隔壁老王家的儿子都在字节跳动用 MLIR 优化深度学习框架了，你还在这研究什么零成本抽象和代码特化，能不能靠这个吃饭都不知道。整天就知道写 CFG 分析，连个像样的循环优化都做不出来，光知道看那些 whole program optimization 的论文。
前几天妈妈给你发的外卖红包，其实是你爸偷偷让我发的，你爸这个人嘴上说你是废物，心里还是怕你饿着的。唉，十个做编译器的，九个都卡在了部分求值那里。你要是当初老老实实写业务代码，现在该有多好啊。
儿啊，妈妈不是要你当什么编译器专家，能写个不会爆栈的解释器就行。但是编译器这东西不是光会用 LLVM TableGen 就能吃饭的，如果压力太大，我们先放一放好不好？先别研究什么渐进式类型系统和二阶多态了，回家来吃个饭，我们好好聊聊，看看以后该怎么办。你都快30了，除了会写点无副作用IR还会啥啊？天天就知道在 compiler-research.org 上讨论 WebAssembly GC 提案。
你见过谁真靠写编译器发财了？都是那些形式化验证专家骗你学的！小时候的你多可爱啊，现在整天对着电脑调试依赖类型和线性类型系统，连个像样的中端优化都没写出来。上次你跟我说在搞 profile-guided optimization，我还以为你终于去做性能优化工作了，结果是在研究什么超级编译和部分求值。
你看看你的代码仓库，做了一半的程序综合器，还在纠结要不要实现 refinement type。那个基于 LLVM MIR 的后端写了三个月了还在段错误，连个完整的垃圾回收器都跑不起来。整天就知道读 Sophisticated Compiler Construction 和研究 Cranelift，连个像样的死代码消除都实现不了。我问你工作找得怎么样，你就给我讲什么 MLIR Dialect 和 Polyhedral 优化。
最近在研究什么 verified compiler 和形式化证明，整天就知道玩 Coq 和 Agda。那个量子计算后端优化写到一半就扔那儿了，毕设做的那个基于 WASM 的 AOT 编译器到现在还是个 Hello World。过两天你爸退休了有空，你要是有空就回来看看，别让他担心。妈再给你转200，你买点水果回来，别又拿去买什么 Principles of Program Analysis 和 Advanced Compiler Design 了。
隔壁老王家的儿子都在字节跳动用 MLIR 优化深度学习框架了，你还在这研究什么零成本抽象和代码特化，能不能靠这个吃饭都不知道。整天就知道写 CFG 分析，连个像样的循环优化都做不出来，光知道看那些 whole program optimization 的论文。
有私人飞机的群友们注意了，2025 年 3 月 2 日至 3 日、3 月 10 日至 12 日期间，除特殊紧急情况外（低油量、急救、应急救援等），北京首都国际机场将不接收非会议公务机航班停场服务需求。
https://github.com/vercel/geist-font/releases/tag/1.5.0-alpha
Geist Sans 开始支持 italic 了，Geist Mono 还没有（
Geist Sans 开始支持 italic 了，Geist Mono 还没有（
GitHub
Release 1.5.0-alpha · vercel/geist-font
Changelog
This alpha release brings major updates to the Geist font family:
⚠️ This is an alpha release because Mono Italics are not yet included. Final 1.5 release will follow once they're re...
This alpha release brings major updates to the Geist font family:
⚠️ This is an alpha release because Mono Italics are not yet included. Final 1.5 release will follow once they're re...