4 ms·

TIL / unconscious reference on my part, super interesting! Link for the curious: https://pages.cs.wisc.edu/~remzi/Naur.pdf https://pages.cs.wisc.edu/~remzi/Nau

TIL / unconscious reference on my part, super interesting! Link for the curious: https://pages.cs.wisc.edu/~remzi/Naur.pdf https://pages.cs.wisc.edu/~remzi/Naur.pdf

dang 1y ago
With lots of HN threads over the years! Naur's "Programming as Theory Building" and LLMs replacing human programmers - https://news.ycombinator.com/item?id=43818169 https://news.ycombinator.com/item?id=43818169 - April 2025 (129 comments) Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=42592543 https://news.ycombinator.com/item?id=42592543 - Jan 2025 (44 comments) Programming as Theory Building (1985) - https://news.ycombinator.com/item?id=38907366 https://news.ycombinator.com/item?id=38907366 - Jan 2024 (12 comments) Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=37263121 https://news.ycombinator.com/item?id=37263121 - Aug 2023 (36 comments) Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=33659795 https://news.ycombinator.com/item?id=33659795 - Nov 2022 (1 comment) Naur on Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=31500174 https://news.ycombinator.com/item?id=31500174 - May 2022 (4 comments) Naur on Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=30861573 https://news.ycombinator.com/item?id=30861573 - March 2022 (3 comments) Programming as Theory Building (1985) - https://news.ycombinator.com/item?id=23375193 https://news.ycombinator.com/item?id=23375193 - June 2020 (35 comments) Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=20736145 https://news.ycombinator.com/item?id=20736145 - Aug 2019 (11 comments) Peter Naur – Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=10833278 https://news.ycombinator.com/item?id=10833278 - Jan 2016 (15 comments) Naur’s “Programming as Theory Building” (2011) - https://news.ycombinator.com/item?id=7491661 https://news.ycombinator.com/item?id=7491661 - March 2014 (14 comments) Programming as Theory Building (by Naur of BNF) - https://news.ycombinator.com/item?id=121291 https://news.ycombinator.com/item?id=121291 - Feb 2008 (2 comments)

TIL / unconscious reference on my part, super interesting! Link for the curious: https://pages.cs.wisc.edu/~remzi/Naur.pdf https://pages.cs.wisc.edu/~remzi/Naur.pdf

dang 1y ago

With lots of HN threads over the years! Naur's "Programming as Theory Building" and LLMs replacing human programmers - https://news.ycombinator.com/item?id=43818169 https://news.ycombinator.com/item?id=43818169 - April 2025 (129 comments) Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=42592543 https://news.ycombinator.com/item?id=42592543 - Jan 2025 (44 comments) Programming as Theory Building (1985) - https://news.ycombinator.com/item?id=38907366 https://news.ycombinator.com/item?id=38907366 - Jan 2024 (12 comments) Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=37263121 https://news.ycombinator.com/item?id=37263121 - Aug 2023 (36 comments) Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=33659795 https://news.ycombinator.com/item?id=33659795 - Nov 2022 (1 comment) Naur on Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=31500174 https://news.ycombinator.com/item?id=31500174 - May 2022 (4 comments) Naur on Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=30861573 https://news.ycombinator.com/item?id=30861573 - March 2022 (3 comments) Programming as Theory Building (1985) - https://news.ycombinator.com/item?id=23375193 https://news.ycombinator.com/item?id=23375193 - June 2020 (35 comments) Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=20736145 https://news.ycombinator.com/item?id=20736145 - Aug 2019 (11 comments) Peter Naur – Programming as Theory Building (1985) [pdf] - https://news.ycombinator.com/item?id=10833278 https://news.ycombinator.com/item?id=10833278 - Jan 2016 (15 comments) Naur’s “Programming as Theory Building” (2011) - https://news.ycombinator.com/item?id=7491661 https://news.ycombinator.com/item?id=7491661 - March 2014 (14 comments) Programming as Theory Building (by Naur of BNF) - https://news.ycombinator.com/item?id=121291 https://news.ycombinator.com/item?id=121291 - Feb 2008 (2 comments)