Linking pages
- GitHub - hwayne/awesome-cold-showers: For when people get too hyped up about things https://github.com/hwayne/awesome-cold-showers 909 comments
- An empirical study on the correctness of formally verified distributed systems | the morning paper https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/ 17 comments