Porcupine, a fast linearizability checker written in Go | Heykuki News