points
1 month ago
| 1 comment
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".
reply