Bookmarks, 02018-01

Last month’s bookmarks from pinboard.in: