Imagine a rewrite of TeX and handing out a Knuth-style check for every bug found... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		oefrha on Oct 7, 2019 \| parent \| context \| favorite \| on: Tectonic – TeX/LaTeX Engine in Rust Imagine a rewrite of TeX and handing out a Knuth-style check for every bug found.

hprotagonist on Oct 7, 2019 [–]

the only obvious choice of language, of course, would be TLA+

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact