The friction of writing code manually used to force careful design. AI removes that friction, including the beneficial friction. The answer is not to slow AI down. It is to replace human friction with mathematical friction: let AI move fast, but make it prove its work. The new friction is productive: writing specifications and models, defining precisely what “correct” means, designing before generating.
14:12, 3 марта 2026Мир
，更多细节参见体育直播
→ compiler₁: lambda calculus + integers
代码里最“不明觉厉”的部分来了：