When mathematicians Leland McInnes and John Healy walked into their work’s annual ā€œBig Digā€ — a sort of classified hackathon for Canada’s version of the National Security Agency — in 2017, they were ...