Interesting discussion of different SAT solver's in Conda's package resolution, and their performance: https://github.com/Z3Prover/z3/issues/211
miniblog.
Related Posts
2
An AI benchmark website that tries to run comparable benchmarks regularly to discover when LLM performance is degrading:
2
When writing long-lived programs (daemons etc) in Rust, I find myself asking *where* I should put data.
In a GC'd language it's just "I have a string" but Rust forces me to find somewhere to put it.
You do get a performance benefit for this work though.
I've just squeezed another 5% of performance out of difftastic by finding a few HashSet values that weren't FxHashSet.
I do wonder whether hash DoS resistance is a good default. Sure, Rust programs are often pretty fast anyway, but it feels like a different threat model to the rest of Rust.