by diskmuncher on 8/30/20, 4:25 AM with 6 comments
by Tainnor on 8/30/20, 8:06 PM
As someone who has worked on a computer algebra system and knows what a pain it is to extract semantic meaning from e.g. LaTeX, I absolutely agree that a better format is needed to encode mathematics semantically. I just don't understand why they had to use a representation that is borderline unreadable and showcases XML's worst excesses.
by diskmuncher on 8/30/20, 4:28 AM
Why so little interest and activities?