Eric Redmond

I like writing, distributed systems, wearables, and formal verification.
They have more in common than you may think.