I wrote my PhD Thesis in Typst

you are wrong. typst's lead dev has stated that an important goal is to have the CLI (which is open source) and web app behave identically, even refusing to implement such a basic feature as PDF embedding because, due to technical reasons, it is currently incompatible with this goal. [1]

typst, the project, is not by any means a "mix" of open and closed, even if typst, the company, is. indeed, the most thorough LSP implementation available (tinymist) is not only open source but a community project. for another funny example see typstify, a paid typst editor not affiliated with the company. [2]

[1]: https://github.com/typst/typst/issues/145#issuecomment-17531...

[2]: https://typstify.com/purchase/

I disagree. The web app editor is closed source, but much of what it provides is open source so editing is a similar (and imo better) experience locally. The typst compiler and LSP and everything you need to use it is open source.

Imo the situation is more like if overleaf were also the people who made the LaTeX project originally.

I think the only possible issue with the typst org dying (assuming after the full 1.0 version so it's mostly maintenance) is that packages are automatically downloaded from the typst site, but an open repo can trivially be made considering that the set of packages used is just from a open source git repo and the closed source site just hosts tar.gz files of the folders in the repo. Not a big deal I think.

> neglecting the open source part

So it's no different than fully open sourced projects.

> implementing critical features in the closed source portion

Like which critical features, for example?

I was a math major in undergrad, we care about typesetting so much because you really do not want to be stuck handwriting everything, but it's not easy to be faster typing than you are with handwriting when you're writing out rows and rows of equations. (Actually physics was generally a lot harder for me to keep up with while typing than math was.)

And when your life is revolving around classes or your thesis, the #1 most important thing to you in the world is how easily you can transfer your ideas to paper/digital format. It makes a lot of sense that people care a lot about the quality of their typesetting engine and exchange macro tips with each other (I got a lot of helpful advice from friends, and my default latex header was about 50% my own stuff and 50% copied from friends in my same major)

It's because LaTeX gives us a sense of legitimacy. (it's also why people go overboard with math notation in LaTeX documents, even when prose is more appropriate).

It produces documents that look like those produced by professors, and luminaries in the field. If you write equations in Word Equation Editor, your work just doesn't look very serious.

It's the same joy I felt when I laser-printed my first newsletter designed in Aldus PageMaker. I was only in my teens but I felt like a "professional".

A small, but important aspect of typesetting/WYSIWYM is the ability to break down a large document (like a thesis) into discrete sub-components. You could work on each section of your document in an individual .tex file and include it later in your top-level .tex file. This setup works well with VCS like git.

Another ergonomic benefit is scripting. For example, if I'm running a series of scripts to generate figures/plots, LaTeX will pick up on the new files (if the filename is unmodified) and update those figures after recompiling. This is preferable to scrolling through a large document in MS Word and attempting to update each figure individually.

As the size and figure count of your document increases, the ergonomics in MS Word degrade. The initial setup effort in LaTeX becomes minimal as this cost is "amortized" over the document.

I don't know about now but in 2000s anything even remotely math-related was PURE PAIN in Word-likes.

In my master's there were like 30 pages of formulas, all interdependent. Typing/retyping these would take forever.

Also, something as simple as having per-chapter files or working with an acceptable editor also helps.

Well during 5 years of undergrad reports and papers, then 5 years of PhD thesis papers, you do tend to hoard some useful snippets, it is more of a byproduct than a fixation... at least for me.

Not all of us fell into that trap! My dissertation was written almost entirely using a default document class and a handful of packages, and only towards the end did I apply the university document style to come into compliance. I had more than enough to do on the subject of the PhD and didn’t have the patience to burn time on typesetting or fiddling with macros.

I’ve found in the decades since then that my most productive co-authors have been the ones who don’t think about typesetting and just use the basics. The ones who obsess over things like tikz or fancy macros for things like source layout and such: they get annoying fast.

