Some ideals for fediverse platform design

A little thread I wrote on masto after watching this talk by Bret Victor and reflecting on their stated ideals for how computing ought to be designed.