Chronotope’s Twitter Archive—№ 75,962

RT cryptocatapp: Cryptocat has been using a formally verified messaging protocol implementation for the past 10 months. More to be present…