KNighter: Transforming Static Analysis with LLM-Synthesized Checkers | Hacker News Reader