Full threadmmillin·Since others are using this as a forum to share great CS papers, here’s one of my favorites: Programming as Theory Building - Peter Naurhttps://pages.cs.wisc.edu/~remzi/Naur.pdfView on HN