Ask HN: What book to read to get a footing in CS theory?