Archived tweet #8467 from the @leastfixedpoint Twitter Archive

@mjambon I figured out how to use a type system I'm codesigning to enforce capability discipline in closed broadcast networks!