Programming as Theory Building · HackerTrans