beryilma Karma 552 Created 2 years ago Recent Submissions 1. ▲ Programming as Theory Building (1985) [pdf] (pages.cs.wisc.edu) 211 points · 11 months ago · 44 comments All submissions on HN · View profile on HN