4 ms·

I just pipe the input to "pdflatex" asynchronously (nodejs style). I'd check out CLSI. Thanks for sharing.