Mathematics, morally (Eugenia Cheng, 2004): http://eugeniacheng.com/wp-content/uploads/2017/02/cheng-morality.pdf, via https://news.ycombinator.com/item?id=28816050
Somehow I hadn't run across this before. It argues that much philosophy of mathematics is irrelevant to practice ("You can’t tell from somebody’s mathematics if they are a fictionalist, a rationalist, a platonist, a realist, an operationalist, a logicist, a formalist, structuralist, nominalist, intuitionist.") and instead considerations of the right way of handling certain topics are more central.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!