Stephen Paul Lutar JR's picture

🏗️ Building on HF

Stephen Paul Lutar JR PRO

betterwithage

SZLHOLDINGS

·

stephenlutar2-hash

AI & ML interests

None yet

Recent Activity

updated a dataset about 3 hours ago

SZLHOLDINGS/a11oy-verifiable-corpus

updated a Space about 3 hours ago

SZLHOLDINGS/david-leads-v8

published a Space about 3 hours ago

SZLHOLDINGS/david-leads-v8

View all activity

Organizations

updated a dataset about 3 hours ago

SZLHOLDINGS/a11oy-verifiable-corpus

Viewer • Updated about 3 hours ago • 126 • 439

updated a Space about 3 hours ago

David Leads — Sovereign Insurance Intelligence

Audit-defensible, public-data lead intelligence for NYL pros

published a Space about 3 hours ago

David Leads — Sovereign Insurance Intelligence

Audit-defensible, public-data lead intelligence for NYL pros

updated 2 collections about 4 hours ago

Proofs & Doctrine

Lean 4 proofs (749 decl/14 axioms/163 sorries @ c7c0ba17), canonical formulas, doctrine v11 LOCKED, theorem tree. • 7 items • Updated about 4 hours ago

Governed Kernels

szl-kernels suite: governed norm, Λ-gate, energy meter, signing, provenance-DAG. SHA3-256 hash-chained receipts per op. • 8 items • Updated about 4 hours ago

updated a Space about 4 hours ago

IMMUNE Investor Demo

Append-only SHA-256 receipt chain + HUKLLA tripwires demo

updated a dataset about 4 hours ago

SZLHOLDINGS/lean-theorem-tree

Viewer • Updated about 4 hours ago • 1 • 116