HN user

vignesh_m

78 karma
Posts3
Comments41
View on HN

I think op's problem is different than the one normally studied - he wants to design a halting program and find the class of programs for which it works.

This is typically not very popular as these statements depend a lot on the program, and the representations of programs unlike the halting problem computability statement.

The main issue is the definition of surprise for perfectly rational entities. Your argument doesn't really add much as you can just fix that time of day when all executions occur, and you've just restated the paradox.

Whoa, those are some pretty big features I assumed were "core".Static pages, fast-forward merges, Git hooks - aren't these core reasons to use a git website instead of just git+remote