I am obsessed by the topics of correctness, explainability, and observability in complex distributed software systems. [bridged from https://mathstodon.xyz/@Axolotl_Logic on the fediverse by https://fed.brid.gy/ ]