Do formal proofs have a place in software? Not likely – they do not fit into our systems of software engineering.
Category Archives: Software
Synthetic Management
Synthetic Management is the use of empirical and experience-based management practices to support synthetic work
What is does it mean to be “Synthetic”?
Interpreting what it means to be Synthetic
Software is Synthetic
Originally published at InfoQ
