I solved bugs identified by Jepsen in Dgraph: A personal journey | Hacker News Reader