Ask HN: Interesting recent developments in academic computer science.