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

3 comments

• Chu4eeno a day 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 21 hours ago ago

    [flagged]

• yeychenne a day ago ago

  [flagged]