Here's a chapter in the making on two very different philosophical positions and computer programming. I engage with Linnebo and Shapiro in connection with classical logical and potential infinity.
Discussions will be held at a Lille workshop in June 2022. A revised chapter will appear in the book What is a computer program? New perspectives, edited by PROGRAMme (i.e., by Liesbeth De Mol, Tomas Petricek, and the rest of the PROGRAMme community).
[Last update: early morning of 15 June 2022: latest draft attached; work in progress]