Do formal proofs have a place in software? Not likely – they do not fit into our systems of software engineering.
Author Archives: JohnRauser
Collaboration Calculus
Two of my favourite books show us the yin and yang of success – the individual and the team. Dan Pink’s Drive describes three key areas of motivation and personal growth: Autonomy: The desire to be self-directed Mastery: The urge to get better skills Purpose: The need to work with meaning Meanwhile, in David Marquet’s Turn the ShipContinue reading “Collaboration Calculus”
The Seven Forms of “Not Waste”
Lean makes a big deal about looking for waste, but does that make sense? Let’s talk about things that add value
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
