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 ⟶Qwen3 on H100Contextual equality saturation, separated into its measured result and compiler-only ablation.E-graphsH100InferenceVisit ⟶The ConstantA benchmark where an apparent performance gap disappears—and reverses.BenchmarkingPerformanceVisit ⟶