Nathan Helm-Burger comments on List of links: Formal Methods, Embedded Agency, 3d world models, and some tools