Hacker GitHub

← All repos

anishathalye/porcupine

View on GitHub ↗ ★ 1,277 Go

A fast linearizability checker written in Go 🔎

8 mentions on Hacker News by 8 people: 5 stories, 3 comments · first 2017-06-04 · latest 2025-01-11

Mentions per year 8 mentions · busiest year 2017 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    Porcupine is a fast linearizability checker for distributed systems
    story by gjvc · 2023-10-08 · 0 comments
  2. ▲ 3
    Porcupine: Fast linearizability checker to test distributed system correctness
    story by didip · 2022-01-30 · 0 comments
  3. ▲ 66
    Porcupine: A fast linearizability checker written in Go
    story by cube2222 · 2018-09-09 · 7 comments
  4. ▲ 2
    Porcupine, a fast linearizability checker for distributed systems in Go
    story by jinqueeny · 2018-09-07 · 1 comment
  5. ▲ 1
    Porcupine, a fast linearizability checker written in Go
    story by yandrypozo · 2017-10-22 · 0 comments