Yair Kuznitsov and the Million-Hour Problem

An audit full of screenshots helped send Yair Kuznitsov from security engineering into entrepreneurship. The Anecdotes co-founder is still working on the same question: how much time should people spend proving what their software already knows?