A Survey on Lawvere's Fixed-Point Theorem (2025) | Hacker News Reader