- Law B — two-parameter saturation law for SGD:
I(E) = C(1 − e^{−E/E*}). Predictable loss ceiling and work scale. repo - sota-verify — 6-test suite for verifying scoring formulas and evaluation metrics repo
- Cerebras-Gemma4 — multimodal diagnosis via Cerebras + Gemma 4, multi-agent SRE dashboard repo
- Red Team Gate — cloud proposes exploit hypotheses, local deterministic gates verify (sandboxed execution + formal NLI + integrity check)
- KISS Memory — compressed-fact store with hybrid semantic/BM25/recency recall and gap detection
ML engineering at the boundary of hardware and math: ANE inference through CoreML, numerical verification of training formulas, local models with zero cloud dependency.
"DesignerEE has genuinely strong original work (Cerebras-Gemma4 is an excellent, well-tested hackathon project; law-b is real ML research with honest validation)"
from formula to spec — verified models on device