Hacker News new | ask | show | jobs
by Tainnor 2112 days ago
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.