Hosting is not proof.
ML systems & verifiable engineering — inference kernels, model runtimes, and signed receipts. I build things that leave evidence you can falsify, not dashboards you have to trust.
NY · systems@sunlitmoon.online · sunlitmoon.online
Most software asks you to believe it works — green badges, uptime, a nice README. I'd rather hand you a receipt you can check yourself. Every claim below is meant to survive a clean clone and a skeptical reader. Where I can't back a number, I don't print it.
I keep a public evidence ledger: every numeric claim gets a row, and a claim with no artifact gets deleted. It flags my own overstatements before you do. That's the whole discipline.
A pure-Zig inference stack, built kernel-up to understand the machine, not to hide from it.
| Repo | What it is |
|---|---|
| inference | LLM serving — paged attention, BF16 kernels, persistent thread pool, safetensors integration. TinyLlama-1.1B end-to-end. |
| tokenizers-zig | HF-compatible tokenizers — BPE, WordPiece, Unigram, full pipeline, offsets, tokenizer.json compat. |
| safetensors-zig | safetensors reader — @Vector(32,u8) structural scan, BF16/F32/I8. |
| faiss-zig | ANN — Flat, HNSW, IVFFlat, IVFPQ; L2 / cosine / inner-product; SIMD kernels, multi-threaded batch search. No C/C++ dependency. |
| zkdb | Columnar time-series DB with q/kdb+ semantics — typed vectors, SIMD aggregation, asof join, q IPC protocol. |
Performance numbers live in each repo's README with commit, hardware, and script attached — or not at all.
Where "it compiles" isn't enough and the guarantee has to be structural.
- stax-proof · proof-gate-zig — Zig
comptimegates that refuse to build unless a formal claim holds. - cfr-solver-zig — CFR solver with an exploitability bound (ε ≤ 2U/√T) encoded as a type invariant.
- scd-zig — SCD Type-2 backfill + incremental parity: both paths must produce identical state from identical inputs.
- rippled-zig — XRPL toolkit — canonical tx encoding, secp256k1/Ed25519 sign+verify, live testnet RPC conformance.
- sentinel-sbom — SBOM divergence detector + integrity primitives.
Deep verticals where the code encodes the discipline itself.
- yard — naval architecture & marine engineering: hydrostatics, seakeeping, propulsion, IACS CSR structures, stability, ports.
- strip — evidence-bearing aerospace computation & simulation substrate.
- zsym — statistical decipherment: Miller-Madow entropy, n-gram LMs, mono/poly/homophonic solvers, bootstrap CIs. Applied to Voynich EVA.
- zig-graph — sparse graph algorithms: centrality, spectral, Louvain, max-flow.
- 🌗 Sunlit Moon — the studio. Systems, objects, and public experiments about ownership and evidence. Hosting is not proof began here.
- 17S Capital — the private side. Underwriting measurable bottlenecks — compute, inference, capacity. Constraint before narrative.
Zig where it earns its place, Python/Triton/CUDA where they do. If a claim here doesn't have a receipt behind it, tell me — that's a bug, and it goes in the ledger.