Eigenstuff with diagrams: string diagrams as specification language for matrices | Hacker News Reader