This is my small corner of the internet: useful links I revisit and short posts I do not want to lose in social timelines.