Valen 的内存安全：一种新型借用检查
Evan Ovadia 讲解 group borrowing，一种针对 Valen 的借用检查设计，它允许对同一对象不同部分的引用共存，并解释它如何将 shared-xor-mutable 放宽为 no use-after-free。
编译器
更多 编译器
首页零化，第一部分：擦除可能使情况更糟
从内存中清除密钥比调用memset更难。优化器有权删除该写入，存储可能不会保留，而向编译器隐藏它也有其代价。关于正确实现零化的系列文章第一部分。
老鼠的寄存器分配器
一个小型寄存器分配器的逐步讲解，从活跃区间和冲突到固定寄存器与溢出。该设计更注重清晰性而非吞吐量，意在作为一份配方来阅读，而不是一个库。
Gleam 不再编译为 Erlang 源代码
Gleam 过去会编译为 Erlang 源码并交给 erlc 处理。1.19 版本改为直接生成 BEAM 字节码。这篇文章解释了这样做带来了什么好处、为什么没有一路做到 BEAM 汇编，以及这一改动带来的优化。
真的补集是真的，除非它是假的
在C++中，~true的结果是true，这并非大多数人所预期。本文深入探讨其原因，涵盖无作用域枚举的整型提升、按位取反，以及该行为不再有良好定义的情形。
让 Futhark 远离 GPU
Futhark通常将数组程序编译为GPU内核，但某些工作负载在许多CPU核心上运行得更好。本文以稀疏雅可比计算为例，介绍当目标平台是CPU而非GPU时，编译器需要做出哪些改变。
用哪些硬件来考 DARPA MOCHA 的编译器
MOCHA 想让编译器快速适配从没见过的异构加速器，那测试基准怎么选？SEI 列出五个筛选维度与九项候选硬件，并请各团队自己推举目标，最终落在 AMD RDNA 4 与 Tenstorrent Tensix 上。
只想算个 1+1，结果写了一门函数式编程语言
作者拿到一道把算术表达式转成二叉树的数据结构作业，顺手写成了一个求值器，几天后就有了闭包、垃圾回收、自定义内存分配器、REPL 与 FFI。全文带 C 代码逐步讲清楚。
为Kotlin多平台模块提供更可靠的编译方案
Kotlin 2.5.0-Beta1 为 KMP 引入实验性分离编译，解决 IDE 与编译器分析不一致问题并支持公共源集增量编译。
同步Rust GCC后端，或如何验证墨菲定律
Rust GCC 后端与 Rust 仓库同步耗时两个月，git subtree 在大型仓库上表现不佳，墨菲定律全程应验。
用 Brainfuck 写光线追踪器
用 BF 语言从零实现光线追踪器，以 Q16.16 定点数表示 double，代码在 mTvare6/rayfuck。