Roundup for July 19

I’m a bit late on this roundup, so you get some links I’ve been collecting for a few days.