3 ms·A bit of a shame that the Miniconf talk he linked to was taken down on this old post.by wyclif 6y agoA bit of a shame that the Miniconf talk he linked to was taken down on this old post.