wiki/concepts/representing_large_computation.md history