Thread

1. Aardwolf · 1789766294 · focus · HN ↗

   > the implementation may assume any thread will eventually do one of the following: terminate, call a library I/O function, access a volatile glvalue, or perform a synchronization or atomic operation

   Why is that rule needed? I could make my for loop try to solve the halting problem and it'll never finish either, circumventing that rule

   1. layer8 · 1789771642 · focus · HN ↗

      See <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49760653">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=49760653.
   2. mitxela · 1789778212 · focus · HN ↗

      So the compiler can merge two computation loops without proving termination.
   3. cryptonector · 1789794462 · focus · HN ↗

      Compute the Ackermann function, write the result, terminate.. when the sun goes red giant and swallows the earth.

Unofficial Hacker News client; not affiliated with Y Combinator.