Full threadchombier·The PLDI talk is also available: https://www.youtube.com/watch?v=CJi_Fcs4bakView on HN