Writing that changed how I think about programming languages
a year ago
- #optimization
- #compilers
- #programming-languages
- Andy Wingo的简易半空间收集器使Cheney复制/压缩垃圾收集器变得实用且易于理解。
- CF Bolz-Tereick的《实现玩具优化器》引入转发指针以重写指令，取代了查找替换方法。
- CF Bolz-Tereick的《玩具优化器的已知位抽象域（正确版）》使用Z3作为Python代码的证明引擎和验证器。
- Chris Fallin的《Cranelift第3部分：寄存器分配的正确性》主张通过单一输入验证崩溃或分配正确性。
- Russ Cox的《正则表达式匹配：虚拟机方法》用50行代码实现揭秘正则引擎与协程。
- Andrej Karpathy的《micrograd》提供无依赖库的神经网络实现，降低机器学习门槛。
- Fil Pizlo的《SSA形式实现方法》引入联合查找的Identity标签，节省空间并提出Phi/Upsilon形式及TBAA风格堆效应。
- Fil Pizlo的《JavaScriptCore的推测优化》详解JSC优化器运作与Fil的优化哲学。
- Chandler Carruth的《Carbon工具链的现代化编译器设计》阐释激进编译时预算与分层编译器架构。
- Allison Kaptur的《用Python编写的Python解释器》解析字节码解释器与CPython内部机制。
- Eli Bendersky的《通过优先级攀升解析表达式》提供比递归下降更简单的解析方案。
- Takashi Kokubun的《Ruby JIT挑战》展示利用物理寄存器虚拟栈实现寄存器分配的新方法。
- Abdulaziz Ghuloum的《编译器构建的渐进式方法》将编译器简化为单遍逐特性实现。
- Fernando Borretti的《编写编译器的经验教训》强调条纹式编译器实现策略。
- 论文《egg：快速可扩展的等式饱和》通过生成全表达式版本并择优拓展优化器思维。
- Chris Fallin的《Cranelift：用E图验证协作的中端优化》展示E图在生产编译器中的实用性。
- Phil Zucker的《无环E图与智能构造器》探索无环E图，随时间推移深化见解。
- Bob Nystrom的Reddit评论与Adrian Sampson的《扁平化AST》探讨紧凑AST存储及并行抽象解释可能性。