Ask HN: Does anyone know if Vernor Vinge is still writing?

Vernor Vinge is one of the best SF writers of the last few decades. I know he retired as a math professor, but does anyone know if he’s retired from writing too? It’s been quite a while since his last book.