Noperts: Reproducible proofs of non-Rupert polyhedra | Hacker News Reader