Find me on and .

Writing Topics applied category theory architecture design azure durable functions bigraphs category theory composition crdt cyclejs dependent types distributed systems graphql jquery kafka logging matrices milner order performance rails react refactoring signal flow graphs software engineering temporal trains type theory typescript vue web Most recent