programming.dev has been unavailable a couple of times recently, that’s what is probably happening.