Full threadjustifier·Link to another lecture by this lecture, mentioned mid op, where the lecturer live codes an abstract interpreter like the one discussed in the ophttps://youtu.be/POvX4hYIoxgView on HN