Show HN: Trains – leaderless total-order broadcast in Rust, formally verified

(github.com)

3 points | by yeychenne 9 hours ago ago

2 comments

  • Chu4eeno 8 hours ago ago

    Did you confirm the verification with your own eyes? The verification report `bgagent` committed is very typical for hallucination (emojis, detailed timings, bold everywhere).

  • yeychenne 9 hours ago ago

    [flagged]