philipjohnbasile commited on
Commit
7c04618
Β·
verified Β·
1 Parent(s): 5a086fc

Upload README.md with huggingface_hub

Browse files
Files changed (1) hide show
  1. README.md +15 -2
README.md CHANGED
@@ -31,9 +31,22 @@ whole stack of those roles (strongest in the coding/agentic lane, deliberately s
31
  math (GSM8K-style), and **code-rendered figures** (matplotlib / manim / TikZ).
32
  - **Machine Learning** β€” it *is* applied ML end-to-end: **REAP expert-pruning** (256β†’77), **mixed-precision
33
  quantization**, **LoRA healing**, **distillation**, **MTP self-speculation**, GRPO/RLVR experiments β€” the
34
- build itself is a working reference β€” plus a local **Lean-4 formal-math** lane (correct-by-construction).
35
 
36
- One model, fully local, **verify-everything**: the four hats I wear, on a MacBook.
 
 
 
 
 
 
 
 
 
 
 
 
 
37
 
38
  ## How it was made
39
  1. **Pruned** the MoE experts 256 β†’ 77 by **router-weighted saliency (REAP** = `router_weight Γ—
 
31
  math (GSM8K-style), and **code-rendered figures** (matplotlib / manim / TikZ).
32
  - **Machine Learning** β€” it *is* applied ML end-to-end: **REAP expert-pruning** (256β†’77), **mixed-precision
33
  quantization**, **LoRA healing**, **distillation**, **MTP self-speculation**, GRPO/RLVR experiments β€” the
34
+ build itself is a working reference.
35
 
36
+ …**and the hats that fall straight out of "verify-everything":**
37
+ - **Security / DevSecOps** β€” secret-scanning (12 providers: AWS/GitHub/OpenAI/Slack/Stripe/JWT/PEM…),
38
+ prompt-injection guard, test-tamper + **fabrication-proof `done`**, slopsquat/typosquat guard, risk-gated
39
+ tools. It structurally **can't leak a key or fake a green test**.
40
+ - **Formal-Methods / Verification Engineer** β€” a local **Lean-4** prover (premise selection, expert-iteration,
41
+ self-correction from the *real* Lean error) β†’ **correct-by-construction** math, not vibes.
42
+ - **MLOps / Inference** β€” the serving spine: prompt-cache, continuous batching, watchdog + circuit-breaker +
43
+ memory-ceiling β€” **frontier-grade stability** for hours-long local runs on one box.
44
+ - **Multimodal / CV** β€” reads images + video (VLM), palette-steered **image-gen**, code-rendered
45
+ video/figures (**manim/TikZ**) β€” all MLX.
46
+ - **Design Engineer** β€” a render-and-***see*** critic enforcing **WCAG** contrast, modular type scale,
47
+ 8 px grid, **OKLCH** harmony (not just "looks fine").
48
+
49
+ One model, fully local, **verify-everything** β€” every hat above, on a MacBook.
50
 
51
  ## How it was made
52
  1. **Pruned** the MoE experts 256 β†’ 77 by **router-weighted saliency (REAP** = `router_weight Γ—