Hacker News new | ask | show | jobs
Linearizability testing S2 with deterministic simulation (s2.dev)
7 points by anishathalye 289 days ago
1 comments
akshayshah 289 days ago
I’ve been exploring porcupine lately too - the visualizations are especially useful when debugging. It pairs exceptionally well with any DST setup.

Thanks for the great tools, Anish!

link