Looks like there is a new procedure for day hike permits for Half Dome, but just for October. Sounds like it might be due to changes at Rec.gov (maybe they don't have the staffing to deal with the daily lottery in Oct?)
https://www.nps.gov/yose/planyourvisit/hdpermits.htm