a day ago
- Attended PLDI conference in Boulder, meeting many new people and engaging in research discussions.
- Participated in workshops on e-graphs and learned about Knuth-Bendix completion.
- Collaborated on implementing linear scan register allocation in Datalog.
- Attended talks on versioned e-graphs, streaming BPE tokenization, and compiler topics.
- Had informal coding sessions and social events with colleagues, including trying to implement Knuth-Bendix.
- Ended the conference with a book shopping spree and reading Anathem.