"Programming as Theory Building" still relevant on the AI age.

https://news.ycombinator.com/item?id=10833278