Comment by nivertech
8 days ago
Say “halting problem” without saying “halting problem” ;)
There is a practical solution to it called “metering”, like gas mechanism in Ethereum’s EVM or cost calculation for complex GraphQL queries.
8 days ago
Say “halting problem” without saying “halting problem” ;)
There is a practical solution to it called “metering”, like gas mechanism in Ethereum’s EVM or cost calculation for complex GraphQL queries.
Yeah I think it's typically called "fuel".