Formalization of QFT? / hacker news