News for hackers. Stuff that matters.
Re:On the Madness of Optimizing Compilers by carussell on Tuesday March 08, 2016 @03:14AM (#11244069)
See also: http://cr.yp.to/qhasm/literature.html

> The programmer using such a system will write his beautifully-structured, but possibly inefficient, program P; then he will interactively specify transformations that make it efficient.

Re:On the Madness of Optimizing Compilers by bijection on Tuesday March 08, 2016 @03:23AM (#11244100)
Halide is a neat example of this approach in an image processing context [1] [2]

[1] http://halide-lang.org/

[2] https://people.csail.mit.edu/jrk/jrkthesis.pdf "Decoupling Algorithms from the Organization of Computation for High Performance Image Processing"