Current

Zero-knowledge proofs for cryptographic verification of claims about LLM training, inference, and deployment, as a MARS V fellow mentored by James Petrie (FLI). Now porting from single-chip to multi-GPU, across both the mathematics and the engineering. Write-up expected October 2026.

Under review at JAMIA (Journal of the American Medical Informatics Association), after moving from JAMA Network Open. Calculator deployed at levineuwirth.github.io/icd_embeddings.

Mathematics preprint on path-tube persistence, exhaustive static coverage, conditional sampling thresholds, and information loss in d-regular tree-balls.

Mathematics preprint determining the bounded annealed critical window for growing-radius domination in random regular graphs — its universal scaling function and a scalar coupon-root asymptotic expansion — resolving what an earlier near-critical version left open.

In preparation; target submission 2026–2027.

Reinforcement-learning agent under active development; expected late 2026.

Paused pending a compute move to DTU.

A Python-successor language designed adversarially: statically inferred without annotations, no GIL, no MRO. Spec and reference machine exist and .levo files run — but it is a conformance machine, not yet a runtime.

Wayland-targeted productivity and research shell, in daily use as my main environment. Now growing from a single box to a fabric of machines that work as one, with project resume as the hero verb.

v1.1.0 shipped, with prebuilt binaries. Rust core and embedded Lua VM, split into a long-lived instance and thin TUI and GPU frontends that attach over a typed protocol and edit CRDT-backed buffers concurrently.

FOSS music-notation platform: a deterministic, CRDT-based score model whose LaTeX specification suite is the source of truth. Spec and editor tracks advancing in parallel.