Programming as Theory Building (1985) [pdf](algoritmos-iii.github.io)132 points by solomonb 3 years ago | 24 comments
![Screenshot of algoritmos-iii.github.io: Programming as Theory Building (1985) [pdf]](https://hn.urlbox.com/shots/renders/2023/8/26/8479adfe-3365-42a9-8747-2da46d0edc24.jpg)