News for hackers. Stuff that matters.
Re:Legible Mathematics: Sketches of interactive arithmetic f... by contravariant on Monday February 24, 2020 @01:13PM (#22406611)
While I can see where the author is coming from, I have a couple of points where I disagree.

1. I've yet to see any automatically formatting system that's not extremely painful to work with.

2. Mathematical notation hasn't just been developed over 100s of years it is continuing to do so.

3. Units aren't labels.

There are no comments on this comment yet.