Re:KaTeX – The fastest math typesetting library for the web
by gspr on Sunday October 11, 2020 @10:16AM
(#24745945)
> I think this is more akin to construction workers asking for blueprints rather than cad models.
No, because those aim to express the same thing, albeit with different limitations and practical considerations. Code and math are entirely separate things.
> As someone who hasn't actively done formal math in a couple of decades the slog of relearning syntax to read papers about code can be off putting.
Surely the syntax is an incredibly minor part of it all?
> However code is really the lingua franca we use as an industry but in papers it is treated exactly as you say a nice addition.
Code is an implementation detail. Papers express ideas, not implementations.
Re:KaTeX – The fastest math typesetting library for the web
by arthur2e5 on Sunday October 11, 2020 @10:10AM
(#24745893)
Not quite the same field, but see https://news.ycombinator.com/item?id=24649992 for an article about PLT (programming language theory) notation.
As someone who hasn't actively done formal math in a couple of decades the slog of relearning syntax to read papers about code can be off putting. I understand that this makes me a barbarian. However code is really the lingua franca we use as an industry but in papers it is treated exactly as you say a nice addition.