Current Issues in the Philosophy of Practice of Mathematics & Informatics