Just a problem statement and initial idea which isn't
that new, but could be interesting if he actually implements it.
There have been many failed systems that hinged
on "sufficiently smart compilers". Some have been thread-parallel machines (like the Tera MTA, shipped 1998) and some have been VLIW/MIMD, like Multflow (shipped 1987). And Itanium.