<p>What’s the difficulty/workload of CS164 with Paul Hilfinger compared with CS184 with James O’Brien?</p>