| ▲ | Show HN: Trains – leaderless total-order broadcast in Rust, formally verified(github.com) | |
| 3 points by yeychenne 8 hours ago | 2 comments | ||
| ▲ | Chu4eeno 7 hours ago | parent | next [-] | |
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 8 hours ago | parent | prev [-] | |
[flagged] | ||