Informal Systems
@informalsystems
Quint deserves Rust 🦀 Gabriela Moreira is rewriting our simulator core for maximum performance and early benchmarks are looking promising
1 reply
0 recast
1 reaction
Informal Systems
@informalsystems
The plan: ✦ Rust for what needs to scale ✦ Keep Typescript otherwise ✦ Seamless integration, users only notice the speed bump ✦ Focus on benchmarking from day one
1 reply
0 recast
1 reaction
Informal Systems
@informalsystems
Deep dive into the approach and reasoning: https://informal.systems/blog/quint-deserves-rust
1 reply
0 recast
0 reaction