Martin Gamsjaeger presents the axiom-driven development process his small fully-remote team shares with Markus Schirp: a written-only workflow grounded in universally-accepted truths (redundancy and inconsistency have no value, human attention is unstable, automation beats manual checks) from which five atomic commit-level transformations — remove, fix, refactor, change, add — and concrete CI-enforced constraints are derived. The talk sets the stage for Schirp's following talk on Mutant and mutation testing.
claude-opus-4-7be042194