Kofi Gumbs writes software, both professionally and for pleasure in his leisure time. By day, he works at HubTran, using test-driven development wherever he can. By night, he theorizes how to make those tests unnecessary — using declarative systems with strong guarantees.