Travel notes: PLDI Bouldera day agoresearchPLDIconferencehttps://bernsteinbear.com/blog/travel-notes-pldi-boulder/?utm_source=rssCopy Link参加了在博尔德举行的PLDI会议，结识了许多新朋友，并进行了研究讨论。参与了关于e-graphs的研讨会，学习了Knuth-Bendix完备化算法。合作在Datalog中实现了线性扫描寄存器分配。听取了关于版本化e-graphs、流式BPE分词和编译器相关主题的讲座。与同事进行了非正式的编码聚会和社交活动，包括尝试实现Knuth-Bendix算法。会议结束时疯狂购书，并阅读了《Anathem》。