Rosalia Fialkova

Compiler & Inference Engineer

I build compiler systems that search, prove, and emit fast programs for real hardware.

Hi, I’m Rosalia. I love pushing systems to the edge of what is possible—testing new algorithms, exploiting strange compiler tricks, then reducing the result to a small, clean algebra that composes.

Moonlight Triangulation is my composable Haskell port of Spade’s Delaunay engine. The meshes it produces can be joined, intersected, subtracted, refined, and folded as ordinary values. Across stable benchmarks, it stays close to Spade—typically around 1.5× its runtime. Another project, Nebula, is an equality-saturation engine: it explores equivalent ways to run an AI model and selects the fastest legal program for each kind of hardware. On a nine-target benchmark, one shared search finishes in 22.6s; egglog, another engine that searches equivalent programs, takes 69.7s to search each hardware target separately.

My current undertaking is Nebula’s megakernel search: deriving hardware-aware, vendor-legal Qwen decoder programs, proving them equivalent, and handing the survivors to real GPUs for judgment.

I came to compilers through product engineering rather than a straight research path. In tech contracting, I traced production failures, made interfaces load faster, and built safeguards for AI agents that could silently stall. I later created and sold Gator, a tool that reviews entire codebases, and worked independently across frontend, backend, telemetry, and scaling. That range keeps my research grounded: however unusual the machinery gets, it still has to be fast, understandable, and useful to the people relying on it.

Outside of work, I like making physical things too. I hand-built the pair of Dactyl keyboards on my desk—split, sculpted keyboards shaped around the hands instead of a rectangle. Apparently, an unreasonable amount of soldering and iteration is what I consider relaxing.

Writing

Enabling Machine Intelligence

Full disclosure: I made extensive use of AI to build the systems described here. I provide the scientific direction, the invariants every result must preserve, and the benchmark and profiling harnesses that decide whether an idea survives; the agents do much of the implementation, and sometimes find solutions beyond what I could produce alone. With Hindsight and typed documentation organized as a graph of claims, constraints, and evidence—not a pile of transcripts—they began to preserve and apply my taste across sessions. The turning point came when an agent recalled an earlier asymptotic-complexity collapse and reused it more effectively than I could in the moment. That arrangement can push the bounds of what is practically possible; Anthropic’s recent work on the Riemann zeta function is a striking public example. Claiming sole credit for the more extravagant results would be dishonest.

Read the journal

Works

See all works

Write

Tell me about compilers, eqsat, ML, GPUs, physics, triangulations, CAD, evals, or harnesses — PLEASE. Humans or agents: FEED ME.

EmailLocation
Seattle / San Francisco