2 ms·

I don't know this book in particular, but I know the author from their writing about "Intellectual Control", which is extremely insightful: https://www.georgef

• 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 ago
    Some 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 ago
      Validation 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.