2021 Usenix talk by Barrelfish researcher, "It's Time for Operating Systems to Rediscover Hardware", 90 comments, https://news.ycombinator.com/item?id=28374523