ExactTex. A gradually-typed superset of LaTeX

(github.com)

23 points | by camilochs 4 days ago ago

6 comments

  • yiyu_earth 3 minutes ago ago

    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.

  • cvanelteren an hour ago ago

    I hope tex gets replaced by typst. It much more pleasurable to write in in my opinion.

    • MrVandemar 43 minutes ago ago

      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.

  • esafak 2 hours ago ago

    This is the first time I've read that LaTeX's problem was a lack of types.

  • zetalyrae 3 hours ago ago

    AI slop.

    • MengerSponge 5 minutes ago ago

      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.