Gauss, an Agent for Autoformalization / hacker news