Our thoughts on building software: verification, embedded and IoT systems, data architecture and how engineering work gets done.