Our great sponsors
-
tigerbeetle
The distributed financial transactions database designed for mission critical safety and performance.
-
viewstamped-replication-made-famous
A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
TigerBeetle is a beautiful example of why correctness is what we should strive for, instead of hyper-focusing on (and settling for) memory safety.
The design document shows the types of faults they aim to cover:
https://github.com/tigerbeetledb/tigerbeetle/blob/main/docs/...
And here you can see the safety section in their style guide:
https://github.com/tigerbeetledb/tigerbeetle/blob/main/docs/...
...and there's also an open bug bounty so if you think that Zig is not a meaningful improvement over C in terms of safety, it's certainly going to be easy money for you :^)
https://github.com/tigerbeetledb/viewstamped-replication-mad...
...and there's also an open bug bounty so if you think that Zig is not a meaningful improvement over C in terms of safety, it's certainly going to be easy money for you :^)
https://github.com/tigerbeetledb/viewstamped-replication-mad...