throwingduck001
throwingduck001 on Hacker News
Re:Vitalik escalates ETH 2.0 merge as miners plan a 51% attack
on Saturday March 13, 2021 @05:15AM (#26445517)
Determining whether a Turing machine halts within k steps is computable: https://math.stackexchange.com/questions/3370296/halting-pro...
If the number of steps is specified in unary, then the problem is NP-complete: https://www.ics.uci.edu/~eppstein/161/960312.html