Porcupine: A fast linearizability checker written in Go | Heykuki News