Running
Viridis Env Dashboard
👀
Environmental monitoring dashboard for Q1 2026
Justin Hart
jdhart81
·
AI & ML interests
Formal verification · Lean 4 · thermodynamics of information · machine learning theory · ecological intelligence
Recent Activity
updated a Space 4 days ago
viridis-research/viridis-canon-explorer published a Space 16 days ago
viridis-research/viridis-canon-explorer updated a model about 2 months ago
jdhart81/joblib-compressed-modelscan-bypass-pocOrganizations
models 25
jdhart81/joblib-compressed-modelscan-bypass-poc
Updated
jdhart81/onnx-cwe190-overflow-poc
Updated
jdhart81/keras-vds-cve-2026-1669-bypass
Updated
jdhart81/tensorrt-onnx-parser-sigsegv-poc
Updated
jdhart81/llamafile-poc-llf002
Updated • 4
jdhart81/llamafile-poc-llf003-004
8 • Updated • 7
jdhart81/llamafile-poc-llf001
Updated
jdhart81/ctranslate2-poc
Updated
jdhart81/onnx-poc
Updated
jdhart81/llamafile-poc
Updated • 4