Geoffrey K. Pullum personal blog
Scooping the Loop Snooper (2000)
No general procedure for bug checks will do. Now, I won’t just assert that, I’ll prove it to you. I will prove that although you might work till you drop, you cannot tell if computation will stop. For imagine we have a procedure called P that for specified input permits you to see whether specified source code, with…
- Points
- 80
- HN comments
- 46
- Submissions
- 2
- Cited by
- 10 commenters
Software EngineeringProgramming Languages2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 23, 2024 | Scooping the Loop Snooper (2000) by soferio | 80 | 15 |
| Mar 23, 2022 | Scooping the Loop Snooper (2000) by blewboarwastake | 51 | 31 |
Cited in comments
Linked from 13 Hacker News comments by 10 different people, from Aug 2011 to Nov 2022.
Most recent:
- Stratoscope · Nov 30, 2022
- frob · Mar 24, 2022
- frob · Mar 13, 2022
- rgoulter · Apr 15, 2021
- twic · Jun 27, 2019
- QuinnWilton · Oct 1, 2018
