4 ms·

I like that too :-) About superotimisation, the most visible person is John Regehr. He works with LLVM with his students. http://blog.regehr.org/archives/1246

• nickpsecurity 11y ago
  I'll keep an archive of that just in case. The approach described doesn't seem right, though. My old AI work suggested the best approach to this problem may be combination of these: patterns for common design specs and their implementations; constraints and constraint solving techniques for narrowing things down; heuristics for optimizations and unusual implementation situations. You give bare-bones of the design with some declarations about calling-convention, safety, ranges, data structures, and so on. The software fills in the blanks. Easier to describe than to do. Yet, there are already tool-sets that auto-generate a lot of code and you could say functional language compilers do that to a large degree. Could start with them and just add smarts/constraints. I'm sure there's people doing that right now somewhere.