Andrej Bauer personal blog
Seemingly impossible functional programs (2007)
Andrej has invited me to write about certain surprising functional programs. The first program, due to Ulrich Berger (1990), performs exhaustive search over the “ Cantor space ” of infinite sequences of binary digits. I have included references at the end. A weak form of exhaustive search amounts to checking whether…
- Points
- 191
- HN comments
- 85
- Submissions
- 3
- Cited by
- 10 commenters
Math & AlgorithmsSoftware Engineering2021
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 28, 2021 | Seemingly impossible functional programs (2007) by federicoponzi | 191 | 45 |
| Jul 10, 2020 | Seemingly impossible functional programs (2007) by ogogmad | 87 | 23 |
| Nov 16, 2015 | Seemingly impossible functional programs (2007) by espeed | 81 | 17 |
Cited in comments
Linked from 11 Hacker News comments by 10 different people, from Mar 2010 to Oct 2023.
Most recent:
- valyagolev · Oct 11, 2023
- cruegge · Nov 1, 2022
- chas · Jul 30, 2021
- myWindoonn · Jul 16, 2021
- svat · Jan 11, 2020
- svat · Dec 10, 2018
