How One Programming Language Rewrote Mathematics and Why Software Is Next | Dark Hacker News