August 22, 2016 by Chris | Web Bookmarks in email, functional, mentalhealth, programming, psychology, spam Bookmarks for August 22nd Loneliness Is a Warning Sign to Be Social – Facts So Romantic – Nautilus – tamarind – Tamarind: a web service for managing throwaway mail aliases. – F*: A Higher-Order Effectful Language Designed for Program Verification –