leastfixedpoint

Archived tweet #6604 from the @leastfixedpoint Twitter Archive
@zooko CHERI is really cool. Worth a look, definitely.