Make a start on Notes on ray-marching implicit surfaces.
Make Ray marching (naïve).
Work out shader for test Keenan Crane's style for rendering edge and shade.
Trying to figure out curvature calculation in shaders.
Add egglog and ginac, and streamline the build process of Rust WASM dependencies.
Reading source of projects using egg; TODO: read more egg papers: Bridging syntax and semantics of lean expressions in e-graphs[rossel2024bridging], An equality saturation tactic for lean[rossel2024equality], Verified reductions for optimization[bentkamp2023verified].