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