From data structures to greedy meshing to a rendered procedural world
The limits of proof and why some truths can never be proven