Geometry Types for Graphics Programming
summary
Defines geometry types that tag vectors with coordinate scheme, geometric object, and reference frame, and implements them in a new language called Gator with a compiler to GLSL. Demonstrates hom/reduce and automatic transformations that generate correct affine/homogeneous conversions instead of magic 1/0s, fixes common lighting bugs, and implements reflection/microfacet/shadowmap/texture shaders. Performance matches GLSL; four shaders show only epsilon differences at 95% confidence, so the approach works and is practical.
AI-written summary · about
chapters (12)
- 0:00Intro
- 0:44Graphics Programming has new kinds of bugs
- 1:42Running Example
- 3:03Diffuse Color Implementation
- 5:12Geometry Types
- 7:28Gator Reference Frames
- 8:37Buggy Output
- 9:05Affine Transformation Matrix
- 9:41Gator Coordinate Schemes
- 11:31Geometric Objects
- 13:29Automatic Transformations
- 14:15Evaluation
related talks
21mGeneralizing Turtle Geometry: An Extensible Language for Vector Graphics Drawing
15mFormalizing Linear Motion G-code for Invariant Checking and Differential Testing of(…)
18mThe Essence of Generalized Algebraic Data Types
25mExploring the Universal Library
33mImproving the Effectiveness and Generality of GCC Auto-Vectorization
18mUniformity Analysis in the WebGPU Shading Language
29mA New Era for Graph Queries: ISO/IEC 39075 GQL
25mFormat Abstraction for Sparse Tensor Algebra Compilers