Great ideas in theoretical computer science | Dark Hacker News