I wrote my joint med-CS honours (1 year research thing we have in Aus) thesis in Word. My med supervisor was happy with it. CS supervised insisted I reformat it in LaTeX as he couldn't stand the typesetting.

Honestly I don't disagree with him, it looked far better in 'TeX. But that's probably a learnt preference.

In essence, it's culture.

LaTeX typesetting is a solved problem. Memoir or Classic Thesis, paired with microtype, provide outstanding results and you need to spend zero time on tweaking stuff.

Typst is interesting, but it doesn't yet support all microtypography features provided by microtype. IMHO, those make a big difference.

From watching people write their thesis in both latex and word, I'd say if anything it is the other way around. The people who write their thesis in word (or another wysiwyg editor) spend more time on their layout than the people writing in latex. Worse, they spend the time while writing, while latex allows for separation of tasks, which allows people to get into the flow much more easily.

Sure, theoretically you can only concentrate on writing with word and ignore layout. In practice in takes a lot of discipline so instead you see people moving figures around putting spaces or returns to move a heading where they want to etc.. In particular as a way to procrastinate from actual writing.

>> Why do CS doctoral candidates have such a fascination with typesetting?

Probably because Donald Knuth created TeX and Leslie Lamport created LaTeX.

Two of the greatest minds in Computer Science created the tools and used them to write papers and articles that are beautiful.

Elegant ideas presented beautifully make reading and writing papers a nicer experience.

Here it's typical that a thesis will be printed as a book, and it's that book that will be evaluated. For PhDs, there's a doctoral defence in front of a committee, peers and other interested parties and they're all given the book.

Usually the process for ordering books is that you send them a PDF with embedded fonts inside it, and it's made at the university's printing house. They will handle distribution etc. So you really, really want it to look right at the first go.

There's been some progress the past few years now where you get to preview the book somewhat, but one surefire way to get it right is to use something like LaTeX. It used to be one of few WYSIWYG solutions out there. And it used to be really hard to do certain required things in e.g. Word. For instance skipping some page numbering and doing others in roman numerals etc.

I guess monks were procrastinating likewise when they illuminated their manuscripts.

The typesetting is finished whenever you want it to be. I spend most of my time thinking about the content.

> Why do CS doctoral candidates have such a fascination with typesetting?

Same reason wantrepreneurs have a fascination with adding dark mode to their CSS. It feels productive while you avoid the real work.

I have often thought that LaTEX' distinctive font and formatting is either a virtue signal or an in-group signal.

I find it odd too. The fascination with typesetting limits the paper’s usability on narrower devices which seems a very strange position for engineers.

> Why do CS doctoral candidates have such a fascination with typesetting?

Why does anyone care about typesetting? Probably because they spend a lot of time working with text and have therefore developed a level of taste.

Just because the bottom 80% of consumers have zero taste and will accept any slop you give them doesn't mean there isn't value in doing something only appreciated by the top 20%. In any field, not just typesetting. Most people have ~no refined endogenous preferences for food, art, music, etc.

The definition of insanity is doing the same thing twice and expecting different results.

By coincidence, this is the basic way to compile latex.

Absolutely not a perfect solution, and maybe you're already using it within your Makefiles, but for anyone who doesn't yet know about it there's Latexmk[1] which is supposed to automate all of this hassle. I think at least on Debian it's included with texlive-full. In addition it has some nice flags like `-outdir` which lets you send all the crazy LaTeX intermediate build/aux files to a separate directory that's easy to gitignore.

https://mgeier.github.io/latexmk.html#running-latexmk

I think I used to understand this, but it's been a long time since I had to write any serious LaTeX, so I don't anymore. I found this snippet in my personal _quick-build-latex_ script from over a decade ago:

    if [ -z "$(find . -name "*.bib" -print0)" ]; then
        # Just two runs, to cover TOC building, etc.
        pdflatex -interaction=nonstopmode "$SOURCE_FILE" && \
        pdflatex -interaction=nonstopmode "$SOURCE_FILE"
    else
        pdflatex -interaction=nonstopmode "$SOURCE_FILE" && \
        bibtex "$SOURCE_FILE" && \
        pdflatex -interaction=nonstopmode "$SOURCE_FILE" && \
        pdflatex -interaction=nonstopmode "$SOURCE_FILE"
    fi

