Ask HN: What are the most promising recent developments in computer science?