title: When is theoretical computer science useful?
body: <p>In class, we learned about the halting problem, Turing machines, reductions, etc. A lot of classmates are saying these are all abstract and useless concepts, and there's no real point in knowing them (i.e., you can forget them once the course is over and not lose anything).</p>
  
  <p>Why is theory useful? Do you ever use it in your day-to-day coding? </p>