3 ms·
I think this is more akin to construction workers asking for blueprints rather than cad models. As someone who hasn't actively done formal math in a couple of
by c0nfused 6y ago
I think this is more akin to construction workers asking for blueprints rather than cad models.
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.
- arthur2e5 6y agoNot quite the same field, but see https://news.ycombinator.com/item?id=24649992 https://news.ycombinator.com/item?id=24649992 for an article about PLT (programming language theory) notation.
- gspr 6y ago> 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.