Hacker News new | ask | show | jobs
by speters 1822 days ago
For DS and algos, formally proving properties of things would definitely be considerd an academic activity.