（评论）

(comments)

原始链接: https://news.ycombinator.com/item?id=44084577

一个Hacker News帖子讨论了liamoc.net上关于域理论的讲义笔记。一位评论者称赞其清晰的表达，但质疑其内容是否超越了1982年的成果，尤其是在Andy Pitts在90年代探索的关于域的推理方面。另一位用户回应说，域理论的研究自90年代后期以来已经大大减缓，许多理论家退休或转行，同时也提到了Andy Pitts最近当选皇家学会会员。另一位用户回忆Liam O'Connor做过关于这个主题的系列讲座。讨论还链接到了用于构建网站的工具“forester”，以及其创建者Jon Sterling构建它的动机。