Making Sense of Proof by Contradiction [pdf]
(news.ycombinator.com)
1.
2.
Show HN: A memory database that forgets, consolidates, and detects contradiction
(news.ycombinator.com)
3.
Mathematics for Computer Science (2024)
(news.ycombinator.com)