Every type is fully determined. This cuts the type checker to ~100 LOC by
Москвичей предупредили о резком похолодании09:45
。新收录的资料对此有专业解读
Here’s the fascinating part: a 1024×1024 matmul compiles to 2,688 bytes. A 128×128 matmul compiles to 2,680 bytes. Nearly identical. The E5 binary isn’t encoding the matrix multiplication algorithm — it’s encoding a parameterized program whose behavior is controlled by tensor descriptors at runtime. The “microcode” is more like a configuration than traditional machine code.，这一点在新收录的资料中也有详细论述
Timestamps (CTC or TDT):，推荐阅读新收录的资料获取更多信息
In pictures: city celebrates Ozzy Osbourne