Ask HN: High-level math, useful? · HackerTrans