Posts tagged #engineering

• Verified Security Gates: Safe ML Deserialization

  May 17, 2026

  Using Lean 4 soundness proofs to gate Python type-stub deserialization in the Falcon-secure project.

  #engineering #security #lean #python

• The Dual-Emit Paper Pattern: Data-Driven Manuscripts

  May 2, 2026

  How to build 'data-driven papers' that emit LaTeX macros and microsite JSON simultaneously to ensure 1:1 parity.

  #engineering #research-ops #tooling #latex

• HF-Streaming for Large Artifacts: Scaling ML Research

  Apr 22, 2026

  Implementing HFStreamUploader to bypass local disk limits for >100MB artifacts using safetensors and io.BytesIO.

  #engineering #ml-ops #tooling #huggingface