Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- AI slop.by zetalyrae
- You can tell it's slop because of the way that it is.
The heading "The type system is gradual, and that is the whole design" is a dead giveaway.
Actually the whole "How young this is" section reads very LLM-y. Claude, I think? It's funny that LLMs have more distinctive authorial voices than so many people.
by MengerSponge - 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 :)
by podocarp - 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/). Types provide me with useful information before compiling, similar to what TypeScript does with JavaScript.by camilochs
- > 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-prop...
- I hope tex gets replaced by typst. It much more pleasurable to write in in my opinion.by cvanelteren
- I agree that Typst is nicer to write. The difference is simply in the approach. Typst replaces LaTeX and expects you to migrate, while ExactTeX is a strict superset. You can rename a `.tex` file to `.xtex`, keep the exact same output, and add checks only where you need them. It is meant for the existing papers, templates, and journal classes that are not going away. Typst works well if you can leave LaTeX behind. ExactTeX is for cases where you cannot or do not want to.by camilochs
- It seems every article about LaTeX is a rallying call for Typst fans to inject their opinion of how amazing Typst is into a largely unrelated discussion, instead of reading and commenting on the actual article.by MrVandemar
- I do not believe that writing native LaTeX code is difficult today, given the popularity of AI-assisted coding. In comparison, using a "compiler that outputs LaTeX code" may be less stable.by yiyu_earth
- It does not take some other language and compile it down to LaTeX. LaTeX itself is the source, and it goes through unchanged. What ExactTeX adds is a layer of checks and diagnostics based on the names and annotations you introduce. If anything, AI-assisted writing makes that layer even more valuable. Agents can generate LaTeX quickly, but they also make mistakes quickly, and an error like "Missing } inserted" is no more helpful to an agent than it is to a human.by camilochs
- I used to take notes in latex. I was fast enough to do it with snippets etc. Just skip over mistakes and fix them later. So for that application I think AI assistance would still be not very useful?
Also if you were to do assignments with latex it could be sketchy too if the class prohibits AI and you "fixed" your code with some AI help.
by podocarp - This is the first time I've read that LaTeX's problem was a lack of types.by esafak
- Types are just the mechanism. The real problem is the one fph pointed out: LaTeX reports errors in its own terms instead of the author’s, and review comments live somewhere else. Gradual typing is simply how the compiler can understand the names you introduce without pretending that all of LaTeX can be typed, because it can't.by camilochs
- But one of its problems surely is "horrible error messages", and this project addresses it, too.by fph