Hacker News Reader

Theoretical Computer Science - at least that must be standard terminology among computer scientists?!?

I've only ever seen it spelled out "theoretical CS". There is GOFAI, though.