Rayon 最值得研究的，不是它把 .iter() 换成 .par_iter() 之后看起来多轻松，而是它如何把数据并行里最核心的矛盾，即任务拆分、负载均衡与同步成本，压缩进一种足够高效又足够安全的默认模型里。

loom 最值得研究的，不是它能不能帮你找到一个并发 bug，而是它如何把那些几乎不可能靠常规测试稳定复现的调度路径，压缩进一个可枚举、可解释、可验证的模型里。

Polars 最值得研究的地方，在于它把数据处理从“脚本里操作表格”推进成了“面向现代 CPU 和查询优化器的执行系统”。真正拉开差距的，并不是语法层面的快慢，而是整套数据布局、执行模型和优化路径都被重新组织过了。

Miri 最值得研究的，不是它能不能把一段 Rust 代码跑起来，而是它如何把那些平时几乎看不见、也很难靠经验稳定复现的未定义行为，强行拉进一个可观察、可解释、可验证的执行空间里。