ハードウェアに特化しすぎた奴は全部死滅しただろ。
トランスピュータ＋オッカムとか、コネクションマシン２＋C*/*Lispあたり。

求められているのはハードウェアにベッタリしすぎない抽象化されたモデル。