2 ms·
Good read. Thanks for sharing. I feel that this article goes really well with it. https://johnwhiles.com/posts/programming-as-theory https://johnwhiles.com/po
by chanux 2y ago
Good read. Thanks for sharing.
I feel that this article goes really well with it.
https://johnwhiles.com/posts/programming-as-theory https://johnwhiles.com/posts/programming-as-theory
- gfairbanks 2y agoSome folks read Peter Naur's Programming as Theory Building [1] and become zealots. I'm that kind of person. His ideas are woven through my recent talks [2]. Via years of essays, I've been building to a vision of how to build software that I'm calling Continuous Design that's partly stitched together in this overview [3]. [1] Gwern on Peter Naur's Programming as Theory Building, which includes Naur's essay and related comments. https://gwern.net/doc/philosophy/epistemology/index#naur-1985-section https://gwern.net/doc/philosophy/epistemology/index#naur-198... [2] https://www.youtube.com/playlist?list=PLRqKmfi2Jh3uoMnZdaWmC36BJve1vgPBi https://www.youtube.com/playlist?list=PLRqKmfi2Jh3uoMnZdaWmC... [3] Continuous Design, https://www.georgefairbanks.com/ieee-continuous-design/ https://www.georgefairbanks.com/ieee-continuous-design/
- chanux 2y agoValidation of highest order! Thank you for the reply. I finally read the full original text of Programming as Theory Building. Thanks for your writing as well. As the OP said, the Intellectual Control essay is extremely insightful.