This is where I’ve explored the edge of machine intelligence.
Pale MeridianA compiler stack for discovering, proving, and benchmarking faster programs.HaskellCompilers
TriangulationComposable meshes with union, intersection, difference, refinement, and folds.HaskellRustTriangulationVisit ⟶SpectraSheaf Laplacians that turn the hidden structure of a mesh into sound, making its geometry audible.Sheaf theoryAudioVisit ⟶DifferentialPure Haskell incremental circuits with typed construction, executable correctness laws, and Feldera-competitive kernels.HaskellDBSPIncremental computationVisit ⟶NebulaEquality saturation that searches equivalent programs and seals only proven rewrites.E-graphsSuperoptimizationVisit ⟶The ConstantA benchmark where an apparent performance gap disappears—and reverses.BenchmarkingPerformanceVisit ⟶