So I guess if you're using bibtex, then you need to run it three times, but otherwise only twice?

This is to say... I'm glad those days are gone.

Just use Tectonic nowadays for compiling LaTeX source. It automatically handles these cases of compiling multiple times.

Printing is still not uncommon in professional scientific environments. When you actually have to read a paper, it turns out that actual paper is quite convenient.

Typst looks good, but I'm actually going back to LaTeX but paired with Claude Code in VS Code.

I took a hiatus from LaTeX (got my PhD more than a decade ago). I used to know TikZ commands by heart, and I used to write sophisticated preambles (lots of \newcommand). I still remember LaTeX math notation (it's in my muscle memory, and it's used everywhere including in Markdown), but I'd forgotten all the other stuff.

Claude Code, amazingly, knows all that other stuff. I just tell it what I want and it gets 95% of the way there in 1-2 shots.

Not only that, it can figure out the error messages. The biggest pain in the neck with LaTeX is figuring out what went wrong. With Claude, that's not such a big issue.

mitex is an option [1]. There's no way I could learn another notation, at this point.

[1] https://typst.app/universe/package/mitex/

I understand why people like using LLMs for coding, saves them having to think, but it is deeply frustrating to see it being such a crutch that some people cannot use new tools without it.

I suppose the issue is not new, many people didn't want to use new lanuages before because they couldn't copy snippets from the internet, but it was frustrating then too.

Well, they are good in markdown and rust. Perhaps feeding some Typst documentation overview into the prompt could solve it?

To be fair $x^2=1$ literally works in typst.

I'm always worried about LLMs unintentionally affecting the actual content, so the extra effort of carefully reviewing the diff just isn't worth it. Markdown + PanDoc is more sensible to me if your document is simple enough.

Jesus

These are some notes I wrote when I started out with typst when comparing with LaTeX:

1. It doesn't generate 5 bloody files when compiling.

2. Compiling is instant.

3. Diagnostics are way easier to understand (sort of like Rust compiler suggestion style).

4. List items can be either - item1 - item2, etc. or [item1], [item2]. The latter is way better because you can use anchoring to match on the braces (like "%" in vim), which means navigating long item entries is much easier.

5. In latex you have the \document{...} where you can't specify macros so they need to be at the top, in Typst you can specify the macros close to where you need them.

6. It's easier to version control and diff, especially if you use semantic line breaks.

7. Changing page layout, margins, spacing between things, etc., footers with page counters, etc. just seems way easier to do.

It's not even fine. It's old and it shows also in the functionality, and I say this as a rather heavy LaTeX user. For example, Unicode support is atrocious. A few years ago I had to include some Hebrew and Russian words in a document that was otherwise in Latin alphabet, and it was hell.

I'm not a vim user but my understanding is that it has native Unicode support. Software with old-school UI but adapted to current needs (or where needs just didn't change) is fine, but it's not the case of LaTeX.

I appreciate your postscript. I don't use TeX or vim out of nostalgia; I didn't discover TeX until I was a senior in undergrad, and I think I didn't discover vim until after I finished my Ph.D. I use vim because it seems best for its tasks, given the way I think (though maybe I think that way because I'm old). I use TeX because I write math for a living and have invested a huge amount of time using it, so that it's become intuitive to me even though I know it wouldn't be for a newcomer, and I can't be bothered to break long-established habits until I know an alternative will be established everywhere TeX is.

Well yeah but the point is that unlike other pieces of 70s tech, LaTeX has no suitable alternative in its class (at least until now :p), meaning a FOSS software to produce high quality typesetting with an emphasis on maths.