stilkov’s avatarstilkov’s Twitter Archive—№ 19,274

  1. Very impressive use of formal methods for distributed systems: adriancolyer/654685756468817920
    On twitter.com Twitter logo stilkov’s avatar ♻️ 4 Retweets ❤️ 12 Favorites Mood +3 🙂