Programming languages, the infinite garden, and great storytelling. Building Dave, a permissionless fraud-proof system.