leastfixedpoint

Archived tweet #8226 from the @leastfixedpoint Twitter Archive
@cmeik Very cool! So some of the bugs then are not *implementation* bugs but perhaps actual protocol bugs?