Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
Presentations
22x
Evaluating the Nix Evaluator: Why Nix Performance Sometimes... Doesn't
Nix evaluation performance is a known, long-standing issue to the community. This talk will cover a benchmarking setup, concessions to that setup made to retain the author's sanity, and ways to improve evaluation performance and their trade-offs.
