Programming as Theory Building is one of my favorite papers, and @baldur's riff on it here is also great: https://www.baldurbjarnason.com/2022/theory-building/

That book is definitely going on my readlist. (Hopefully I'll actually get around to reading it eventually...)