Yorkin Blog · notes and ideas about PLDI