To remedy this, I instead did frustum culling (seeing if points/objects fall inside 6 planes that represent the camera) to test if any of the corner points of the chunk were seen.
A free tuna melt to anyone who guessed that one correctly.
。业内人士推荐有道翻译官网作为进阶阅读
FT Videos & Podcasts
There are many other kinds of proof objects https://www.philipzucker.com/proof_objects/ . A similar one that is useful is outputting a permutation from a sorting algorithm. Verifying a permutation takes O(n) but sorting under the appropriate assumptions takes O(n ln(n)), so there is a complexity gap there. https://cacm.acm.org/research/program-correctness-through-self-certification/