R1CS: A Day in the Life of a Few Equations | Hacker News Reader