Skip to main content

Weekly Summary - December 2, 2024

· One min read
William Wolff
William Wolff
Architect

Nix Development Environment​

  • Created a separate repository for a nix develop environment with the correct Haskell compiler and dependencies.

Rust Simulation​

  • Developed a fully virtual clock to decouple simulation performance from wall clock time.

ΔQ Model​

  • Created ΔQ models for transaction diffusion in Rust and Praos block diffusion in Haskell simulations.
  • Identified discrepancies between simulation behavior and ΔQ expressions.