Hacker News Reader

I am not a mathematician. But there is also a JSON representation [0] besides XML. As an exchange format between pieces of software, isn't it usable?

[0] https://www.openmath.org/standard/om20-2019-07-01/omstd20.ht...

View on HN

No, that is just as bad. It's not about them using XML, it's about incorporating the worst aspects of XML culture by making everything overly abstract and unreadable. This problem persists in the JSON representation.

I agree with the other comment that it would have been better to look at e.g. theorem provers or maybe even at something like Mathematica.

Reply on news.ycombinator.com