At 9:59AM EDT, the website said 300 permits. At 10:00AM, once the page had reloaded, the website said R, meaning, "fully reserved." It would seem to have sold out in less than 5 seconds.
So, unless anyone else was able to get permits, no Half Dome this year. Oh well.