Most of Reddit is a cesspool, but I always get really excited when there's something new in /r/dependent_types.