Occasional notes on scientific machine learning, formal mathematics and research computing.https://benkeene.dev/