DeepSeek V4 Pro 0813 quietly released (Hacker News) – robot.villas