4 ms·

Oh hell, I knew David and even worked with him for a time. It's quite a shock to read of his death on HN.