3 ms·

The problem with latex is definitely not types, not unless you're maintaining hundred line macros and defs. I think one problem is just that it's hard to repres

The problem with latex is definitely not types, not unless you're maintaining hundred line macros and defs. I think one problem is just that it's hard to represent 2d stuff in 1d. Like let's not even talk about equations, what about drawing tikz? It's like writing regex, I don't want to touch it again after I'm done. Sometimes I rather just draw in inkscape and embed the PDF. Also, taste. It's still kind of a wild west so you see people using the italics d for derivatives instead of the differential operator upright bold form. I guess because it's hard to type those out compared to "d". There's probably a lot more, but this is the most common. Some common whiteboard things that are just not obvious when typing in latex. In any case it's good enough for what it is and with AI it will probably improve further, maybe I will just get it to fix all italics "d"s in the future so poor typesetting just gets fixed in post. That will probably enrage some people though :)

camilochs 28d ago
I added types because I wanted a better text editor for LaTeX; I was tired of using Overleaf, so I created Vitela (https://vitela.artificialfallibility.com/ https://vitela.artificialfallibility.com/). Types provide me with useful information before compiling, similar to what TypeScript does with JavaScript.
gucci-on-fleek 27d ago
> It's still kind of a wild west so you see people using the italics d for derivatives instead of the differential operator upright bold form. Upright and italic are both valid, but I don't think that I've ever seen a bold "d" used for an ordinary (scalar) derivative. I've seen it occasionally used for vector derivatives, but even that's rare. > I guess because it's hard to type those out compared to "d". This is intentional in many cases [0]. (But similar things like writing "sin" in italics is never okay and is just pure laziness.) [0]: https://tex.stackexchange.com/questions/14821/whats-the-proper-way-to-typeset-a-differential-operator#comment27485_14838 https://tex.stackexchange.com/questions/14821/whats-the-prop...

camilochs 28d ago

I added types because I wanted a better text editor for LaTeX; I was tired of using Overleaf, so I created Vitela (https://vitela.artificialfallibility.com/ https://vitela.artificialfallibility.com/). Types provide me with useful information before compiling, similar to what TypeScript does with JavaScript.

gucci-on-fleek 27d ago

> It's still kind of a wild west so you see people using the italics d for derivatives instead of the differential operator upright bold form. Upright and italic are both valid, but I don't think that I've ever seen a bold "d" used for an ordinary (scalar) derivative. I've seen it occasionally used for vector derivatives, but even that's rare. > I guess because it's hard to type those out compared to "d". This is intentional in many cases [0]. (But similar things like writing "sin" in italics is never okay and is just pure laziness.) [0]: https://tex.stackexchange.com/questions/14821/whats-the-proper-way-to-typeset-a-differential-operator#comment27485_14838 https://tex.stackexchange.com/questions/14821/whats-the-prop...