Ask HN: How is theory of computation being used in the comp sci industry? | Dark Hacker News