Hacker News Reader

No, he wrote a fairly decent language called Croma while he was in HS and it is what is still powering auctomatic today.

I think Auctomatic uses Seaside (http://www.seaside.st).