Programming as Theory Building (by Naur of BNF)26 points by gruseomRead the articleDiscussion on Hacker News