Про правильные методы оптимизации и генерации софта

[wizzard]

https://github.com/eschkufz/stoke-release

beginning from binaries compiled by llvm -o0 for 64-bit x86, our prototype implementation, stoke, is able to produce programs which either match or outperform the code produced by gcc -o3, icc -o3, and in some cases, expert handwritten assembly.

Не, понятное дело что для больших программ это не годится. И для мест, где важна корректность - тоже.

Но, эммм, что-то мне этот суровый инженерный подход кажется жизнеспособным гораздо больше, чем лабораторные изыски, как показал прошлогодний ICFPC.