Hacker News Reader

Comment by ykonstant | Hacker News Reader

Μy favorite example of mathematical typesetting on the web. I sent them some emails asking for directions to mimic their design for my personal webpage, but did not get any replies. My crude attempt at web mathematics in that style is here: https://ykonstant1.github.io/power-draft.html

But I would love if they made a tutorial or blog post describing in simple terms how to get a design like that going; many many professors could incorporate that and make mathematical resources much easier to access for students. I always have an online Class Diary for my classes, and my students would love to have rendered equations directly in the webpage.

View on HN

Stacks project is available on github, so in theory (if you're bored enough) it should be possible to reverse engineer their design from their make-project file https://github.com/stacks/stacks-project/blob/master/documen...

At a high level they use plastex https://github.com/plastex/plastex to convert latex to html (you seem to be using pandoc?) and so can control the rendering to any fine accuracy they want. I liked this general style as well, so I tried using plastex but couldn't get my head around it and so started using LateXML https://github.com/brucemiller/LaTeXML

My usecase: I wanted to have a "dependency graph" of lemmas to make it easier to see proofs without having to jump back and forth through a pdf, and this was sort of similar to lean formalization blueprint graphs https://teorth.github.io/pfr/blueprint/dep_graph_document.ht... (which also uses plastex) but without the lean parts. There's still a lot of work to be done, but I think I have a pretty okay implementation using latexml which meets 50% of my requirements for now, so I'm happyish https://texviz.arsricharan.in/ghrss24/

If you are already using LaTeXML, it is also easy to get the ar5iv rendering (example article: https://ar5iv.labs.arxiv.org/html/1910.06709)

You can either copy the CSS asset from: https://github.com/dginev/ar5iv-css

and add "--css=ar5iv.css --nodefaultresources" to the command line options for latexmlpost (or latexmlc).

Or alternatively, for people not interested in learning how to install and configure latexml, they can try the self-contained Dockerfile at:

https://github.com/dginev/ar5ivist/

Reply on news.ycombinator.com