You might want to generate this code with the latest trick for evaluating multiv...

		sword_smith on Nov 25, 2022 \| parent \| context \| favorite \| on: I spent 4 months generating proofs for Brainfuck p... You might want to generate this code with the latest trick for evaluating multivariate polynomials: https://news.ycombinator.com/item?id=33740808