[video] IDP-Z3: A truly declarative approach to programming | Dark Hacker News