This often gets posted on HN but I am yet to see anything new or that deep. Their original paper is very light on detail [0]. Whatever objects you are working w

This often gets posted on HN but I am yet to see anything new or that deep. Their original paper is very light on detail [0]. Whatever objects you are working with in physics, is there some internal language or type theory that lets you describe physics? Seems like they want to take that kind of angle but haven't realised it. Until they have the machinery to do something kind of concrete, or at least produce some mathematics, seems like its just hand waving. [0] https://arxiv.org/pdf/1405.5563.pdf https://arxiv.org/pdf/1405.5563.pdf