Ask HN: What are some recent advances in operating systems / OS research?