The link to the livestream of Hal Devins' funeral is available here.