Who remembers Theoretical computer science?