Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Linearizability testing S2 with deterministic simulation (s2.dev)
7 points by anishathalye 5 months ago | hide | past | favorite | 1 comment


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!




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: